Data.Comp.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

compSigFunHom

compHomSigFun

compAlgSigFun

hom

compAlg

compCoalg

compCVCoalg

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

hom'

appHomM

appHomM'

homM

homMD

appSigFunM

appSigFunM'

appSigFunMD

compHomM

compSigFunM

compSigFunHomM

compHomSigFunM

compAlgSigFunM

compAlgM

compAlgM'

Coalgebras & Anamorphisms

type Coalg f a

ana

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