Retrie.Elaborate
defaultElaborations :: [RewriteSpec] Source #
elaborateRewritesInternal :: FixityEnv -> [Rewrite Universe] -> [Rewrite Universe] -> IO [Rewrite Universe] Source #