managed

A monad for managed values

Version on this page:1.0.4
LTS Haskell 23.23:1.0.10
Stackage Nightly 2025-05-21:1.0.10
Latest on Hackage:1.0.10

See all snapshots managed appears in

BSD-3-Clause licensed by Gabriel Gonzalez
Maintained by [email protected]
This version can be pinned in stack with:managed-1.0.4@sha256:e7f9f3305dafb963c377c1a08a58eb59d2fe1a4afe3ff02cf622c219e1d56847,1377

Module documentation for 1.0.4

Depends on 2 packages(full list with versions):
base, transformers
Used by 1 package in lts-6.0(full list with versions):
turtle

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