mtl
mtl copied to clipboard
haskell
The Monad Transformer Library
I think rank 2 polymorphism is a must-have for `callCC`, or this code will not compile: ```haskell f :: Int -> String f x = (`runCont` id) $ callCC $...
This relates to [this comment here](https://github.com/haskell/mtl/issues/117#issuecomment-1120504674). Specifically, these tests use property-based testing to exercise all the stated laws of `MonadAccum`, with a large enough test count to be meaningful.
I think we should add a type equivalent to the following to transformers (and mtl): ````haskell newtype ChoiceT m a = ChoiceT { runChoiceT :: m (Maybe (ChoiceT m a))...
This adds the setup required to run doc-testing using cabal-docspec, developed by @phadej. This is the same setup that the the "kmettverse" uses (e.g. the [comonad](https://github.com/ekmett/comonad/blob/main/.github/workflows/haskell-ci.yml) package). It also starts...
Per discussions with @ekmett and elsewhere - [ ] Factor `MonadReader` into `Ask` and `Local` classes - [ ] Factor `MonadWriter` into `Tell` and `Listen`, and `Pass` - [ ]...
It appears that there isn't yet a tag for the 2.3 release. Having one would be quite handy.
Stumbled across this paper: https://pleger.cl/cv-pleger/papers/figueroaAl-SCP2020.pdf Which Monads Haskell Developers Use: An Exploratory Study by Ismael Figueroa, Paul Leger, Hiroaki Fukuda From the abstract: > Our results show that around 30.8%...
https://github.com/haskell/mtl/pull/74#issuecomment-792326645 says > @Bodigrim we are planning on this months from now, with as much tooling guidance, announcing, and help as possible. https://github.com/haskell/mtl/pull/103#issuecomment-1024522023 says > @emilypi is going to revert...
After doing a bit of research, I conjecture that the `MonadFail` instances (e.g. for `ReaderT`) were added in `mtl-2.2.1`. However, this information isn't attached to these instances in the haddocks...
