| Safe Haskell | None |
|---|
DDC.Driver.Command.RewriteRules
- cmdTryReadRules :: (Ord n, Show n, Pretty n, NFData n) => Fragment n err -> FilePath -> Module () n -> IO (NamedRewriteRules () n)
Documentation
Arguments
| :: (Ord n, Show n, Pretty n, NFData 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