Control.Functor.KanExtension.Interpreter
type
Interpreter
y g h
type
InterpreterT
f g h
interpreterAlgebra
algebraInterpreter
type
Cointerpreter
y g h
type
CointerpreterT
f g h
cointerpreterCoalgebra
coalgebraCointerpreter