| Safe Haskell | None |
|---|
IOEnv
- data IOEnv env a
- module MonadUtils
- failM :: IOEnv env a
- failWithM :: String -> IOEnv env a
- data IOEnvFailure = IOEnvFailure
- getEnv :: IOEnv env env
- setEnv :: env' -> IOEnv env' a -> IOEnv env a
- updEnv :: (env -> env') -> IOEnv env' a -> IOEnv env a
- runIOEnv :: env -> IOEnv env a -> IO a
- unsafeInterleaveM :: IOEnv env a -> IOEnv env a
- tryM :: IOEnv env r -> IOEnv env (Either IOEnvFailure r)
- tryAllM :: IOEnv env r -> IOEnv env (Either SomeException r)
- tryMostM :: IOEnv env r -> IOEnv env (Either SomeException r)
- fixM :: (a -> IOEnv env a) -> IOEnv env a
- data IORef a
- newMutVar :: a -> IOEnv env (IORef a)
- readMutVar :: IORef a -> IOEnv env a
- writeMutVar :: IORef a -> a -> IOEnv env ()
- updMutVar :: IORef a -> (a -> a) -> IOEnv env ()
- atomicUpdMutVar :: IORef a -> (a -> (a, b)) -> IOEnv env b
- atomicUpdMutVar' :: IORef a -> (a -> (a, b)) -> IOEnv env b
Documentation
Instances
| Monad (IOEnv m) | |
| Functor (IOEnv m) | |
| MonadPlus IO => MonadPlus (IOEnv env) | |
| Applicative (IOEnv m) | |
| Quasi (IOEnv (Env TcGblEnv TcLclEnv)) | |
| MonadIO (IOEnv env) | |
| MonadUnique (IOEnv (Env gbl lcl)) | |
| ContainsModule env => HasModule (IOEnv env) | |
| ContainsDynFlags env => HasDynFlags (IOEnv env) | |
| MonadThings (IOEnv (Env TcGblEnv TcLclEnv)) |
module MonadUtils
setEnv :: env' -> IOEnv env' a -> IOEnv env aSource
Perform a computation with a different environment
updEnv :: (env -> env') -> IOEnv env' a -> IOEnv env aSource
Perform a computation with an altered environment
unsafeInterleaveM :: IOEnv env a -> IOEnv env aSource
readMutVar :: IORef a -> IOEnv env aSource
writeMutVar :: IORef a -> a -> IOEnv env ()Source
atomicUpdMutVar :: IORef a -> (a -> (a, b)) -> IOEnv env bSource
Atomically update the reference. Does not force the evaluation of the
new variable contents. For strict update, use atomicUpdMutVar'.
atomicUpdMutVar' :: IORef a -> (a -> (a, b)) -> IOEnv env bSource
Strict variant of atomicUpdMutVar.