[−][src]Module structural::structural_aliases::tuple_traits
Contains structural aliases for tuples, with shared,mutable,and by value access to every field of the tuple.
Tuple*
traits can be used with any tuple at least as large as the size indicated
by the trait.
You can use Tuple3
with any tuple type starting with (A,B,C
.
Eg:(A,B,C)
,(A,B,C,D)
,(A,B,C,D,E)
,etcetera.
Tuple*
Example
Demonstrates that you can use the Tuple*
trait with structs.
Note that the Tuple*Variant
traits require the fields to have mutable and
by-value accessor trait impls,
satisfying the IntoFieldMut trait
use structural::structural_aliases::tuple_traits::Tuple4; use structural::{StructuralExt,Structural, fp}; fn sum_tuple_4(tuple: impl Tuple4<u8, u16, u32, u64>) -> u64 { let (a, b, c, d) = tuple.fields(fp!(0, 1, 2, 3)); *a as u64 + *b as u64 + *c as u64 + *d } assert_eq!(sum_tuple_4((3, 5, 8, 13)), 29); assert_eq!(sum_tuple_4((1, 2, 4, 8, "what?")), 15); assert_eq!(sum_tuple_4((1, 3, 9, 27, "Noooooo", "Impossible!")), 40); assert_eq!(sum_tuple_4(MyTuple4(1, 1, 1, 1)), 4); assert_eq!(sum_tuple_4(MyTuple5(2, 2, 2, 2, "foo".into())), 8); #[derive(Structural)] struct MyTuple4(pub u8,pub u16,pub u32,pub u64); #[derive(Structural)] struct MyTuple5(pub u8,pub u16,pub u32,pub u64, String);
Tuple*Variant
Example
Demonstrates that you can use the Tuple*Variant
trait with enums.
Note that the Tuple*Variant
traits require the fields to have mutable and
by-value accessor traits,
satisfying the (IntoVariantFieldMut trait)
use structural::structural_aliases::Tuple2Variant; use structural::{StructuralExt,Structural,TS,fp}; use std::cmp::{Ordering,PartialEq}; use std::fmt::Debug; fn first_2<This,T>(mut foo: This, mut not_foo: This) where This: Tuple2Variant<&'static str, T, TS!(Foo)> + Copy, T: Debug + From<u8> + PartialEq, { { assert_eq!( foo.fields(fp!(::Foo=>0,1)), Some(( &"heh", &T::from(88) )) ); assert_eq!( foo.fields_mut(fp!(::Foo=>0,1)), Some(( &mut "heh", &mut T::from(88) )), ); assert_eq!( foo.into_field(fp!(::Foo.0)), Some("heh") ); assert_eq!( foo.into_field(fp!(::Foo.1)), Some(T::from(88)) ); assert_eq!( foo.is_variant(fp!(Foo)), true ); } { assert_eq!( not_foo.fields(fp!(::Foo=>0,1)), None ); assert_eq!( not_foo.fields_mut(fp!(::Foo=>0,1)), None ); assert_eq!( not_foo.into_field(fp!(::Foo.0)), None ); assert_eq!( not_foo.into_field(fp!(::Foo.1)), None ); assert_eq!( not_foo.is_variant(fp!(Foo)), false ); } } first_2( Enum::Foo("heh", 88_u8, Ordering::Less), Enum::Bar, ); first_2( OtherEnum::Foo("heh", 88_u64, false), OtherEnum::Bar, ); #[derive(Structural,Copy,Clone)] enum Enum<T>{ Foo(&'static str,T,Ordering), Bar, } #[derive(Structural,Copy,Clone)] enum OtherEnum<T>{ Foo(&'static str,T,bool), Bar, }
Traits
Tuple1 | A structural alias for a tuple of the size. With shared,mutable,and by value access to the fields. |
Tuple1Variant | A structural alias for a tuple variant of the size, in which all fields have mutable and by-value accessors. |
Tuple2 | A structural alias for a tuple of the size. With shared,mutable,and by value access to the fields. |
Tuple2Variant | A structural alias for a tuple variant of the size, in which all fields have mutable and by-value accessors. |
Tuple3 | A structural alias for a tuple of the size. With shared,mutable,and by value access to the fields. |
Tuple3Variant | A structural alias for a tuple variant of the size, in which all fields have mutable and by-value accessors. |
Tuple4 | A structural alias for a tuple of the size. With shared,mutable,and by value access to the fields. |
Tuple4Variant | A structural alias for a tuple variant of the size, in which all fields have mutable and by-value accessors. |
Tuple5 | A structural alias for a tuple of the size. With shared,mutable,and by value access to the fields. |
Tuple5Variant | A structural alias for a tuple variant of the size, in which all fields have mutable and by-value accessors. |
Tuple6 | A structural alias for a tuple of the size. With shared,mutable,and by value access to the fields. |
Tuple6Variant | A structural alias for a tuple variant of the size, in which all fields have mutable and by-value accessors. |
Tuple7 | A structural alias for a tuple of the size. With shared,mutable,and by value access to the fields. |
Tuple7Variant | A structural alias for a tuple variant of the size, in which all fields have mutable and by-value accessors. |
Tuple8 | A structural alias for a tuple of the size. With shared,mutable,and by value access to the fields. |
Tuple8Variant | A structural alias for a tuple variant of the size, in which all fields have mutable and by-value accessors. |
Tuple9 | A structural alias for a tuple of the size. With shared,mutable,and by value access to the fields. |
Tuple9Variant | A structural alias for a tuple variant of the size, in which all fields have mutable and by-value accessors. |
Tuple10 | A structural alias for a tuple of the size. With shared,mutable,and by value access to the fields. |
Tuple10Variant | A structural alias for a tuple variant of the size, in which all fields have mutable and by-value accessors. |
Tuple11 | A structural alias for a tuple of the size. With shared,mutable,and by value access to the fields. |
Tuple11Variant | A structural alias for a tuple variant of the size, in which all fields have mutable and by-value accessors. |
Tuple12 | A structural alias for a tuple of the size. With shared,mutable,and by value access to the fields. |
Tuple12Variant | A structural alias for a tuple variant of the size, in which all fields have mutable and by-value accessors. |
TupleMove1 | A structural alias for a tuple of the size. With shared,and by value access to the fields. |
TupleMove2 | A structural alias for a tuple of the size. With shared,and by value access to the fields. |
TupleMove3 | A structural alias for a tuple of the size. With shared,and by value access to the fields. |
TupleMove4 | A structural alias for a tuple of the size. With shared,and by value access to the fields. |
TupleMove5 | A structural alias for a tuple of the size. With shared,and by value access to the fields. |
TupleMove6 | A structural alias for a tuple of the size. With shared,and by value access to the fields. |
TupleMove7 | A structural alias for a tuple of the size. With shared,and by value access to the fields. |
TupleMove8 | A structural alias for a tuple of the size. With shared,and by value access to the fields. |
TupleMove9 | A structural alias for a tuple of the size. With shared,and by value access to the fields. |
TupleMove10 | A structural alias for a tuple of the size. With shared,and by value access to the fields. |
TupleMove11 | A structural alias for a tuple of the size. With shared,and by value access to the fields. |
TupleMove12 | A structural alias for a tuple of the size. With shared,and by value access to the fields. |