Trait agnes::frame::SelectAndFrame

pub trait SelectAndFrame<Label, FramedStore> {
    type DType: Debug;
    type Field: DataIndex<DType = Self::DType>;
    fn select_and_frame(
        perm: &Rc<Permutation<Vec<usize>>>, 
        store: &FramedStore
    ) -> Framed<Self::DType, Self::Field>;
}

Trait for selecting a field associated with the label Label from the fields in FramedStore.

Associated Types

type DType: Debug

The resultant data type of the field.

type Field: DataIndex<DType = Self::DType>

The field accessor type.

Loading content...

Required methods

fn select_and_frame(
    perm: &Rc<Permutation<Vec<usize>>>,
    store: &FramedStore
) -> Framed<Self::DType, Self::Field>

Returns an Framed struct accessing the selected field.

Loading content...

Implementors

impl<TargetLabel, FrameLabel, StoreDetails, Tail, FramedStore> SelectAndFrame<TargetLabel, FramedStore> for FieldLookupCons<FrameLabel, StoreDetails, Tail> where
    TargetLabel: LabelEq<FrameLabel>,
    FieldLookupCons<FrameLabel, StoreDetails, Tail>: SelectAndFrameMatch<TargetLabel, FramedStore, <TargetLabel as LabelEq<FrameLabel>>::Eq>, 

type DType = <FieldLookupCons<FrameLabel, StoreDetails, Tail> as SelectAndFrameMatch<TargetLabel, FramedStore, <TargetLabel as LabelEq<FrameLabel>>::Eq>>::DType

type Field = <FieldLookupCons<FrameLabel, StoreDetails, Tail> as SelectAndFrameMatch<TargetLabel, FramedStore, <TargetLabel as LabelEq<FrameLabel>>::Eq>>::Field

fn select_and_frame(
    perm: &Rc<Permutation<Vec<usize>>>,
    store: &FramedStore
) -> Framed<Self::DType, Self::Field>

Loading content...