Type Aliases§
- Algebra
F<A> -> A— an F-algebra, used in catamorphism.- Coalgebra
A -> F<A>— an F-coalgebra, used in anamorphism.- RAlgebra
F<(Fix<F>, A)> -> A— an R-algebra, used in paramorphism.- RCoalgebra
A -> F<Either<Fix<F>, A>>— an R-coalgebra, used in apomorphism.