Effect4Unbound

deep_causality_haft

Trait Effect4Unbound 

Source 
pub trait Effect4Unbound {
    type Fixed1;
    type Fixed2;
    type HktWitness: HKT5Unbound;
}
Expand description

Effect4Unbound: Parametric Effect Trait for Arity 4.

This trait allows for Parametric Effects where one effect component (the State/Counter) can change its type, while two others (e.g., Error, Log) remain fixed.

Structure: Type<Fixed1, Fixed2, S_in, S_out, A> This requires an Arity 5 witness (HKT5Unbound).

Required Associated Types§

Source

type Fixed1

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

Source

type Fixed2

The second fixed type (e.g., Log).

Source

type HktWitness: HKT5Unbound

The witness type implementing HKT5Unbound.

Implementors§