Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
GHC.Core.Opt.Simplify.Monad
Synopsis
- data SimplM result
- initSmpl :: Logger -> DynFlags -> RuleEnv -> (FamInstEnv, FamInstEnv) -> Int -> SimplM a -> IO (a, SimplCount)
- traceSmpl :: String -> SDoc -> SimplM ()
- getSimplRules :: SimplM RuleEnv
- getFamEnvs :: SimplM (FamInstEnv, FamInstEnv)
- getOptCoercionOpts :: SimplM OptCoercionOpts
- class Monad m => MonadUnique (m :: Type -> Type) where
- getUniqueSupplyM :: m UniqSupply
- getUniqueM :: m Unique
- getUniquesM :: m [Unique]
- newId :: FastString -> Mult -> 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
Documentation
Instances
MonadIO SimplM Source # | |
Defined in GHC.Core.Opt.Simplify.Monad | |
Applicative SimplM Source # | |
Functor SimplM Source # | |
Monad SimplM Source # | |
HasDynFlags SimplM Source # | |
Defined in GHC.Core.Opt.Simplify.Monad Methods | |
MonadUnique SimplM Source # | |
Defined in GHC.Core.Opt.Simplify.Monad Methods getUniqueSupplyM :: SimplM UniqSupply # getUniqueM :: SimplM Unique # getUniquesM :: SimplM [Unique] # | |
HasLogger SimplM Source # | |
Defined in GHC.Core.Opt.Simplify.Monad |
initSmpl :: Logger -> DynFlags -> RuleEnv -> (FamInstEnv, FamInstEnv) -> Int -> SimplM a -> IO (a, SimplCount) Source #
getFamEnvs :: SimplM (FamInstEnv, FamInstEnv) Source #
class Monad m => MonadUnique (m :: Type -> Type) where #
A monad for generating unique identifiers
Minimal complete definition
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
data SimplCount #
checkedTick :: Tick -> SimplM () Source #
zeroSimplCount :: DynFlags -> SimplCount #
pprSimplCount :: SimplCount -> SDoc #
plusSimplCount :: SimplCount -> SimplCount -> SimplCount #
isZeroSimplCount :: SimplCount -> Bool #