Function apoBasedAna

apoBasedAna<F extends TypeLambda, A, E = unknown, R = unknown, I = never>(
F: Traversable<F> & Covariant<F>,
ψ: Coalgebra<F, A, E, R, I>,
): Unfold<F, A, E, R, I>
Type Parameters
- F extends TypeLambda
- A
- E = unknown
- R = unknown
- I = never
Parameters
- F: Traversable<F> & Covariant<F>
- ψ: Coalgebra<F, A, E, R, I>
Returns Unfold<F, A, E, R, I>
- Defined in src/unfold/laws.ts:66