Data.Comp.Multi.Algebra

Algebras & Catamorphisms

type Alg f e

free

cata

cata'

appCxt

Monadic Algebras & Catamorphisms

type AlgM m f e

freeM

cataM

cataM'

liftMAlg

Term Homomorphisms

type CxtFun f g

type SigFun f g

type Hom f g

appHom

appHom'

compHom

appSigFun

appSigFun'

compSigFun

hom

compAlg

Monadic Term Homomorphisms

type CxtFunM m f g

type SigFunM m f g

type HomM m f g

sigFunM

hom'

appHomM

appHomM'

homM

appSigFunM

appSigFunM'

compHomM

compSigFunM

compAlgM

compAlgM'

Coalgebras & Anamorphisms

type Coalg f a

ana

type CoalgM m f a

anaM

R-Algebras & Paramorphisms

type RAlg f a

para

type RAlgM m f a

paraM

R-Coalgebras & Apomorphisms

type RCoalg f a

apo

type RCoalgM m f a

apoM

CV-Coalgebras & Futumorphisms

type CVCoalg f a

futu

type CVCoalgM m f a

futuM