Monad for managed values
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
System | Target | Derivation | Build status |
---|---|---|---|
x86_64-linux | /gnu/store/qwx90cn0ak4f5w8pqn374alf1gh1sza9-ghc-managed-1.0.6.drv | ||
mips64el-linux | /gnu/store/qkc1q349k60qir14ynnv347h8bbpk3xp-ghc-managed-1.0.6.drv | ||
i686-linux | /gnu/store/rf891v31lyzm2a4q0zzl5mbrr15rq63s-ghc-managed-1.0.6.drv | ||
i586-gnu | /gnu/store/whw7dnrjsj136j1b1y3iwkyzx3xillrz-ghc-managed-1.0.6.drv | ||
armhf-linux | /gnu/store/ncqd8plhk1n87vjyd0qs77zmnwhhmd98-ghc-managed-1.0.6.drv | ||
aarch64-linux | /gnu/store/qnrvfpiycky059pki2g9w1pwy49b852v-ghc-managed-1.0.6.drv |
Linter | Message | Location |
---|---|---|
No lint warnings ✓ |