Effect5Unbound

deep_causality_haft

Trait Effect5Unbound 

Source 
pub trait Effect5Unbound {
    type Fixed1;
    type Fixed2;
    type Fixed3;
    type HktWitness: HKT6Unbound;
}
Expand description

Effect5Unbound: Parametric Effect Trait for Arity 5.

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

Structure: Type<Fixed1, Fixed2, Fixed3, S_in, S_out, A> This requires an Arity 6 witness (HKT6Unbound).

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 Fixed3

The third fixed type (e.g., Trace).

Source

type HktWitness: HKT6Unbound

The witness type implementing HKT6Unbound.

Implementors§