Enum FreeView 

pub enum FreeView<F>
where
    F: Extract + Functor + 'static,
{
    Return(TypeErasedValue),
    Suspend(<F as Kind_cdc7cd43dac7585f>::Of<'static, Free<F, TypeErasedValue>>),
}

The internal view of the Free monad.

This enum encodes the current step of the free monad computation. Both variants hold type-erased values; the concrete type A is tracked by PhantomData on the outer Free struct. The CatList of continuations lives at the top level in Free, not inside any variant.

Type Parameters

• F: The base functor. Requires Extract and Functor to match the struct-level bounds on Free; the Suspend variant itself only uses the Kind trait (implied by Functor) for type application, and the Extract bound is needed for stack-safe Drop.

Variants

Return(TypeErasedValue)

A pure value (type-erased).

This variant represents a computation that has finished and produced a value. The actual type is tracked by PhantomData<A> on the enclosing Free.

Suspend(<F as Kind_cdc7cd43dac7585f>::Of<'static, Free<F, TypeErasedValue>>)

A suspended computation (type-erased).

This variant represents a computation that is suspended in the functor F. The functor contains Free<F, TypeErasedValue> as the next step.