SimplMonad

Synopsis

• data SimplM result
• initSmpl :: DynFlags -> RuleBase -> (FamInstEnv, FamInstEnv) -> UniqSupply -> SimplM a -> (a, SimplCount)
• getDOptsSmpl :: SimplM DynFlags
• 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 ()
• getSimplCount :: SimplM SimplCount
• zeroSimplCount :: DynFlags -> SimplCount
• pprSimplCount :: SimplCount -> SDoc
• plusSimplCount :: SimplCount -> SimplCount -> SimplCount
• isZeroSimplCount :: SimplCount -> Bool
• type SwitchChecker = SimplifierSwitch -> SwitchResult
• data SwitchResult
  • = SwBool Bool
  • | SwString FastString
  • | SwInt Int
• getSimplIntSwitch :: SwitchChecker -> (Int -> SimplifierSwitch) -> Int
• isAmongSimpl :: [SimplifierSwitch] -> SimplifierSwitch -> SwitchResult
• intSwitchSet :: (switch -> SwitchResult) -> (Int -> switch) -> Maybe Int
• switchIsOn :: (switch -> SwitchResult) -> switch -> Bool
• allOffSwitchChecker :: SwitchChecker

Documentation