Data.Comp.Param.Multi.Algebra

Algebras & Catamorphisms

type Alg f a

free

cata

cata'

appCxt

Monadic Algebras & Catamorphisms

type AlgM m f a

freeM

cataM

type AlgM' m f a

data Compose f g a

freeM'

cataM'

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

appTHomM

appHomM'

appTHomM'

homM

appSigFunM

appTSigFunM

appSigFunM'

appTSigFunM'

compHomM

compSigFunM

compAlgM

compAlgM'