Generics.MultiRec.FoldK

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 b ix

type (f :-> g) b ix

(&)

tag

con