Enum rust_fp_pfds::list::List

pub enum List<A> {
    Nil,
    Cons {
        head: A,
        tail: Rc<List<A>>,
    },
}

Variants

Nil

Cons

Fields of Cons

head: Atail: Rc<List<A>>

Trait Implementations

impl<A, B> Applicative<A, B> for List<A>

impl<A, B> Apply<B> for List<A>

pub fn ap<F>(self, fs: Self::T) -> Self::T where
    F: Fn(&A) -> B,
    List<B>: Stack<B>, 

impl<A: Clone, B> Bind<B> for List<A>

pub fn bind<F>(self, f: F) -> List<B> where
    F: Fn(&A) -> List<B>, 

impl<A: Clone> Clone for List<A>

pub fn clone(&self) -> List<A>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<A: Debug> Debug for List<A>

pub fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<A> Empty for List<A>

pub fn empty() -> List<A>

pub fn is_empty(&self) -> bool

impl<A: Eq> Eq for List<A>

impl<A: Clone, B> Foldable<B> for List<A>

pub fn fold_left<F>(&self, b: B, f: F) -> B where
    F: Fn(B, &Self::C) -> B, 

pub fn fold_right<F>(&self, b: B, f: F) -> B where
    F: Fn(&Self::C, B) -> B, 

impl<A: Clone, B> Functor<B> for List<A>

pub fn fmap<F>(self, f: F) -> List<B> where
    F: Fn(&A) -> B,
    List<B>: Stack<B>, 

impl<T, U> HKT<U> for List<T>

type C = T

type T = List<U>

impl<A: Clone, B> Monad<A, B> for List<A>

impl<A> Monoid for List<A>

impl<A: PartialEq> PartialEq<List<A>> for List<A>

pub fn eq(&self, other: &List<A>) -> bool

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

pub fn ne(&self, other: &List<A>) -> bool

This method tests for !=.

impl<A> Pure<A> for List<A>

pub fn pure(value: A) -> Self::T

impl<A> Semigroup for List<A>

pub fn combine(self, other: Self) -> Self

impl<A> Stack<A> for List<A>

pub fn cons(self, value: A) -> Self

pub fn head(&self) -> Result<&A, StackError>

pub fn tail(&self) -> Rc<Self>

pub fn size(&self) -> usize

pub fn update(self, index: u32, new_value: A) -> Result<Self, StackError> where
    Self: Sized, 

pub fn get(&self, index: u32) -> Result<&A, StackError>

impl<A> StructuralEq for List<A>

impl<A> StructuralPartialEq for List<A>