[][src]Struct agnes::cons::Nil

pub struct Nil;

The end of a heterogeneous type list.

Trait Implementations

impl<NewH> PushFront<NewH> for Nil[src]

type Output = Cons<NewH, Nil>

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

impl<U> PushBack<U> for Nil[src]

type Output = Cons<U, Nil>

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

impl<List> Append<List> for Nil[src]

type Appended = List

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

impl Len for Nil[src]

type Len = UTerm

typenum-based list length.

fn is_empty() -> bool[src]

Returns true if length is 0, and false otherwise.

fn len() -> usize[src]

Returns the length of this list.

impl<'a, F> PartialMap<F> for Nil[src]

type Output = Nil

The output of the function, constructed into a cons-list of function results.

impl<F> DeriveCapabilities<F> for Nil[src]

type Output = Nil

The augmented cons-list which implements PartialMap, allowing application of partially-implemented functions to a DataView. Read more

impl<E> Member<E> for Nil[src]

type IsMember = False

True or False.

impl<T> HasLabels<Nil> for T[src]

impl IsLabelSet for Nil[src]

type IsSet = True

True or False.

impl<LLabel, LValue, LTail> SetDiff<Nil> for LVCons<LLabel, LValue, LTail>[src]

type Set = LVCons<LLabel, LValue, LTail>

The set of labels that exist in Self and not in RightSet.

impl<RSet> SetDiff<RSet> for Nil[src]

type Set = Nil

The set of labels that exist in Self and not in RightSet.

impl<RightSet, FullRightSet> SetDiffStep<RightSet, FullRightSet> for Nil[src]

type Set = Nil

The set of labels that exist in Self and not in RightSet.

impl<LLabel, LValue, LTail, FullRightSet> SetDiffStep<Nil, FullRightSet> for LVCons<LLabel, LValue, LTail> where
    LTail: SetDiffStep<FullRightSet, FullRightSet>, 
[src]

type Set = LVCons<LLabel, LValue, <LTail as SetDiffStep<FullRightSet, FullRightSet>>::Set>

The set of labels that exist in Self and not in RightSet.

impl<LabelList> LabelSubset<LabelList> for Nil[src]

type Output = Nil

Subset of Self that are labeled with labels in LabelList.

impl Reordering<Nil> for Nil[src]

type Output = Nil

The values from Original, re-ordered to match the ordering of Self.

impl AssocLabels for Nil[src]

type Labels = Nil

LabelCons-list of labels associated with the Self cons-list.

impl StrLabels for Nil[src]

fn labels_vec<'a>() -> Vec<&'a str>[src]

Returns the labels (as strings) for the labels associated with Self, collected in a Vec struct. Read more

impl StrTypes for Nil[src]

impl AssocStorage for Nil[src]

type Storage = Nil

Associated StorageCons cons-list.

impl AssocFrameLookup for Nil[src]

type Output = Nil

The associated FrameLookupCons.

impl NRows for Nil[src]

impl SimpleFrameFields for Nil[src]

type Fields = Nil

The computed FrameFields FieldLookupCons cons-list.

impl<FramedStore> RotateFields<FramedStore> for Nil[src]

type DType = usize

Underlying data type of the source fields

type Output = DataRef<usize>

Type of the individual DataIndex-implementing objects returned.

impl<FramedStore, DType, Output> RotateFieldsTerm<FramedStore, DType, Output> for Nil[src]

impl<FrameIndexOffset> UpdateFrameIndexMarker<FrameIndexOffset> for Nil[src]

type Output = Nil

FrameLookupCons after updating frame index by FrameIndexOffset.

impl<FrameIndexOffset> UpdateFrameIndex<FrameIndexOffset> for Nil[src]

type Output = Nil

ViewFrameCons after updating frame index by FrameIndexOffset.

impl<FrameIndex> AsFrameLookup<FrameIndex> for Nil[src]

type Output = Nil

The computed FrameLookupCons.

impl<Frames, Store> JoinIntoStore<Nil, Store> for Frames[src]

type Output = Store

The output type after augmenting Store.

impl UpdatePermutation for Nil[src]

impl IntoCsvSrcSchema for Nil[src]

type CsvSrcSchema = Nil

Resultant CsvSrcSchemaCons object.

impl BuildDStore for Nil[src]

type OutputFields = Nil

Fields type parameter of the resultant DataStore.

impl FrameIndexList for Nil[src]

type LabelList = Nil

The associated LabelCons for this type.

impl<Frames> AssocDataIndexCons<Nil> for Frames[src]

type Output = Nil

Type of associated data index cons-list.

impl<LabelList, Frames> FieldList<LabelList, Frames> for Nil[src]

type Output = Nil

Resultant cons-list of fields.

impl HashIndex for Nil[src]

impl PartialEqIndex for Nil[src]

impl<Frames> SerializeViewField<Frames> for Nil[src]

impl<LabelList> SubsetClone<LabelList> for Nil[src]

type Output = Nil

Output of applying $req_fn to values in this cons-list which match labels in LabelList. Read more

impl Eq for Nil[src]

impl PartialEq<Nil> for Nil[src]

#[must_use]
default fn ne(&self, other: &Rhs) -> bool
1.0.0
[src]

This method tests for !=.

impl Clone for Nil[src]

default fn clone_from(&mut self, source: &Self)
1.0.0
[src]

Performs copy-assignment from source. Read more

impl Debug for Nil[src]

impl Hash for Nil[src]

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

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

Auto Trait Implementations

impl Send for Nil

impl Sync for Nil

Blanket Implementations

impl<T> IntoLabeled for T[src]

impl<T> HasLabels for T[src]

impl<Needle, Haystack> HasLabels for Haystack where
    Haystack: Member<Needle, IsMember = B1>,
    Needle: Label
[src]

impl<DI> NRows for DI where
    DI: DataIndex
[src]

impl<Label, List> IntoStrFrame for List where
    Label: Debug,
    List: StrLabels
[src]

type Output = DataFrame<<Cons<Labeled<Label, PhantomData<String>>, Nil> as SimpleFrameFields>::Fields, DataStore<Cons<Labeled<Label, PhantomData<String>>, Nil>>>

Output DataFrame type.

impl<MeltLabel, Labels> MeltFrameFields for Labels where
    Labels: AssocLabels
[src]

type Fields = Cons<Labeled<MeltLabel, PhantomData<StoreFieldMarkers<Melt, <Labels as AssocLabels>::Labels>>>, Nil>

The computed melt FrameFields FieldLookupCons cons-list.

impl<Frames, Store> JoinIntoStore for Frames[src]

type Output = Store

The output type after augmenting Store.

impl<Frames> AssocDataIndexCons for Frames[src]

type Output = Nil

Type of associated data index cons-list.

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

impl<T> From for T[src]

impl<T, U> Into for T where
    U: From<T>, 
[src]

impl<T, U> TryFrom for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T> Borrow for T where
    T: ?Sized
[src]

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> BorrowMut for T where
    T: ?Sized
[src]

impl<T, U> TryInto for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<Q, K> Equivalent for Q where
    K: Borrow<Q> + ?Sized,
    Q: Eq + ?Sized
[src]

impl<T> Erased for T

impl<Q, K> Equivalent for Q where
    K: Borrow<Q> + ?Sized,
    Q: Eq + ?Sized
[src]

impl<T> Same for T[src]

type Output = T

Should always be Self