Birecursive

advanced

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.recursion.data Fix, Mu, Nu

Hierarchy