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.