The monad-classes package

[Tags:library, mit, test]

[Skip to Readme]

Properties

Versions 0.3, 0.3.0.1, 0.3.1.0, 0.3.1.1, 0.3.2.0
Dependencies base (>=4.7 && <5), ghc-prim, mmorph (>=1.0.3), monad-control (>=1), peano (>=0.1), reflection (>=1.4), transformers (>=0.2), transformers-base (>=0.4.2), transformers-compat (>=0.3.1) [details]
License MIT
Author Roman Cheplyaka <roma@ro-che.info>
Maintainer M Farkas-Dyck <strake888@gmail.com>
Category Control
Home page https://github.com/strake/monad-classes.hs
Uploaded Fri Jan 13 02:20:07 UTC 2017 by MatthewFarkasDyck
Distributions NixOS:0.3.2.0
Downloads 538 total (10 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Last success reported on 2017-01-13 [all 1 reports]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Readme for monad-classes

Readme for monad-classes-0.3.2.0

Build Status

See this series of articles for the detailed description and motivation.

This is a more flexible version of mtl, the monad transformers library.

  • You can have many layers of e.g. state transformers in your stack, and you don't have to explicitly lift your gets and puts, as soon as different state transformers carry different types of states.

    Example:

    a :: (MonadState Bool m, MonadState Int m) => m ()
    a = do
      put False -- set the boolean state
      modify (+ (1 :: Int)) -- modify the integer state
    
  • mtl requires Θ(n<sup>2</sup>) instances (like MonadReader e (StateT s m)); monad-classes requires only Θ(n) of them (where n is the number of different transformer types).

    If you'd like to define your own monad-classes-style class, you have to write much less boilerplate code.