Enum FreeMonad 

pub enum FreeMonad<A> {
    Pure(A),
    Free(Box<dyn FnOnce() -> FreeMonad<A>>),
}

A free monad over a functor F, with values in A.

Variants

Pure(A)

The pure/return constructor

Free(Box<dyn FnOnce() -> FreeMonad<A>>)

The free/join constructor wrapping a functor layer

Implementations

impl<A> FreeMonad<A>

pub fn pure(a: A) -> Self

Lift a pure value into the free monad.

pub fn fold<B>( self, pure_fn: impl Fn(A) -> B, free_fn: impl Fn(FreeMonad<A>) -> B, ) -> B

Fold (catamorphism) over the free monad.