Struct frunk_core::hlist::HNil

pub struct HNil;

Represents the right-most end of a heterogeneous list

Examples

let h = h_cons(1, HNil);
let h = h.head;
assert_eq!(h, 1);

Trait Implementations

impl PartialEq for HNil

fn eq(&self, __arg_0: &HNil) -> bool

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

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

This method tests for !=.

impl Debug for HNil

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

Formats the value using the given formatter.

impl Eq for HNil

impl Clone for HNil

fn clone(&self) -> HNil

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for HNil

impl PartialOrd for HNil

fn partial_cmp(&self, __arg_0: &HNil) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

This method tests less than (for self and other) and is used by the < operator.

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

This method tests less than or equal to (for self and other) and is used by the <= operator.

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

This method tests greater than (for self and other) and is used by the > operator.

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

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Ord for HNil

fn cmp(&self, __arg_0: &HNil) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

🔬 This is a nightly-only experimental API. (ord_max_min)

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

🔬 This is a nightly-only experimental API. (ord_max_min)

Compares and returns the minimum of two values.

impl Hash for HNil

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

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].

impl HList for HNil

const LEN: usize

LEN: usize = 0

Returns the length of a given HList type without making use of any references, or in fact, any values at all.

fn static_len() -> usize

Deprecated since 0.1.31

: Please use LEN instead

Returns the length of a given HList type without making use of any references, or in fact, any values at all.

fn length(&self) -> u32

Deprecated since 0.1.30

: Please use len() or static_len() instead.

fn len(&self) -> usize

Returns the length of a given HList

fn prepend<H>(self, h: H) -> HCons<H, Self>

Prepends an item to the current HList

impl AsRef<HNil> for HNil

fn as_ref(&self) -> &HNil

Performs the conversion.

impl<RHS> Add<RHS> for HNil where
    RHS: HList, 

type Output = RHS

The resulting type after applying the + operator.

fn add(self, rhs: RHS) -> RHS

Performs the + operation.

impl IntoReverse for HNil

type Output = HNil

fn into_reverse(self) -> Self::Output

Reverses a given data structure.

impl<F> HMappable<F> for HNil

type Output = HNil

fn map(self, _: F) -> Self::Output

Maps over the current data structure using functions stored in another data structure.

impl<F, Init> HFoldRightable<F, Init, Here> for HNil

type Output = Init

fn foldr(self, _: F, i: Init) -> Self::Output

foldr over a data structure

impl<F, Acc> HFoldLeftable<F, Acc, Here> for HNil

type Output = Acc

fn foldl(self, _: F, acc: Acc) -> Self::Output

foldl over a data structure

impl IntoUnlabelled for HNil

Implementation for HNil

type Output = HNil

fn into_unlabelled(self) -> Self::Output

Turns the current HList into an unlabelled on.