arrow-recursion-data / arrow.recursion.data

Package arrow.recursion.data

Types

Fix Type level combinator for obtaining the fixed point of a type. This type is the type level encoding of primitive recursion.data class Fix<out A>
Mu Type level combinator for obtaining the least fixed point of a type. This type is the type level encoding of cata.interface Mu<F>
Nu Type level combinator for obtaining the greatest fixed point of a type. This type is the type level encoding of ana.class Nu<out F>