This package provides tools for working with various Kan extensions and Kan lifts in Haskell.
Among the interesting bits included are:
Ran
and Lan
)Rift
and Lift
)Yoneda
)Codensity
monad, which can be used to improve the asymptotic complexity of code over free monads (Codensity
, Density
)CoT
, Co
)Contributions and bug reports are welcome!
Please feel free to contact me through github or on the #haskell IRC channel on irc.freenode.net.
-Edward Kmett