A monad for managed values

Version on this page:1.0.5
LTS Haskell 11.1:1.0.6
Stackage Nightly 2018-03-23:1.0.6
Latest on Hackage:1.0.6

See all snapshots managed appears in

BSD3 licensed by Gabriel Gonzalez
Maintained by

Module documentation for 1.0.5

In Haskell you very often acquire values using the with... idiom using functions of type (a -> IO r) -> IO r. This idiom forms a Monad, which is a special case of the ContT monad (from transformers) or the Codensity monad (from kan-extensions). The main purpose behind this package is to provide a restricted form of these monads specialized to this unusually common case.

The reason this package defines a specialized version of these types is to:

  • be more beginner-friendly,

  • simplify inferred types and error messages, and:

  • provide some additional type class instances that would otherwise be orphan instances

Depends on 2 packages:
comments powered byDisqus