Trait fuzzcheck::mutators::tuples::TupleStructure

pub trait TupleStructure<TupleKind: RefTypes> {
    fn get_ref(&self) -> TupleKind::Ref<'_>;
    fn get_mut(&mut self) -> TupleKind::Mut<'_>;
    fn new(t: TupleKind::Owned) -> Self;
}

Trait for types that have the same shape as tuples, such as tuples and structs.

For example, the tuple (A, B) implements TupleStructure<Tuple2<A, B>> since it is a 2-tuple with fields of type A and B. The struct S { a: A, b: B } also implements TupleStructure<Tuple2<A, B>>.

We can then write generic functions over both (A, B) and S using this trait.

• self.get_ref() returns immutable references to each of their fields (e.g. (&A, &B))
• self.get_mut() returns mutable references to each of their fields (e.g. (&mut A, &mut B))
• Self::new(..) creates a new Self from a list of its fields (e.g. Self::new((a, b)))

Required Methods

fn get_ref(&self) -> TupleKind::Ref<'_>

fn get_mut(&mut self) -> TupleKind::Mut<'_>

fn new(t: TupleKind::Owned) -> Self

Implementations on Foreign Types

impl<Idx> TupleStructure<Tuple2<Idx, Idx>> for Range<Idx> where
    Idx: 'static, 

fn get_ref<'__fuzzcheck_derive_lt>(
    &'__fuzzcheck_derive_lt self
) -> (&'__fuzzcheck_derive_lt Idx, &'__fuzzcheck_derive_lt Idx)

fn get_mut<'__fuzzcheck_derive_lt>(
    &'__fuzzcheck_derive_lt mut self
) -> (&'__fuzzcheck_derive_lt mut Idx, &'__fuzzcheck_derive_lt mut Idx)

fn new(t: (Idx, Idx)) -> Self

impl<Idx> TupleStructure<Tuple1<Idx>> for RangeFrom<Idx> where
    Idx: 'static, 

fn get_ref<'__fuzzcheck_derive_lt>(
    &'__fuzzcheck_derive_lt self
) -> (&'__fuzzcheck_derive_lt Idx,)

fn get_mut<'__fuzzcheck_derive_lt>(
    &'__fuzzcheck_derive_lt mut self
) -> (&'__fuzzcheck_derive_lt mut Idx,)

fn new(t: (Idx,)) -> Self

impl<Idx> TupleStructure<Tuple1<Idx>> for RangeTo<Idx> where
    Idx: 'static, 

fn get_ref<'__fuzzcheck_derive_lt>(
    &'__fuzzcheck_derive_lt self
) -> (&'__fuzzcheck_derive_lt Idx,)

fn get_mut<'__fuzzcheck_derive_lt>(
    &'__fuzzcheck_derive_lt mut self
) -> (&'__fuzzcheck_derive_lt mut Idx,)

fn new(t: (Idx,)) -> Self

impl<Idx> TupleStructure<Tuple1<Idx>> for RangeToInclusive<Idx> where
    Idx: 'static, 

fn get_ref<'__fuzzcheck_derive_lt>(
    &'__fuzzcheck_derive_lt self
) -> (&'__fuzzcheck_derive_lt Idx,)

fn get_mut<'__fuzzcheck_derive_lt>(
    &'__fuzzcheck_derive_lt mut self
) -> (&'__fuzzcheck_derive_lt mut Idx,)

fn new(t: (Idx,)) -> Self

impl TupleStructure<Tuple0> for ()

fn get_ref(&self) -> <Tuple0 as RefTypes>::Ref<'_>

fn get_mut(&mut self) -> <Tuple0 as RefTypes>::Mut<'_>

fn new(_t: <Tuple0 as RefTypes>::Owned) -> Self

impl<T0: 'static> TupleStructure<Tuple1<T0>> for (T0,)

fn get_ref<'a>(&'a self) -> (&'a T0,)

fn get_mut<'a>(&'a mut self) -> (&'a mut T0,)

fn new(t: (T0,)) -> Self

impl<T0: 'static, T1: 'static> TupleStructure<Tuple2<T0, T1>> for (T0, T1)

fn get_ref<'__fuzzcheck_derive_lt>(
    &'__fuzzcheck_derive_lt self
) -> (&'__fuzzcheck_derive_lt T0, &'__fuzzcheck_derive_lt T1)

fn get_mut<'__fuzzcheck_derive_lt>(
    &'__fuzzcheck_derive_lt mut self
) -> (&'__fuzzcheck_derive_lt mut T0, &'__fuzzcheck_derive_lt mut T1)

fn new(t: (T0, T1)) -> Self

impl<T0: 'static, T1: 'static, T2: 'static> TupleStructure<Tuple3<T0, T1, T2>> for (T0, T1, T2)

fn get_ref<'__fuzzcheck_derive_lt>(
    &'__fuzzcheck_derive_lt self
) -> (&'__fuzzcheck_derive_lt T0, &'__fuzzcheck_derive_lt T1, &'__fuzzcheck_derive_lt T2)

fn get_mut<'__fuzzcheck_derive_lt>(
    &'__fuzzcheck_derive_lt mut self
) -> (&'__fuzzcheck_derive_lt mut T0, &'__fuzzcheck_derive_lt mut T1, &'__fuzzcheck_derive_lt mut T2)

fn new(t: (T0, T1, T2)) -> Self

impl<T0: 'static, T1: 'static, T2: 'static, T3: 'static> TupleStructure<Tuple4<T0, T1, T2, T3>> for (T0, T1, T2, T3)

fn get_ref<'__fuzzcheck_derive_lt>(
    &'__fuzzcheck_derive_lt self
) -> (&'__fuzzcheck_derive_lt T0, &'__fuzzcheck_derive_lt T1, &'__fuzzcheck_derive_lt T2, &'__fuzzcheck_derive_lt T3)

fn get_mut<'__fuzzcheck_derive_lt>(
    &'__fuzzcheck_derive_lt mut self
) -> (&'__fuzzcheck_derive_lt mut T0, &'__fuzzcheck_derive_lt mut T1, &'__fuzzcheck_derive_lt mut T2, &'__fuzzcheck_derive_lt mut T3)

fn new(t: (T0, T1, T2, T3)) -> Self

impl<T0: 'static, T1: 'static, T2: 'static, T3: 'static, T4: 'static> TupleStructure<Tuple5<T0, T1, T2, T3, T4>> for (T0, T1, T2, T3, T4)

fn get_ref<'__fuzzcheck_derive_lt>(
    &'__fuzzcheck_derive_lt self
) -> (&'__fuzzcheck_derive_lt T0, &'__fuzzcheck_derive_lt T1, &'__fuzzcheck_derive_lt T2, &'__fuzzcheck_derive_lt T3, &'__fuzzcheck_derive_lt T4)

fn get_mut<'__fuzzcheck_derive_lt>(
    &'__fuzzcheck_derive_lt mut self
) -> (&'__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)

fn new(t: (T0, T1, T2, T3, T4)) -> Self

impl<T0: 'static, T1: 'static, T2: 'static, T3: 'static, T4: 'static, T5: 'static> TupleStructure<Tuple6<T0, T1, T2, T3, T4, T5>> for (T0, T1, T2, T3, T4, T5)

fn get_ref<'__fuzzcheck_derive_lt>(
    &'__fuzzcheck_derive_lt self
) -> (&'__fuzzcheck_derive_lt T0, &'__fuzzcheck_derive_lt T1, &'__fuzzcheck_derive_lt T2, &'__fuzzcheck_derive_lt T3, &'__fuzzcheck_derive_lt T4, &'__fuzzcheck_derive_lt T5)

fn get_mut<'__fuzzcheck_derive_lt>(
    &'__fuzzcheck_derive_lt mut self
) -> (&'__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)

fn new(t: (T0, T1, T2, T3, T4, T5)) -> Self

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

fn get_ref<'__fuzzcheck_derive_lt>(
    &'__fuzzcheck_derive_lt self
) -> (&'__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)

fn get_mut<'__fuzzcheck_derive_lt>(
    &'__fuzzcheck_derive_lt mut self
) -> (&'__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)

fn new(t: (T0, T1, T2, T3, T4, T5, T6)) -> Self

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

fn get_ref<'__fuzzcheck_derive_lt>(
    &'__fuzzcheck_derive_lt self
) -> (&'__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)

fn get_mut<'__fuzzcheck_derive_lt>(
    &'__fuzzcheck_derive_lt mut self
) -> (&'__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)

fn new(t: (T0, T1, T2, T3, T4, T5, T6, T7)) -> Self

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

fn get_ref<'__fuzzcheck_derive_lt>(
    &'__fuzzcheck_derive_lt self
) -> (&'__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)

fn get_mut<'__fuzzcheck_derive_lt>(
    &'__fuzzcheck_derive_lt mut self
) -> (&'__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)

fn new(t: (T0, T1, T2, T3, T4, T5, T6, T7, T8)) -> Self

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

fn get_ref<'__fuzzcheck_derive_lt>(
    &'__fuzzcheck_derive_lt self
) -> (&'__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)

fn get_mut<'__fuzzcheck_derive_lt>(
    &'__fuzzcheck_derive_lt mut self
) -> (&'__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)

fn new(t: (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)) -> Self

Implementors