[−][src]Trait agnes::store::PushFrontEmpty

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

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

Associated Types

`type OutputFields: AssocStorage`

FieldCons cons-list after adding field.

Loading content...

Required methods

`fn push_front_empty(self) -> DataStore<Self::OutputFields>`

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

Loading content...

Implementors

`impl<PrevFields, NewLabel, NewDType> PushFrontEmpty<NewLabel, NewDType> for DataStore<PrevFields> where PrevFields: AssocStorage + PushFront<FieldSpec<NewLabel, NewDType>>, PushedFrontField<PrevFields, NewLabel, NewDType>: AssocStorage, PrevFields::Storage: PushFront<NewFieldStorage<NewLabel, NewDType>, Output = <PushedFrontField<PrevFields, NewLabel, NewDType> as AssocStorage>::Storage>, NewLabel: Debug, NewDType: Debug,` [src]

`type OutputFields = PushedFrontField<PrevFields, NewLabel, NewDType>`

`fn push_front_empty(self) -> DataStore<Self::OutputFields>`[src]

Loading content...