monads-tf

Monad classes, using type families

Version on this page:0.1.0.2
LTS Haskell 15.14:0.1.0.3
Stackage Nightly 2020-05-31:0.1.0.3
Latest on Hackage:0.1.0.3

See all snapshots monads-tf appears in

BSD-3-Clause licensed by Andy Gill
Maintained by Ross Paterson

Module documentation for 0.1.0.2

This version can be pinned in stack with:[email protected]:e4c3e544e133602037f90f63f8f4b90aebd26a9f661e069aad71c8fe72f7e79d,1427
  • Control
    • Control.Monad
      • Control.Monad.Cont
        • Control.Monad.Cont.Class
      • Control.Monad.Error
        • Control.Monad.Error.Class
      • Control.Monad.Identity
      • Control.Monad.List
      • Control.Monad.RWS
        • Control.Monad.RWS.Class
        • Control.Monad.RWS.Lazy
        • Control.Monad.RWS.Strict
      • Control.Monad.Reader
        • Control.Monad.Reader.Class
      • Control.Monad.State
        • Control.Monad.State.Class
        • Control.Monad.State.Lazy
        • Control.Monad.State.Strict
      • Control.Monad.Trans
      • Control.Monad.Writer
        • Control.Monad.Writer.Class
        • Control.Monad.Writer.Lazy
        • Control.Monad.Writer.Strict

Monad classes using type families, with instances for various monad transformers, inspired by the paper /Functional Programming with Overloading and Higher-Order Polymorphism/, by Mark P Jones, in Advanced School of Functional Programming, 1995 (http://web.cecs.pdx.edu/~mpj/pubs/springschool.html).

This package is almost a compatible replacement for the mtl-tf package.