ghc-8.4.0.20180118: The GHC API

Safe HaskellNone
LanguageHaskell2010

SimplMonad

Synopsis

Documentation

data SimplM result Source #

Instances
Monad SimplM # 
Instance details

Methods

(>>=) :: SimplM a -> (a -> SimplM b) -> SimplM b Source #

(>>) :: SimplM a -> SimplM b -> SimplM b Source #

return :: a -> SimplM a Source #

fail :: String -> SimplM a Source #

Functor SimplM # 
Instance details

Methods

fmap :: (a -> b) -> SimplM a -> SimplM b Source #

(<$) :: a -> SimplM b -> SimplM a Source #

Applicative SimplM # 
Instance details

Methods

pure :: a -> SimplM a Source #

(<*>) :: SimplM (a -> b) -> SimplM a -> SimplM b Source #

liftA2 :: (a -> b -> c) -> SimplM a -> SimplM b -> SimplM c Source #

(*>) :: SimplM a -> SimplM b -> SimplM b Source #

(<*) :: SimplM a -> SimplM b -> SimplM a Source #

MonadIO SimplM # 
Instance details

Methods

liftIO :: IO a -> SimplM a Source #

MonadUnique SimplM # 
Instance details

Methods

getUniqueSupplyM :: SimplM UniqSupply Source #

getUniqueM :: SimplM Unique Source #

getUniquesM :: SimplM [Unique] Source #

HasDynFlags SimplM # 
Instance details

Methods

getDynFlags :: SimplM DynFlags Source #

initSmpl :: DynFlags -> RuleEnv -> (FamInstEnv, FamInstEnv) -> UniqSupply -> Int -> SimplM a -> IO (a, SimplCount) Source #

traceSmpl :: String -> SDoc -> SimplM () Source #

getSimplRules :: SimplM RuleEnv Source #

getFamEnvs :: SimplM (FamInstEnv, FamInstEnv) Source #

class Monad m => MonadUnique m where Source #

A monad for generating unique identifiers

Minimal complete definition

getUniqueSupplyM

Methods

getUniqueSupplyM :: m UniqSupply Source #

Get a new UniqueSupply

getUniqueM :: m Unique Source #

Get a new unique identifier

getUniquesM :: m [Unique] Source #

Get an infinite list of new unique identifiers

Instances
MonadUnique UniqSM # 
Instance details

Methods

getUniqueSupplyM :: UniqSM UniqSupply Source #

getUniqueM :: UniqSM Unique Source #

getUniquesM :: UniqSM [Unique] Source #

MonadUnique LlvmM # 
Instance details

Methods

getUniqueSupplyM :: LlvmM UniqSupply Source #

getUniqueM :: LlvmM Unique Source #

getUniquesM :: LlvmM [Unique] Source #

MonadUnique FCode # 
Instance details

Methods

getUniqueSupplyM :: FCode UniqSupply Source #

getUniqueM :: FCode Unique Source #

getUniquesM :: FCode [Unique] Source #

MonadUnique CmmParse # 
Instance details

Methods

getUniqueSupplyM :: CmmParse UniqSupply Source #

getUniqueM :: CmmParse Unique Source #

getUniquesM :: CmmParse [Unique] Source #

MonadUnique CoreM # 
Instance details

Methods

getUniqueSupplyM :: CoreM UniqSupply Source #

getUniqueM :: CoreM Unique Source #

getUniquesM :: CoreM [Unique] Source #

MonadUnique SimplM # 
Instance details

Methods

getUniqueSupplyM :: SimplM UniqSupply Source #

getUniqueM :: SimplM Unique Source #

getUniquesM :: SimplM [Unique] Source #

MonadUnique TcS # 
Instance details

Methods

getUniqueSupplyM :: TcS UniqSupply Source #

getUniqueM :: TcS Unique Source #

getUniquesM :: TcS [Unique] Source #

MonadUnique NatM # 
Instance details

Methods

getUniqueSupplyM :: NatM UniqSupply Source #

getUniqueM :: NatM Unique Source #

getUniquesM :: NatM [Unique] Source #

newId :: FastString -> Type -> SimplM Id Source #

newJoinId :: [Var] -> Type -> SimplM Id Source #

data SimplCount Source #

tick :: Tick -> SimplM () Source #

freeTick :: Tick -> SimplM () Source #

checkedTick :: Tick -> SimplM () Source #

getSimplCount :: SimplM SimplCount Source #

zeroSimplCount :: DynFlags -> SimplCount Source #

pprSimplCount :: SimplCount -> SDoc Source #

plusSimplCount :: SimplCount -> SimplCount -> SimplCount Source #

isZeroSimplCount :: SimplCount -> Bool Source #