Control.Functor.Algebra
type
Dialgebra
f g a
type
GDialgebra
f g w m a
type
Bialgebra
f g a
type
GBialgebra
f g w m a
type
Algebra
f a
type
GAlgebra
f w a
type
Coalgebra
f a
type
GCoalgebra
f m a
type
Trialgebra
f g h a
liftAlgebra
liftCoalgebra
liftDialgebra
fromCoalgebra
fromAlgebra
fromBialgebra