Generics.MultiRec.FoldAlg

The type family of convenient algebras.

type family Alg (f :: (* -> *) -> * -> *) (r :: * -> *) (ix :: *) :: *

type family Comp (f :: (* -> *) -> * -> *) (r :: * -> *) (ix :: *) :: *

type Algebra phi r

The class to turn convenient algebras into standard algebras.

class Fold f

Interface

fold

Construction of algebras

(&)