Generics.MultiRec.FoldAlgK

The type family of convenient algebras.

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

type Algebra phi r

The class to turn convenient algebras into standard algebras.

class Fold f

Interface

fold

Construction of algebras

(&)