Data.Comp.Param.Algebra

Algebras & Catamorphisms

type Alg f a

free

cata

cata'

appCxt

Monadic Algebras & Catamorphisms

type AlgM m f a

algM

freeM

cataM

cataM'

Term Homomorphisms

type CxtFun f g

type SigFun f g

type Hom f g

appHom

appHom'

compHom

appSigFun

appSigFun'

compSigFun

compHomSigFun

compSigFunHom

hom

compAlg

compAlgSigFun

Monadic Term Homomorphisms

type CxtFunM m f g

type SigFunM m f g

type HomM m f g

type SigFunMD m f g

type HomMD m f g

sigFunM

appHomM

appTHomM

appHomM'

appTHomM'

homM

homMD

appSigFunM

appTSigFunM

appSigFunM'

appTSigFunM'

appSigFunMD

appTSigFunMD

compHomM

compHomM'

compSigFunM

compSigFunHomM

compSigFunHomM'

compAlgSigFunM

compAlgSigFunM'

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-Algebras & Histomorphisms

type CVAlg f a f'

histo

type CVAlgM m f a f'

histoM

CV-Coalgebras & Futumorphisms

type CVCoalg f a

futu

type CVCoalg' f a

futu'

type CVCoalgM m f a

futuM