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

(&)