Struct agnes::cons::Nil

pub struct Nil;

The end of a heterogeneous type list.

Trait Implementations

impl<NewH> PushFront<NewH> for Nil

type Output = Cons<NewH, Nil>

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> PushBack<U> for Nil

type Output = Cons<U, Nil>

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<U, Nil>

Add an element to the end of this heterogeneous list.

impl<List> Append<List> for Nil

type Appended = List

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) -> List

Add a list to the end of this heterogeneous list.

impl Len for Nil

type Len = UTerm

typenum-based list length.

fn is_empty() -> bool

Returns true if length is 0, and false otherwise.

fn len() -> usize

Returns the length of this list.

impl<'a, F> PartialMap<F> for Nil

type Output = Nil

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

fn map(&self, _f: &mut F) -> Nil

Apply the function F to the value in this element of a cons-list, and recurse.

impl<F> DeriveCapabilities<F> for Nil

type Output = Nil

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

fn derive(self) -> Nil

Derive the capabilities of this cons-list.

impl<E> Member<E> for Nil

type IsMember = False

True or False.

impl<T> HasLabels<Nil> for T

impl IsLabelSet for Nil

type IsSet = True

True or False.

impl<LLabel, LValue, LTail> SetDiff<Nil> for LVCons<LLabel, LValue, LTail>

type Set = LVCons<LLabel, LValue, LTail>

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

impl<RSet> SetDiff<RSet> for Nil

type Set = Nil

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

impl<RightSet, FullRightSet> SetDiffStep<RightSet, FullRightSet> for Nil

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>, 

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

type Output = Nil

Subset of Self that are labeled with labels in LabelList.

impl AssocLabels for Nil

type Labels = Nil

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

impl StrLabels for Nil

fn labels<'a>() -> VecDeque<&'a str>

Returns the labels (as strings) for the labels associated with Self.

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

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

impl StrTypes for Nil

fn str_types<'a>() -> VecDeque<&'a str>

Returns the string descriptions of the types associated with Self.

impl AssocStorage for Nil

type Storage = Nil

Associated StorageCons cons-list.

impl AssocFrameLookup for Nil

type Output = Nil

The associated FrameLookupCons.

impl NRows for Nil

fn nrows(&self) -> usize

Return the number of rows in this data structure.

impl SimpleFrameFields for Nil

type Fields = Nil

The computed FrameFields FieldLookupCons cons-list.

impl<FramedStore> RotateFields<FramedStore> for Nil

type DType = usize

Underlying data type of the source fields

type Output = DataRef<usize>

Type of the individual DataIndex-implementing objects returned.

fn add_to_rotation(_store: &FramedStore) -> VecDeque<Self::Output>

Add data pointed to by this type to the data collection, drawing data from the provided DataStore.

impl<FramedStore, DType, Output> RotateFieldsTerm<FramedStore, DType, Output> for Nil

fn add_to_rotation(_store: &FramedStore) -> VecDeque<Output>

Create or add data to the data collection.

impl<FrameIndexOffset> UpdateFrameIndexMarker<FrameIndexOffset> for Nil

type Output = Nil

FrameLookupCons after updating frame index by FrameIndexOffset.

impl<FrameIndexOffset> UpdateFrameIndex<FrameIndexOffset> for Nil

type Output = Nil

ViewFrameCons after updating frame index by FrameIndexOffset.

fn update_frame_label(self) -> Nil

Update ViewFrameCons with frame index offset.

impl<FrameIndex> AsFrameLookup<FrameIndex> for Nil

type Output = Nil

The computed FrameLookupCons.

impl<Frames, Store> JoinIntoStore<Nil, Store> for Frames

type Output = Store

The output type after augmenting Store.

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

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

impl UpdatePermutation for Nil

fn update_permutation(&mut self, _order: &[usize])

Update the permutation with the providing indices.

impl IntoCsvSrcSchema for Nil

type CsvSrcSchema = Nil

Resultant CsvSrcSchemaCons object.

fn into_csv_src_schema(
    self,
    _headers: &HashMap<String, usize>,
    _num_fields: usize
) -> Result<Nil>

Convert this into a CsvSrcSchemaCons cons-list. headers is a map of column header names to column indices. num_fields is the number of columns in the CSV file (for checking for indexing errors).

impl BuildDStore for Nil

type OutputFields = Nil

Fields type parameter of the resultant DataStore.

fn build(&mut self, _src: &CsvSource) -> Result<DataStore<Nil>>

Builds a DataStore from the source schema (self) and a CSV source src.

impl FrameIndexList for Nil

type LabelList = Nil

The associated LabelCons for this type.

impl<Frames> AssocDataIndexCons<Nil> for Frames

type Output = Nil

Type of associated data index cons-list.

fn assoc_data(&self) -> Nil

Returns the associated DataIndexCons.

impl<LabelList, Frames> FieldList<LabelList, Frames> for Nil

type Output = Nil

Resultant cons-list of fields.

fn field_list(_frames: &Frames) -> Nil

Returns the cons-list of fields from the frames list frames.

impl HashIndex for Nil

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 PartialEqIndex for Nil

fn eq_index(&self, _other: &Nil, _idx: usize) -> bool

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

impl<Frames> SerializeViewField<Frames> for Nil

fn serialize_view_field<M>(_frames: &Frames, map: M) -> Result<M::Ok, M::Error> where
    M: SerializeMap, 

Serialize this single field using data from frames, and adding to map SerializeMap.

impl<LabelList> SubsetClone<LabelList> for Nil

type Output = Nil

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

fn subset_clone(&self) -> Nil

Apply $req_fn to value in the head of this cons-list if label of head matches labels of LabelList.

impl PartialEq<Nil> for Nil

fn eq(&self, other: &Nil) -> bool

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

#[must_use]

default fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl Clone for Nil

fn clone(&self) -> Nil

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Eq for Nil

impl Debug for Nil

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

Formats the value using the given formatter.

impl Hash for Nil

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

Feeds this value into the given [Hasher].

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

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