Documentation

tidyExpr :: TidyEnv -> CoreExpr -> CoreExprSource

tidyVarOcc :: TidyEnv -> Var -> VarSource

tidyRule :: TidyEnv -> CoreRule -> CoreRuleSource

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

tidyUnfolding :: TidyEnv -> Unfolding -> Unfolding -> UnfoldingSource