Documentation

plugin :: Plugin Source #

on_mg_rules :: ([CoreRule] -> [CoreRule]) -> ModGuts -> ModGuts Source #

install :: [CommandLineOption] -> [CoreToDo] -> CoreM [CoreToDo] Source #

annotateEvidencePass :: String -> String -> String -> Int -> ModGuts -> CoreM ModGuts Source #

satisfyRuleName :: FastString Source #

satisfyRule :: HscEnv -> ModGuts -> UniqSupply -> Id -> DynFlags -> CoreRule Source #

satisfy :: HscEnv -> ModGuts -> UniqSupply -> DynFlags -> InScopeEnv -> Id -> [CoreExpr] -> Maybe CoreExpr Source #