ghc-8.4.1: The GHC API

Safe HaskellNone
LanguageHaskell2010

IOEnv

Synopsis

Documentation

data IOEnv env a Source #

Instances
Quasi TcM # 
Instance details
Monad (IOEnv m) Source # 
Instance details

Methods

(>>=) :: IOEnv m a -> (a -> IOEnv m b) -> IOEnv m b Source #

(>>) :: IOEnv m a -> IOEnv m b -> IOEnv m b Source #

return :: a -> IOEnv m a Source #

fail :: String -> IOEnv m a Source #

Functor (IOEnv m) Source # 
Instance details

Methods

fmap :: (a -> b) -> IOEnv m a -> IOEnv m b Source #

(<$) :: a -> IOEnv m b -> IOEnv m a Source #

MonadFail (IOEnv m) Source # 
Instance details

Methods

fail :: String -> IOEnv m a Source #

Applicative (IOEnv m) Source # 
Instance details

Methods

pure :: a -> IOEnv m a Source #

(<*>) :: IOEnv m (a -> b) -> IOEnv m a -> IOEnv m b Source #

liftA2 :: (a -> b -> c) -> IOEnv m a -> IOEnv m b -> IOEnv m c Source #

(*>) :: IOEnv m a -> IOEnv m b -> IOEnv m b Source #

(<*) :: IOEnv m a -> IOEnv m b -> IOEnv m a Source #

MonadIO (IOEnv env) Source # 
Instance details

Methods

liftIO :: IO a -> IOEnv env a Source #

Alternative (IOEnv env) Source # 
Instance details

Methods

empty :: IOEnv env a Source #

(<|>) :: IOEnv env a -> IOEnv env a -> IOEnv env a Source #

some :: IOEnv env a -> IOEnv env [a] Source #

many :: IOEnv env a -> IOEnv env [a] Source #

MonadPlus (IOEnv env) Source # 
Instance details

Methods

mzero :: IOEnv env a Source #

mplus :: IOEnv env a -> IOEnv env a -> IOEnv env a Source #

ExceptionMonad (IOEnv a) Source # 
Instance details

Methods

gcatch :: Exception e => IOEnv a a0 -> (e -> IOEnv a a0) -> IOEnv a a0 Source #

gmask :: ((IOEnv a a0 -> IOEnv a a0) -> IOEnv a b) -> IOEnv a b Source #

gbracket :: IOEnv a a0 -> (a0 -> IOEnv a b) -> (a0 -> IOEnv a c) -> IOEnv a c Source #

gfinally :: IOEnv a a0 -> IOEnv a b -> IOEnv a a0 Source #

MonadUnique (IOEnv (Env gbl lcl)) Source # 
Instance details
ContainsModule env => HasModule (IOEnv env) Source # 
Instance details

Methods

getModule :: IOEnv env Module Source #

ContainsDynFlags env => HasDynFlags (IOEnv env) Source # 
Instance details
MonadThings (IOEnv (Env TcGblEnv TcLclEnv)) Source # 
Instance details
MonadThings (IOEnv (Env DsGblEnv DsLclEnv)) Source # 
Instance details

module MonadUtils

failM :: IOEnv env a Source #

getEnv :: IOEnv env env Source #

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

Perform a computation with a different environment

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

Perform a computation with an altered environment

runIOEnv :: env -> IOEnv env a -> IO a Source #

tryM :: IOEnv env r -> IOEnv env (Either IOEnvFailure r) Source #

fixM :: (a -> IOEnv env a) -> IOEnv env a Source #

data IORef a Source #

A mutable variable in the IO monad

Instances
NFData1 IORef

Since: 1.4.3.0

Instance details

Methods

liftRnf :: (a -> ()) -> IORef a -> () Source #

Eq (IORef a)

Pointer equality.

Since: 4.1.0.0

Instance details

Methods

(==) :: IORef a -> IORef a -> Bool #

(/=) :: IORef a -> IORef a -> Bool #

NFData (IORef a)

NOTE: Only strict in the reference and not the referenced value.

Since: 1.4.2.0

Instance details

Methods

rnf :: IORef a -> () Source #

newMutVar :: a -> IOEnv env (IORef a) Source #

readMutVar :: IORef a -> IOEnv env a Source #

writeMutVar :: IORef a -> a -> IOEnv env () Source #

updMutVar :: IORef a -> (a -> a) -> IOEnv env () Source #

atomicUpdMutVar :: IORef a -> (a -> (a, b)) -> IOEnv env b Source #

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 b Source #

Strict variant of atomicUpdMutVar.