Trait fuzzcheck::mutators::tuples::RefTypes

pub trait RefTypes {
    type Owned;
    type Ref<'a>: Copy;
    type Mut<'a>;

    fn get_ref_from_mut<'a>(v: &'a Self::Mut<'a>) -> Self::Ref<'a>;
}

A trait which essentially holds the types of a destructured tuple or structure.

Read the module documentation for more information about it.

Required Associated Types

type Owned

type Ref<'a>: Copy

type Mut<'a>

Required Methods

fn get_ref_from_mut<'a>(v: &'a Self::Mut<'a>) -> Self::Ref<'a>

Implementors

impl RefTypes for Tuple0

type Owned = ()

type Ref<'a> = ()

type Mut<'a> = ()

impl<T0: 'static> RefTypes for Tuple1<T0>

type Owned = (T0,)

type Ref<'a> = (&'a T0,)

type Mut<'a> = (&'a mut T0,)

impl<T0: 'static, T1: 'static> RefTypes for Tuple2<T0, T1>

type Owned = (T0, T1)

type Ref<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt T0, &'__fuzzcheck_derive_lt T1)

type Mut<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt mut T0, &'__fuzzcheck_derive_lt mut T1)

impl<T0: 'static, T1: 'static, T2: 'static> RefTypes for Tuple3<T0, T1, T2>

type Owned = (T0, T1, T2)

type Ref<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt T0, &'__fuzzcheck_derive_lt T1, &'__fuzzcheck_derive_lt T2)

type Mut<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt mut T0, &'__fuzzcheck_derive_lt mut T1, &'__fuzzcheck_derive_lt mut T2)

impl<T0: 'static, T1: 'static, T2: 'static, T3: 'static> RefTypes for Tuple4<T0, T1, T2, T3>

type Owned = (T0, T1, T2, T3)

type Ref<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt T0, &'__fuzzcheck_derive_lt T1, &'__fuzzcheck_derive_lt T2, &'__fuzzcheck_derive_lt T3)

type Mut<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt mut T0, &'__fuzzcheck_derive_lt mut T1, &'__fuzzcheck_derive_lt mut T2, &'__fuzzcheck_derive_lt mut T3)

impl<T0: 'static, T1: 'static, T2: 'static, T3: 'static, T4: 'static> RefTypes for Tuple5<T0, T1, T2, T3, T4>

type Owned = (T0, T1, T2, T3, T4)

type Ref<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt T0, &'__fuzzcheck_derive_lt T1, &'__fuzzcheck_derive_lt T2, &'__fuzzcheck_derive_lt T3, &'__fuzzcheck_derive_lt T4)

type Mut<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt mut T0, &'__fuzzcheck_derive_lt mut T1, &'__fuzzcheck_derive_lt mut T2, &'__fuzzcheck_derive_lt mut T3, &'__fuzzcheck_derive_lt mut T4)

impl<T0: 'static, T1: 'static, T2: 'static, T3: 'static, T4: 'static, T5: 'static> RefTypes for Tuple6<T0, T1, T2, T3, T4, T5>

type Owned = (T0, T1, T2, T3, T4, T5)

type Ref<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt T0, &'__fuzzcheck_derive_lt T1, &'__fuzzcheck_derive_lt T2, &'__fuzzcheck_derive_lt T3, &'__fuzzcheck_derive_lt T4, &'__fuzzcheck_derive_lt T5)

type Mut<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt mut T0, &'__fuzzcheck_derive_lt mut T1, &'__fuzzcheck_derive_lt mut T2, &'__fuzzcheck_derive_lt mut T3, &'__fuzzcheck_derive_lt mut T4, &'__fuzzcheck_derive_lt mut T5)

impl<T0: 'static, T1: 'static, T2: 'static, T3: 'static, T4: 'static, T5: 'static, T6: 'static> RefTypes for Tuple7<T0, T1, T2, T3, T4, T5, T6>

type Owned = (T0, T1, T2, T3, T4, T5, T6)

type Ref<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt T0, &'__fuzzcheck_derive_lt T1, &'__fuzzcheck_derive_lt T2, &'__fuzzcheck_derive_lt T3, &'__fuzzcheck_derive_lt T4, &'__fuzzcheck_derive_lt T5, &'__fuzzcheck_derive_lt T6)

type Mut<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt mut T0, &'__fuzzcheck_derive_lt mut T1, &'__fuzzcheck_derive_lt mut T2, &'__fuzzcheck_derive_lt mut T3, &'__fuzzcheck_derive_lt mut T4, &'__fuzzcheck_derive_lt mut T5, &'__fuzzcheck_derive_lt mut T6)

impl<T0: 'static, T1: 'static, T2: 'static, T3: 'static, T4: 'static, T5: 'static, T6: 'static, T7: 'static> RefTypes for Tuple8<T0, T1, T2, T3, T4, T5, T6, T7>

type Owned = (T0, T1, T2, T3, T4, T5, T6, T7)

type Ref<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt T0, &'__fuzzcheck_derive_lt T1, &'__fuzzcheck_derive_lt T2, &'__fuzzcheck_derive_lt T3, &'__fuzzcheck_derive_lt T4, &'__fuzzcheck_derive_lt T5, &'__fuzzcheck_derive_lt T6, &'__fuzzcheck_derive_lt T7)

type Mut<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt mut T0, &'__fuzzcheck_derive_lt mut T1, &'__fuzzcheck_derive_lt mut T2, &'__fuzzcheck_derive_lt mut T3, &'__fuzzcheck_derive_lt mut T4, &'__fuzzcheck_derive_lt mut T5, &'__fuzzcheck_derive_lt mut T6, &'__fuzzcheck_derive_lt mut T7)

impl<T0: 'static, T1: 'static, T2: 'static, T3: 'static, T4: 'static, T5: 'static, T6: 'static, T7: 'static, T8: 'static> RefTypes for Tuple9<T0, T1, T2, T3, T4, T5, T6, T7, T8>

type Owned = (T0, T1, T2, T3, T4, T5, T6, T7, T8)

type Ref<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt T0, &'__fuzzcheck_derive_lt T1, &'__fuzzcheck_derive_lt T2, &'__fuzzcheck_derive_lt T3, &'__fuzzcheck_derive_lt T4, &'__fuzzcheck_derive_lt T5, &'__fuzzcheck_derive_lt T6, &'__fuzzcheck_derive_lt T7, &'__fuzzcheck_derive_lt T8)

type Mut<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt mut T0, &'__fuzzcheck_derive_lt mut T1, &'__fuzzcheck_derive_lt mut T2, &'__fuzzcheck_derive_lt mut T3, &'__fuzzcheck_derive_lt mut T4, &'__fuzzcheck_derive_lt mut T5, &'__fuzzcheck_derive_lt mut T6, &'__fuzzcheck_derive_lt mut T7, &'__fuzzcheck_derive_lt mut T8)

impl<T0: 'static, T1: 'static, T2: 'static, T3: 'static, T4: 'static, T5: 'static, T6: 'static, T7: 'static, T8: 'static, T9: 'static> RefTypes for Tuple10<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9>

type Owned = (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)

type Ref<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt T0, &'__fuzzcheck_derive_lt T1, &'__fuzzcheck_derive_lt T2, &'__fuzzcheck_derive_lt T3, &'__fuzzcheck_derive_lt T4, &'__fuzzcheck_derive_lt T5, &'__fuzzcheck_derive_lt T6, &'__fuzzcheck_derive_lt T7, &'__fuzzcheck_derive_lt T8, &'__fuzzcheck_derive_lt T9)

type Mut<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt mut T0, &'__fuzzcheck_derive_lt mut T1, &'__fuzzcheck_derive_lt mut T2, &'__fuzzcheck_derive_lt mut T3, &'__fuzzcheck_derive_lt mut T4, &'__fuzzcheck_derive_lt mut T5, &'__fuzzcheck_derive_lt mut T6, &'__fuzzcheck_derive_lt mut T7, &'__fuzzcheck_derive_lt mut T8, &'__fuzzcheck_derive_lt mut T9)