[−][src]Type Definition agnes::frame::FieldLookupCons
type FieldLookupCons<FrameLabel, StoreDetails, Tail> = LMCons<FrameLabel, StoreDetails, Tail>;
Type alias for a cons-list which associated frame labels with their underlying store(s).
FrameLabel
is a label struct. StoreDetails
is a StoreFieldMarkers
struct.
Trait Implementations
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>,
[src]
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
The resultant data type of the field.
type Field = <FieldLookupCons<FrameLabel, StoreDetails, Tail> as SelectAndFrameMatch<TargetLabel, FramedStore, <TargetLabel as LabelEq<FrameLabel>>::Eq>>::Field
The field accessor type.
fn select_and_frame(
perm: &Rc<Permutation<Vec<usize>>>,
store: &FramedStore
) -> Framed<Self::DType, Self::Field>
[src]
perm: &Rc<Permutation<Vec<usize>>>,
store: &FramedStore
) -> Framed<Self::DType, Self::Field>
impl<TargetLabel, FrameLabel, StoreFieldList, Tail, FramedStore> SelectAndFrameMatch<TargetLabel, FramedStore, B1> for FieldLookupCons<FrameLabel, StoreFieldMarkers<Single, StoreFieldList>, Tail> where
FramedStore: SelectFieldByLabel<TargetLabel>,
<FramedStore as SelectFieldByLabel<TargetLabel>>::DType: Debug,
[src]
FramedStore: SelectFieldByLabel<TargetLabel>,
<FramedStore as SelectFieldByLabel<TargetLabel>>::DType: Debug,
type DType = <FramedStore as SelectFieldByLabel<TargetLabel>>::DType
The resultant data type of the field.
type Field = <FramedStore as SelectFieldByLabel<TargetLabel>>::Output
The field accessor type.
fn select_and_frame(
perm: &Rc<Permutation<Vec<usize>>>,
store: &FramedStore
) -> Framed<Self::DType, Self::Field>
[src]
perm: &Rc<Permutation<Vec<usize>>>,
store: &FramedStore
) -> Framed<Self::DType, Self::Field>
impl<TargetLabel, FrameLabel, StoreFieldList, Tail, FramedStore> SelectAndFrameMatch<TargetLabel, FramedStore, B1> for FieldLookupCons<FrameLabel, StoreFieldMarkers<Melt, StoreFieldList>, Tail> where
StoreFieldList: RotateFields<FramedStore>,
<StoreFieldList as RotateFields<FramedStore>>::DType: Debug,
<StoreFieldList as RotateFields<FramedStore>>::Output: Clone,
[src]
StoreFieldList: RotateFields<FramedStore>,
<StoreFieldList as RotateFields<FramedStore>>::DType: Debug,
<StoreFieldList as RotateFields<FramedStore>>::Output: Clone,
type DType = <StoreFieldList as RotateFields<FramedStore>>::DType
The resultant data type of the field.
type Field = <StoreFieldList as RotateFields<FramedStore>>::Output
The field accessor type.
fn select_and_frame(
perm: &Rc<Permutation<Vec<usize>>>,
store: &FramedStore
) -> Framed<Self::DType, Self::Field>
[src]
perm: &Rc<Permutation<Vec<usize>>>,
store: &FramedStore
) -> Framed<Self::DType, Self::Field>
impl<TargetLabel, FrameLabel, StoreDetails, Tail, FramedStore> SelectAndFrameMatch<TargetLabel, FramedStore, B0> for FieldLookupCons<FrameLabel, StoreDetails, Tail> where
Tail: SelectAndFrame<TargetLabel, FramedStore>,
[src]
Tail: SelectAndFrame<TargetLabel, FramedStore>,
type DType = <Tail as SelectAndFrame<TargetLabel, FramedStore>>::DType
The resultant data type of the field.
type Field = <Tail as SelectAndFrame<TargetLabel, FramedStore>>::Field
The field accessor type.
fn select_and_frame(
perm: &Rc<Permutation<Vec<usize>>>,
store: &FramedStore
) -> Framed<Self::DType, Self::Field>
[src]
perm: &Rc<Permutation<Vec<usize>>>,
store: &FramedStore
) -> Framed<Self::DType, Self::Field>