Right Kan extension transformers covering the entire MTL, IO, ST s, and STM in Haskell in a generalization of continuation passing style
Haskell
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Control/Monad
.gitignore
LICENSE
README.markdown
Setup.lhs
monad-ran.cabal

README.markdown

monad-ran

A large number of monads written in the form of right Kan extensions and "right Kan extension transformers". This includes the entire monad-transformer library, IO, ST s, and STM.

Some of these perform nicely on certain benchmarks.

Others could stand to be rewritten to provide strictness guarantees that are more inline with the behavior of the MTL.

More information on right Kan extensions in Haskell can be found here: