Generics.MultiRec.Fold

Generic fold and unfold

type Algebra' phi f r

type Algebra phi r

type AlgebraF' phi f g r

type AlgebraF phi g r

fold

foldM

type CoAlgebra' phi f r

type CoAlgebra phi r

type CoAlgebraF' phi f g r

type CoAlgebraF phi g r

unfold

unfoldM

type ParaAlgebra' phi f r

type ParaAlgebra phi r

type ParaAlgebraF' phi f g r

type ParaAlgebraF phi g r

para

paraM

Creating an algebra

type AlgPart f r ix

type (f :-> g) r ix

(&)

tag

con