Documentation

tidyExpr :: TidyEnv -> CoreExpr -> CoreExpr Source

tidyVarOcc :: TidyEnv -> Var -> Var Source

tidyRule :: TidyEnv -> CoreRule -> CoreRule Source

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

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