Trait agnes::store::PushBackEmpty

pub trait PushBackEmpty<NewLabel, NewDType> {
    type OutputFields: AssocStorage;
    fn push_back_empty(self) -> DataStore<Self::OutputFields>;
}

Trait for pushing an empty field onto the back of a DataStore's fields cons-list.

Associated Types

type OutputFields: AssocStorage

FieldCons cons-list after adding field.

Loading content...

Required methods

fn push_back_empty(self) -> DataStore<Self::OutputFields>

Push an empty field into the back of this store's fields cons-list.

Loading content...

Implementors

impl<PrevFields, NewLabel, NewDType> PushBackEmpty<NewLabel, NewDType> for DataStore<PrevFields> where
    PrevFields: AssocStorage + PushBack<FieldSpec<NewLabel, NewDType>>,
    PushedBackField<PrevFields, NewLabel, NewDType>: AssocStorage,
    PrevFields::Storage: PushBack<NewFieldStorage<NewLabel, NewDType>, Output = <PushedBackField<PrevFields, NewLabel, NewDType> as AssocStorage>::Storage>,
    NewLabel: Debug,
    NewDType: Debug, 

type OutputFields = PushedBackField<PrevFields, NewLabel, NewDType>

fn push_back_empty(self) -> DataStore<Self::OutputFields>

Loading content...