SimplMonad

Documentation

data SimplM result

Instances

Monad SimplM

Defined in SimplMonad

Methods

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

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

return :: a -> SimplM a

fail :: String -> SimplM a

Functor SimplM

Defined in SimplMonad

Methods

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

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

Applicative SimplM

Defined in SimplMonad

Methods

pure :: a -> SimplM a

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

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

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

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

MonadIO SimplM

Defined in SimplMonad

Methods

liftIO :: IO a -> SimplM a

HasDynFlags SimplM

Defined in SimplMonad

Methods

getDynFlags :: SimplM DynFlags

MonadUnique SimplM

Defined in SimplMonad

Methods

getUniqueSupplyM :: SimplM UniqSupply

getUniqueM :: SimplM Unique

getUniquesM :: SimplM [Unique]

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

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

getSimplRules :: SimplM RuleEnv

getFamEnvs :: SimplM (FamInstEnv, FamInstEnv)

class Monad m => MonadUnique (m :: Type -> Type) where

A monad for generating unique identifiers

Minimal complete definition

getUniqueSupplyM

Methods

getUniqueSupplyM :: m UniqSupply

Get a new UniqueSupply

getUniqueM :: m Unique

Get a new unique identifier

getUniquesM :: m [Unique]

Get an infinite list of new unique identifiers

Instances

MonadUnique CoreM

Defined in CoreMonad

Methods

getUniqueSupplyM :: CoreM UniqSupply

getUniqueM :: CoreM Unique

getUniquesM :: CoreM [Unique]

MonadUnique UniqSM

Defined in UniqSupply

Methods

getUniqueSupplyM :: UniqSM UniqSupply

getUniqueM :: UniqSM Unique

getUniquesM :: UniqSM [Unique]

MonadUnique SimplM

Defined in SimplMonad

Methods

getUniqueSupplyM :: SimplM UniqSupply

getUniqueM :: SimplM Unique

getUniquesM :: SimplM [Unique]

MonadUnique LiftM

Defined in StgLiftLams.LiftM

Methods

getUniqueSupplyM :: LiftM UniqSupply

getUniqueM :: LiftM Unique

getUniquesM :: LiftM [Unique]

MonadUnique FCode

Defined in StgCmmMonad

Methods

getUniqueSupplyM :: FCode UniqSupply

getUniqueM :: FCode Unique

getUniquesM :: FCode [Unique]

MonadUnique CmmParse

Defined in StgCmmExtCode

Methods

getUniqueSupplyM :: CmmParse UniqSupply

getUniqueM :: CmmParse Unique

getUniquesM :: CmmParse [Unique]

MonadUnique LlvmM

Defined in LlvmCodeGen.Base

Methods

getUniqueSupplyM :: LlvmM UniqSupply

getUniqueM :: LlvmM Unique

getUniquesM :: LlvmM [Unique]

MonadUnique TcS

Defined in TcSMonad

Methods

getUniqueSupplyM :: TcS UniqSupply

getUniqueM :: TcS Unique

getUniquesM :: TcS [Unique]

MonadUnique NatM

Defined in NCGMonad

Methods

getUniqueSupplyM :: NatM UniqSupply

getUniqueM :: NatM Unique

getUniquesM :: NatM [Unique]

MonadUnique (IOEnv (Env gbl lcl))

Defined in TcRnMonad

Methods

getUniqueSupplyM :: IOEnv (Env gbl lcl) UniqSupply

getUniqueM :: IOEnv (Env gbl lcl) Unique

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

newId :: FastString -> Type -> SimplM Id

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

data SimplCount

tick :: Tick -> SimplM ()

freeTick :: Tick -> SimplM ()

checkedTick :: Tick -> SimplM ()

getSimplCount :: SimplM SimplCount

zeroSimplCount :: DynFlags -> SimplCount

pprSimplCount :: SimplCount -> SDoc

plusSimplCount :: SimplCount -> SimplCount -> SimplCount

isZeroSimplCount :: SimplCount -> Bool