SimplMonad

Synopsis

• data SimplM result
• initSmpl :: DynFlags -> RuleBase -> (FamInstEnv, FamInstEnv) -> UniqSupply -> Int -> SimplM a -> IO (a, SimplCount)
• traceSmpl :: String -> SDoc -> SimplM ()
• getSimplRules :: SimplM RuleBase
• getFamEnvs :: SimplM (FamInstEnv, FamInstEnv)
• class Monad m => MonadUnique m where
  • getUniqueSupplyM :: m UniqSupply
  • getUniqueM :: m Unique
  • getUniquesM :: m [Unique]
• newId :: FastString -> 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