Birecursive

A datatype that’s both Recursive and Corecursive, which enables applying both fold and unfold operations to it.

Data types

Arrow provides three datatypes that are instances of Birecursive, each modeling a different way of defining birecursion.

Module Data types
arrow.core Either, Id, Ior, ListK, NonEmptyList, Option, SequenceK, Validated
arrow.free Cofree, Free
arrow.recursion.data Fix, Mu, Nu

Type Class Hierarchy

Do you like Arrow?

Arrow Org
<