Struct agnes::cons::Cons

pub struct Cons<H, T> {
    pub head: H,
    pub tail: T,
}

Buildling block of a heterogeneous type list.

Fields

head: H

Value of this element of the type list.

tail: T

Remaining elements of the type list.

Trait Implementations

impl<NewH, H, T> PushFront<NewH> for Cons<H, T>

type Output = Cons<NewH, Self>

The resulting cons-list type after pushing the specified H element to the front of the existing list.

fn push_front(self, head: NewH) -> Self::Output

Add an element to the front of this heterogeneous list.

impl<U, H, T> PushBack<U> for Cons<H, T> where
    T: PushBack<U>, 

type Output = Cons<H, T::Output>

The resulting cons-list type after pushing the specified H element to the front of the existing list.

fn push_back(self, elem: U) -> Cons<H, T::Output>

Add an element to the end of this heterogeneous list.

impl<List, H, T> Append<List> for Cons<H, T> where
    T: Append<List>, 

type Appended = Cons<H, T::Appended>

The resulting cons-list type after adding the element of the target list to the end of the existing list.

fn append(self, list: List) -> Cons<H, T::Appended>

Add a list to the end of this heterogeneous list.

impl<Head, Tail> Len for Cons<Head, Tail> where
    Tail: Len,
    <Tail as Len>::Len: Add<B1>,
    <<Tail as Len>::Len as Add<B1>>::Output: Unsigned, 

type Len = Add1<<Tail as Len>::Len>

typenum-based list length.

fn is_empty(&self) -> bool

Returns true if length is 0, and false otherwise.

fn len(&self) -> usize

Returns the length of this list.

impl<NeedleLbl, NeedleTail, Haystack> HasLabels<Cons<Labeled<NeedleLbl, ()>, NeedleTail>> for Haystack where
    Haystack: Member<NeedleLbl, IsMember = True>,
    Haystack: HasLabels<NeedleTail>, 

impl<H, T> LookupElemByNat<UTerm> for Cons<H, T>

type Elem = H

Type of looked-up element.

fn elem(&self) -> &Self::Elem

Look up the element from this cons-list.

impl<H, T> LookupElemByNat<UInt<UTerm, B1>> for Cons<H, T> where
    T: LookupElemByNat<UTerm>, 

type Elem = <T as LookupElemByNat<UTerm>>::Elem

Type of looked-up element.

fn elem(&self) -> &Self::Elem

Look up the element from this cons-list.

impl<H, T, N> LookupElemByNat<UInt<N, B0>> for Cons<H, T> where
    N: Sub<B1>,
    T: LookupElemByNat<UInt<Sub1<N>, B1>>, 

type Elem = <T as LookupElemByNat<UInt<Sub1<N>, B1>>>::Elem

Type of looked-up element.

fn elem(&self) -> &Self::Elem

Look up the element from this cons-list.

impl<H, T, N, B> LookupElemByNat<UInt<UInt<N, B>, B1>> for Cons<H, T> where
    T: LookupElemByNat<UInt<UInt<N, B>, B0>>, 

type Elem = <T as LookupElemByNat<UInt<UInt<N, B>, B0>>>::Elem

Type of looked-up element.

fn elem(&self) -> &Self::Elem

Look up the element from this cons-list.

impl<LabelList, H, T> LabelSubsetPred<LabelList, B1> for Cons<H, T> where
    T: LabelSubset<LabelList>, 

type Output = Cons<H, <T as LabelSubset<LabelList>>::Output>

Subset of Self that are labeled with labels in LabelList.

impl<LabelList, H, T> LabelSubsetPred<LabelList, B0> for Cons<H, T> where
    T: LabelSubset<LabelList>, 

type Output = <T as LabelSubset<LabelList>>::Output

Subset of Self that are labeled with labels in LabelList.

impl<Label, FrameIndex, FrameLabel, Tail, Frames, Store> JoinIntoStore<Cons<Labeled<Label, PhantomData<FrameDetailMarkers<FrameIndex, FrameLabel>>>, Tail>, Store> for Frames where
    Frames: LookupValuedElemByLabel<FrameIndex>,
    FrameByFrameIndexOf<Frames, FrameIndex>: SelectFieldByLabel<FrameLabel>,
    Store: PushBackClonedFromValueIter<Label, FieldTypeFromFrameDetailsOf<Frames, FrameIndex, FrameLabel>>,
    Frames: JoinIntoStore<Tail, DataStore<<Store as PushBackClonedFromValueIter<Label, FieldTypeFromFrameDetailsOf<Frames, FrameIndex, FrameLabel>>>::OutputFields>>, 

type Output = <Frames as JoinIntoStore<Tail, DataStore<<Store as PushBackClonedFromValueIter<Label, FieldTypeFromFrameDetailsOf<Frames, FrameIndex, FrameLabel>>>::OutputFields>>>::Output

The output type after augmenting Store.

fn join_into_store(
    &self,
    store: Store,
    permutation: &[usize]
) -> Result<Self::Output>

Augments store with data from self (as specified with Labels), using the provided permutation indices.

impl<Label, FrameIndex, FrameLabel, LookupTail, Frames> AssocDataIndexCons<Cons<Labeled<Label, PhantomData<FrameDetailMarkers<FrameIndex, FrameLabel>>>, LookupTail>> for Frames where
    Self: SelectFieldFromLabels<FrameLookupCons<Label, FrameIndex, FrameLabel, LookupTail>, Label>,
    Self: AssocDataIndexCons<LookupTail>,
    Self::Output: Typed, 

type Output = DataIndexCons<Label, TypeOf<<Frames as SelectFieldFromLabels<FrameLookupCons<Label, FrameIndex, FrameLabel, LookupTail>, Label>>::Output>, <Frames as SelectFieldFromLabels<FrameLookupCons<Label, FrameIndex, FrameLabel, LookupTail>, Label>>::Output, <Frames as AssocDataIndexCons<LookupTail>>::Output>

Type of associated data index cons-list.

fn assoc_data(&self) -> Self::Output

Returns the associated DataIndexCons.

impl<Head, Tail> HashIndex for Cons<Head, Tail> where
    Head: HashIndex,
    Tail: HashIndex, 

fn hash_index<H>(&self, idx: usize, state: &mut H) where
    H: Hasher, 

Compute the hash of the values within this list of data fields with the index idx, updating the hash state.

impl<Head, Tail> PartialEqIndex for Cons<Head, Tail> where
    Head: PartialEqIndex,
    Tail: PartialEqIndex, 

fn eq_index(&self, other: &Self, idx: usize) -> bool

Returns equality of the values within this list of data fields with the index idx.

impl<LabelList, H, T> SubsetClonePred<LabelList, B1> for Cons<H, T> where
    T: SubsetClone<LabelList>,
    H: Clone, 

type Output = Cons<H, <T as SubsetClone<LabelList>>::Output>

Output of applying $req_fn to values in this cons-list if IsMember is True.

fn subset_clone_pred(&self) -> Self::Output

Apply $req_fn to value in the head of this cons-list if IsMember is True.

impl<LabelList, H, T> SubsetClonePred<LabelList, B0> for Cons<H, T> where
    T: SubsetClone<LabelList>, 

type Output = <T as SubsetClone<LabelList>>::Output

Output of applying $req_fn to values in this cons-list if IsMember is True.

fn subset_clone_pred(&self) -> Self::Output

Apply $req_fn to value in the head of this cons-list if IsMember is True.

impl<H: Eq, T: Eq> Eq for Cons<H, T>

impl<H: PartialEq, T: PartialEq> PartialEq<Cons<H, T>> for Cons<H, T>

fn eq(&self, other: &Cons<H, T>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Cons<H, T>) -> bool

This method tests for !=.

impl<H: Clone, T: Clone> Clone for Cons<H, T>

fn clone(&self) -> Cons<H, T>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<H: Debug, T: Debug> Debug for Cons<H, T>

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<H: Hash, T: Hash> Hash for Cons<H, T>

fn hash<__HHT: Hasher>(&self, state: &mut __HHT)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given [Hasher].