haskell / haskell/mtl

mtl 3.0 planning

Open
#116 15 comments 10 reactions 0 assignees View on GitHub
Dominant language
Haskell
Stars
401
Forks
72
PR merge metrics
No merged PRs in 30d

Description

Per discussions with @ekmett and elsewhere

- [ ] Factor `MonadReader` into `Ask` and `Local` classes
- [ ] Factor `MonadWriter` into `Tell` and `Listen`, and `Pass`
- [ ] Reduce constraints where applicative (i.e. `FunctorTell`, `ApplicativeAsk`)
- [ ] Address Kmetto-senpai's [reqeuest for laws](https://github.com/haskell/mtl/issues/5) and [better docs](https://github.com/haskell/mtl/issues/2)
- [ ] Clear the existing PR backlog
- [ ] A proper [ListT](https://github.com/haskell/mtl/issues/85)
- [ ] Handler-like algebraic `catch` (see: https://paste.tomsmeding.com/aAYwOy7t)
- [ ] etc...

Thoughts welcome

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by reviewing the planning checklist and the linked mtl issues about laws, documentation, and ListT, along with the existing pull request backlog. This issue has no single entry point or defined completion criteria; work would need a scoped decision about which item to pursue and what its tests or documentation should demonstrate.

Written by the indexing model from the issue text.

Assessment

Tech stack
haskell
Domain
tooling
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
20/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.