monads-tf

Monad classes, using type families

Version on this page:0.1.0.2
LTS Haskell 17.12:0.1.0.3
Stackage Nightly 2021-05-16: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
This version can be pinned in stack with:monads-tf-0.1.0.2@sha256:e4c3e544e133602037f90f63f8f4b90aebd26a9f661e069aad71c8fe72f7e79d,1427

Module documentation for 0.1.0.2

  • 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.