A monad for managed values

Version on this page:1.0.0
LTS Haskell 8.3:1.0.5
Stackage Nightly 2017-03-01:1.0.5
Latest on Hackage:1.0.5
BSD3 licensed by Gabriel Gonzalez
Maintained by

Module documentation for 1.0.0

There are no documented modules for this package.

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:
Used by 3 packages:
comments powered byDisqus