DDC.Driver.Command.RewriteRules

Documentation

cmdTryReadRules

Arguments

:: (Ord n, Show n, Pretty n)

=> Fragment n err

Language fragment.

-> FilePath

Path to the module.

-> Module () n

Module with types of imports and exports

-> IO (NamedRewriteRules () n)

Load and typecheck a module's rewrite rules, using exported and imported definitions from module