Trait agnes::store::PushFrontField

pub trait PushFrontField<NewLabel, NewDType> {
    type OutputFields: AssocStorage;
    fn push_front_field(
        self, 
        data: FieldData<NewDType>
    ) -> DataStore<Self::OutputFields>;
}

Trait for pushing a FieldData 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_field(
    self,
    data: FieldData<NewDType>
) -> DataStore<Self::OutputFields>

Push a FieldData onto the front of this store's fields cons-list.

Loading content...

Implementors

impl<PrevFields, NewLabel, NewDType> PushFrontField<NewLabel, NewDType> for DataStore<PrevFields> where
    PrevFields: AssocStorage + PushFront<FieldSchema<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, 

type OutputFields = PushedFrontField<PrevFields, NewLabel, NewDType>

fn push_front_field(
    self,
    data: FieldData<NewDType>
) -> DataStore<Self::OutputFields>

Loading content...