arrow-recursion-data / arrow.recursion

Package arrow.recursion

Type Aliases

Algebra typealias Algebra<F, A> = (Kind<F, A>) -> A
Fold over a kind.
Coalgebra typealias Coalgebra<F, A> = (A) -> Kind<F, A>
Unfold over a kind.

Extensions for External Classes

arrow.typeclasses.Functor  

Functions

Algebra fun <F, A> Algebra(it: Algebra<F, A>): Algebra<F, A>
Coalgebra fun <F, A> Coalgebra(it: Coalgebra<F, A>): Coalgebra<F, A>