Data.Functor.Foldable.Exotic

Classes

class SubHom f g a b

class SubType b

class CoSubHom f g a b

class Dummy t

Monadic recursion schemes

cataM

anaM

hyloM

Recursion schemes for interdependent data types

dendro

dendroTri

symplecto

chema

Exotic recursion schemes

dicata

micro