Type Alias RCoalgebra<F, A, E, R, I>

RCoalgebra: Unfolder<F, SumTypeLambda<F>, A, E, R, I>

A function of the type: (a: A) ⇒ F<Either<A, Fix<F, E, R, I>>, E, R, I>.

Type Parameters

F extends TypeLambda
A
E = unknown
R = unknown
I = never