arrow-recursion-data / arrow.recursion.data

Package arrow.recursion.data

Types

Fix data class Fix<out A> : FixOf<A>
Type level combinator for obtaining the fixed point of a type. This type is the type level encoding of primitive recursion.
ForFix class ForFix
ForMu class ForMu
ForNu class ForNu
Mu abstract class Mu<out F> : MuOf<F>
Type level combinator for obtaining the least fixed point of a type. This type is the type level encoding of cata.
Nu class Nu<out F> : NuOf<F>
Type level combinator for obtaining the greatest fixed point of a type. This type is the type level encoding of ana.

Type Aliases

FixOf typealias FixOf<A> = Kind<ForFix, A>
MuOf typealias MuOf<F> = Kind<ForMu, F>
NuOf typealias NuOf<F> = Kind<ForNu, F>

Extensions for External Classes

arrow.Kind