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
• uninterruptibleMaskM_ :: 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