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