Trait structural::structural_trait::Structural

pub trait Structural {
    type Fields;

    const FIELDS: &'static [FieldInfo];
}

Indicates and provides information about the fields that implement accessor traits.

Associated Types

type Fields

A type-level list of field name,field type pairs.

Those lists can be manually constructed like this:

use structural::{
    TList,TI,
    structural_trait::TField,
};
 
type TheList=TList![
    TField<TI!(f o o),String>,
    TField<TI!(b a r),Vec<u8>>,
];
 

Loading content...

Associated Constants

const FIELDS: &'static [FieldInfo]

Information about fields that have accessor trait implemented for them.

Loading content...

Implementations on Foreign Types

impl<C0> Structural for (C0,)

const FIELDS: &'static [FieldInfo]

type Fields = TList<TField<TString<(_0,)>, C0>, TNil>

impl<C0, C1> Structural for (C0, C1)

const FIELDS: &'static [FieldInfo]

type Fields = TList<TField<TString<(_0,)>, C0>, TList<TField<TString<(_1,)>, C1>, TNil>>

impl<C0, C1, C2> Structural for (C0, C1, C2)

const FIELDS: &'static [FieldInfo]

type Fields = TList<TField<TString<(_0,)>, C0>, TList<TField<TString<(_1,)>, C1>, TList<TField<TString<(_2,)>, C2>, TNil>>>

impl<C0, C1, C2, C3> Structural for (C0, C1, C2, C3)

const FIELDS: &'static [FieldInfo]

type Fields = TList<TField<TString<(_0,)>, C0>, TList<TField<TString<(_1,)>, C1>, TList<TField<TString<(_2,)>, C2>, TList<TField<TString<(_3,)>, C3>, TNil>>>>

impl<C0, C1, C2, C3, C4> Structural for (C0, C1, C2, C3, C4)

const FIELDS: &'static [FieldInfo]

type Fields = TList<TField<TString<(_0,)>, C0>, TList<TField<TString<(_1,)>, C1>, TList<TField<TString<(_2,)>, C2>, TList<TField<TString<(_3,)>, C3>, TList<TField<TString<(_4,)>, C4>, TNil>>>>>

impl<C0, C1, C2, C3, C4, C5> Structural for (C0, C1, C2, C3, C4, C5)

const FIELDS: &'static [FieldInfo]

type Fields = TList<TField<TString<(_0,)>, C0>, TList<TField<TString<(_1,)>, C1>, TList<TField<TString<(_2,)>, C2>, TList<TField<TString<(_3,)>, C3>, TList<TField<TString<(_4,)>, C4>, TList<TField<TString<(_5,)>, C5>, TNil>>>>>>

impl<C0, C1, C2, C3, C4, C5, C6> Structural for (C0, C1, C2, C3, C4, C5, C6)

const FIELDS: &'static [FieldInfo]

type Fields = TList<TField<TString<(_0,)>, C0>, TList<TField<TString<(_1,)>, C1>, TList<TField<TString<(_2,)>, C2>, TList<TField<TString<(_3,)>, C3>, TList<TField<TString<(_4,)>, C4>, TList<TField<TString<(_5,)>, C5>, TList<TField<TString<(_6,)>, C6>, TNil>>>>>>>

impl<C0, C1, C2, C3, C4, C5, C6, C7> Structural for (C0, C1, C2, C3, C4, C5, C6, C7)

const FIELDS: &'static [FieldInfo]

type Fields = TList<TField<TString<(_0,)>, C0>, TList<TField<TString<(_1,)>, C1>, TList<TField<TString<(_2,)>, C2>, TList<TField<TString<(_3,)>, C3>, TList<TField<TString<(_4,)>, C4>, TList<TField<TString<(_5,)>, C5>, TList<TField<TString<(_6,)>, C6>, TList<TField<TString<(_7,)>, C7>, TNil>>>>>>>>

impl<C0, C1, C2, C3, C4, C5, C6, C7, C8> Structural for (C0, C1, C2, C3, C4, C5, C6, C7, C8)

const FIELDS: &'static [FieldInfo]

type Fields = TList<TField<TString<(_0,)>, C0>, TList<TField<TString<(_1,)>, C1>, TList<TField<TString<(_2,)>, C2>, TList<TField<TString<(_3,)>, C3>, TList<TField<TString<(_4,)>, C4>, TList<TField<TString<(_5,)>, C5>, TList<TField<TString<(_6,)>, C6>, TList<TField<TString<(_7,)>, C7>, TList<TField<TString<(_8,)>, C8>, TNil>>>>>>>>>

impl<C0, C1, C2, C3, C4, C5, C6, C7, C8, C9> Structural for (C0, C1, C2, C3, C4, C5, C6, C7, C8, C9)

const FIELDS: &'static [FieldInfo]

type Fields = TList<TField<TString<(_0,)>, C0>, TList<TField<TString<(_1,)>, C1>, TList<TField<TString<(_2,)>, C2>, TList<TField<TString<(_3,)>, C3>, TList<TField<TString<(_4,)>, C4>, TList<TField<TString<(_5,)>, C5>, TList<TField<TString<(_6,)>, C6>, TList<TField<TString<(_7,)>, C7>, TList<TField<TString<(_8,)>, C8>, TList<TField<TString<(_9,)>, C9>, TNil>>>>>>>>>>

impl<C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10> Structural for (C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10)

const FIELDS: &'static [FieldInfo]

type Fields = TList<TField<TString<(_0,)>, C0>, TList<TField<TString<(_1,)>, C1>, TList<TField<TString<(_2,)>, C2>, TList<TField<TString<(_3,)>, C3>, TList<TField<TString<(_4,)>, C4>, TList<TField<TString<(_5,)>, C5>, TList<TField<TString<(_6,)>, C6>, TList<TField<TString<(_7,)>, C7>, TList<TField<TString<(_8,)>, C8>, TList<TField<TString<(_9,)>, C9>, TList<TField<TString<(_1, _0)>, C10>, TNil>>>>>>>>>>>

impl<C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10, C11> Structural for (C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10, C11)

const FIELDS: &'static [FieldInfo]

type Fields = TList<TField<TString<(_0,)>, C0>, TList<TField<TString<(_1,)>, C1>, TList<TField<TString<(_2,)>, C2>, TList<TField<TString<(_3,)>, C3>, TList<TField<TString<(_4,)>, C4>, TList<TField<TString<(_5,)>, C5>, TList<TField<TString<(_6,)>, C6>, TList<TField<TString<(_7,)>, C7>, TList<TField<TString<(_8,)>, C8>, TList<TField<TString<(_9,)>, C9>, TList<TField<TString<(_1, _0)>, C10>, TList<TField<TString<(_1, _1)>, C11>, TNil>>>>>>>>>>>>

impl<T> Structural for Range<T>

const FIELDS: &'static [FieldInfo]

type Fields = TList<TField<TString<(_s, _t, _a, _r, _t)>, T>, TList<TField<TString<(_e, _n, _d)>, T>, TNil>>

impl<T> Structural for RangeFrom<T>

const FIELDS: &'static [FieldInfo]

type Fields = TList<TField<TString<(_s, _t, _a, _r, _t)>, T>, TNil>

impl<T> Structural for RangeTo<T>

const FIELDS: &'static [FieldInfo]

type Fields = TList<TField<TString<(_e, _n, _d)>, T>, TNil>

impl<T> Structural for RangeToInclusive<T>

const FIELDS: &'static [FieldInfo]

type Fields = TList<TField<TString<(_e, _n, _d)>, T>, TNil>

impl<T> Structural for RangeInclusive<T>

const FIELDS: &'static [FieldInfo]

type Fields = TList<TField<TString<(_s, _t, _a, _r, _t)>, T>, TList<TField<TString<(_e, _n, _d)>, T>, TNil>>

impl<T> Structural for ManuallyDrop<T> where
    T: Structural, 

const FIELDS: &'static [FieldInfo]

type Fields = <T as Structural>::Fields

impl<P> Structural for Pin<P> where
    P::Target: Structural,
    P: Deref,
    P::Target: Sized, 

const FIELDS: &'static [FieldInfo]

type Fields = <P::Target as Structural>::Fields

impl<T> Structural for Box<T> where
    T: Structural, 

const FIELDS: &'static [FieldInfo]

type Fields = T::Fields

impl<T> Structural for Arc<T> where
    T: Structural, 

const FIELDS: &'static [FieldInfo]

type Fields = T::Fields

impl<T> Structural for Rc<T> where
    T: Structural, 

const FIELDS: &'static [FieldInfo]

type Fields = T::Fields

Loading content...

Implementors

Loading content...