Documentation

tidyExpr :: TidyEnv -> CoreExpr -> CoreExpr Source #

tidyRule :: TidyEnv -> CoreRule -> CoreRule Source #

tidyRules :: TidyEnv -> [CoreRule] -> [CoreRule] Source #

tidyUnfolding :: TidyEnv -> Unfolding -> Unfolding -> Unfolding Source #