Safe Haskell	None
Language	Haskell2010

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

data IOEnv env a Source #

Instances

Quasi TcM Source #

Instance details

Defined in TcSplice

Methods

qNewName :: String -> TcM Name Source #

qReport :: Bool -> String -> TcM () Source #

qRecover :: TcM a -> TcM a -> TcM a Source #

qLookupName :: Bool -> String -> TcM (Maybe Name) Source #

qReify :: Name -> TcM Info Source #

qReifyFixity :: Name -> TcM (Maybe Fixity) Source #

qReifyInstances :: Name -> [Type] -> TcM [Dec] Source #

qReifyRoles :: Name -> TcM [Role] Source #

qReifyAnnotations :: Data a => AnnLookup -> TcM [a] Source #

qReifyModule :: Module -> TcM ModuleInfo Source #

qReifyConStrictness :: Name -> TcM [DecidedStrictness] Source #

qLocation :: TcM Loc Source #

qRunIO :: IO a -> TcM a Source #

qAddDependentFile :: FilePath -> TcM () Source #

qAddTempFile :: String -> TcM FilePath Source #

qAddTopDecls :: [Dec] -> TcM () Source #

qAddForeignFilePath :: ForeignSrcLang -> String -> TcM () Source #

qAddModFinalizer :: Q () -> TcM () Source #

qAddCorePlugin :: String -> TcM () Source #

qGetQ :: Typeable a => TcM (Maybe a) Source #

qPutQ :: Typeable a => a -> TcM () Source #

qIsExtEnabled :: Extension -> TcM Bool Source #

qExtsEnabled :: TcM [Extension] Source #

Monad (IOEnv m) Source #

Instance details

Defined in IOEnv

Methods

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

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

return :: a -> IOEnv m a #

fail :: String -> IOEnv m a #

Functor (IOEnv m) Source #

Instance details

Defined in IOEnv

Methods

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

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

MonadFail (IOEnv m) Source #

Instance details

Defined in IOEnv

Methods

fail :: String -> IOEnv m a #

Applicative (IOEnv m) Source #

Instance details

Defined in IOEnv

Methods

pure :: a -> IOEnv m a #

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

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

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

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

MonadIO (IOEnv env) Source #

Instance details

Defined in IOEnv

Methods

liftIO :: IO a -> IOEnv env a #

Alternative (IOEnv env) Source #

Instance details

Defined in IOEnv

Methods

empty :: IOEnv env a #

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

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

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

MonadPlus (IOEnv env) Source #

Instance details

Defined in IOEnv

Methods

mzero :: IOEnv env a #

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

ExceptionMonad (IOEnv a) Source #

Instance details

Defined in IOEnv

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

Defined in TcRnMonad

Methods

getUniqueSupplyM :: IOEnv (Env gbl lcl) UniqSupply Source #

getUniqueM :: IOEnv (Env gbl lcl) Unique Source #

getUniquesM :: IOEnv (Env gbl lcl) [Unique] Source #

ContainsModule env => HasModule (IOEnv env) Source #

Instance details

Defined in IOEnv

Methods

getModule :: IOEnv env Module Source #

ContainsDynFlags env => HasDynFlags (IOEnv env) Source #

Instance details

Defined in IOEnv

Methods

getDynFlags :: IOEnv env DynFlags Source #

MonadThings (IOEnv (Env TcGblEnv TcLclEnv)) Source #

Instance details

Defined in TcEnv

Methods

lookupThing :: Name -> IOEnv (Env TcGblEnv TcLclEnv) TyThing Source #

lookupId :: Name -> IOEnv (Env TcGblEnv TcLclEnv) Id Source #

lookupDataCon :: Name -> IOEnv (Env TcGblEnv TcLclEnv) DataCon Source #

lookupTyCon :: Name -> IOEnv (Env TcGblEnv TcLclEnv) TyCon Source #

MonadThings (IOEnv (Env DsGblEnv DsLclEnv)) Source #

Instance details

Defined in DsMonad

Methods

lookupThing :: Name -> IOEnv (Env DsGblEnv DsLclEnv) TyThing Source #

lookupId :: Name -> IOEnv (Env DsGblEnv DsLclEnv) Id Source #

lookupDataCon :: Name -> IOEnv (Env DsGblEnv DsLclEnv) DataCon Source #

lookupTyCon :: Name -> IOEnv (Env DsGblEnv DsLclEnv) TyCon Source #

module MonadUtils

failM :: IOEnv env a Source #

failWithM :: String -> IOEnv env a Source #

data IOEnvFailure Source #

Constructors

IOEnvFailure

Instances

Show IOEnvFailure Source #

Instance details

Defined in IOEnv

Methods

showsPrec :: Int -> IOEnvFailure -> ShowS #

show :: IOEnvFailure -> String #

showList :: [IOEnvFailure] -> ShowS #

Exception IOEnvFailure Source #

Instance details

Defined in IOEnv

Methods

toException :: IOEnvFailure -> SomeException #

fromException :: SomeException -> Maybe IOEnvFailure #

displayException :: IOEnvFailure -> String #

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 #

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

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

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

tryAllM :: IOEnv env r -> IOEnv env (Either SomeException r) Source #

tryMostM :: IOEnv env r -> IOEnv env (Either SomeException r) Source #

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

data IORef a #

A mutable variable in the IO monad

Instances

NFData1 IORef

Since: deepseq-1.4.3.0

Instance details

Defined in Control.DeepSeq

Methods

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

Eq (IORef a)

^ Pointer equality.

Since: base-4.1.0.0

Instance details

Defined in GHC.IORef

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: deepseq-1.4.2.0

Instance details

Defined in Control.DeepSeq

Methods

rnf :: IORef a -> () #

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 .