Struct LinkedListWitness 

pub struct LinkedListWitness;

Re-exports LinkedListWitness, the HKT witness for LinkedList<T>. LinkedListWitness is a zero-sized type that acts as a Higher-Kinded Type (HKT) witness for the LinkedList<T> type constructor. It allows LinkedList to be used with generic functional programming traits like Functor, Applicative, Foldable, and Monad.

Trait Implementations

impl Applicative<LinkedListWitness> for LinkedListWitness

fn pure<T>(value: T) -> LinkedList<T>

Lifts a pure value into a LinkedList containing only that value.

fn apply<A, B, Func>( f_ab: LinkedList<Func>, f_a: LinkedList<A>, ) -> LinkedList<B>

where Func: FnMut(A) -> B, A: Clone,

Applies a list of functions to a list of values.

impl Foldable<LinkedListWitness> for LinkedListWitness

fn fold<A, B, Func>(fa: LinkedList<A>, init: B, f: Func) -> B

where Func: FnMut(B, A) -> B,

Folds (reduces) a LinkedList into a single value.

impl Functor<LinkedListWitness> for LinkedListWitness

fn fmap<A, B, Func>(m_a: LinkedList<A>, f: Func) -> LinkedList<B>

where Func: FnMut(A) -> B,

Implements the fmap operation for LinkedList<T>.

impl HKT for LinkedListWitness

type Type<T> = LinkedList<T>

Specifies that LinkedListWitness represents the LinkedList<T> type constructor.

impl Monad<LinkedListWitness> for LinkedListWitness

fn bind<A, B, Func>(m_a: LinkedList<A>, f: Func) -> LinkedList<B>

where Func: FnMut(A) -> LinkedList<B>,

Implements the bind (or flat_map) operation for LinkedList<T>.