Effect3Unbound

deep_causality_haft

Trait Effect3Unbound 

Source 
pub trait Effect3Unbound {
    type Fixed1;
    type HktWitness: HKT4Unbound;
}
Expand description

Effect3Unbound: Parametric Effect Trait for Arity 3.

This trait allows for Parametric Effects (Type-State Pattern) where one effect component (the State/Counter) can change its type during computation.

It fixes 1 parameter (e.g., Error) and leaves 2 parameters for the State transition (S_in, S_out), plus the Value type A. This requires an Arity 4 witness (HKT4Unbound).

Structure: Type<Fixed1, S_in, S_out, A>

Required Associated Types§

Source

type Fixed1

The fixed type (e.g., Error).

Source

type HktWitness: HKT4Unbound

The witness type implementing HKT4Unbound.

Implementors§