IOEnv

Synopsis

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

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 ()

Documentation

data IOEnv env a

Instances

Monad (IOEnv m)

Functor (IOEnv m)

Applicative (IOEnv m)

Quasi (IOEnv (Env TcGblEnv TcLclEnv))

MonadIO (IOEnv env)

MonadUnique (IOEnv (Env gbl lcl))

MonadThings (IOEnv (Env DsGblEnv DsLclEnv))

module MonadUtils

failM :: IOEnv env a

failWithM :: String -> IOEnv env a

data IOEnvFailure

Constructors

IOEnvFailure

Instances

Show IOEnvFailure

Typeable IOEnvFailure

Exception IOEnvFailure

getEnv :: IOEnv env env

setEnv :: env' -> IOEnv env' a -> IOEnv env a

Perform a computation with a different environment

updEnv :: (env -> env') -> IOEnv env' a -> IOEnv env a

Perform a computation with an altered environment

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

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 ()

Produced by Haddock version 2.3.0