Struct HCons 

pub struct HCons<L, R: HNext<L>>(pub L, pub R);

Tuple Fields

0: L

1: R

Trait Implementations

impl<L: Clone, R: Clone + HNext<L>> Clone for HCons<L, R>

fn clone(&self) -> HCons<L, R>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T> From<(T,)> for HCons<T, HEmpty<T>>

fn from(value: (T,)) -> Self

Converts to this type from the input type.

impl<T> From<(T, T)> for HCons<T, HCons<T, HEmpty<T>>>

fn from(value: (T, T)) -> Self

Converts to this type from the input type.

impl<T> From<(T, T, T)> for HCons<T, HCons<T, HCons<T, HEmpty<T>>>>

fn from(value: (T, T, T)) -> Self

Converts to this type from the input type.

impl<T> From<(T, T, T, T)> for HCons<T, HCons<T, HCons<T, HCons<T, HEmpty<T>>>>>

fn from(value: (T, T, T, T)) -> Self

Converts to this type from the input type.

impl<T, E: HNext<T>> HNext<T> for HCons<T, E>

type Next = E

fn value(&self) -> Option<&T>

fn next(self) -> Self::Next

impl<L: PartialEq, R: PartialEq + HNext<L>> PartialEq for HCons<L, R>

fn eq(&self, other: &HCons<L, R>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<L: Eq, R: Eq + HNext<L>> Eq for HCons<L, R>

impl<L, R: HNext<L>> StructuralPartialEq for HCons<L, R>