Enum FreeInner 

pub enum FreeInner<F, A>
where
    F: Functor + 'static,
    A: 'static,
{
    Pure(A),
    Wrap(<F as Kind_cdc7cd43dac7585f>::Of<'static, Free<F, A>>),
    Bind {
        head: Box<Free<F, TypeErasedValue>>,
        continuations: CatList<Continuation<F>>,
        _marker: PhantomData<A>,
    },
}

The internal representation of the Free monad.

This enum encodes the structure of the free monad, supporting pure values, suspended computations, and efficient concatenation of binds.

Type Parameters

• F: The base functor (must implement Functor).
• A: The result type.

Variants

Pure(A)

A pure value.

This variant represents a computation that has finished and produced a value.

Wrap(<F as Kind_cdc7cd43dac7585f>::Of<'static, Free<F, A>>)

A suspended computation.

This variant represents a computation that is suspended in the functor F. The functor contains the next step of the computation.

Bind

A bind operation.

This variant represents a computation followed by a sequence of continuations. It uses a CatList to store continuations, ensuring O(1) append complexity for left-associated binds.

Fields

head: Box<Free<F, TypeErasedValue>>

The initial computation.

continuations: CatList<Continuation<F>>

The list of continuations to apply to the result of head.

_marker: PhantomData<A>

Phantom data for type parameter A.