Control.Functor.KanExtension
Right Kan Extensions
data
Ran
g h a
toRan
fromRan
adjointToRan
ranToAdjoint
ranToComposedAdjoint
composedAdjointToRan
composeRan
decomposeRan
Left Kan Extensions
data
Lan
g h a
toLan
fromLan
adjointToLan
lanToAdjoint
composeLan
decomposeLan
lanToComposedAdjoint
composedAdjointToLan