ddc-driver-0.3.1.3: Disciplined Disciple Compiler top-level driver.

Safe HaskellNone

DDC.Driver.Command.RewriteRules

Synopsis

Documentation

cmdTryReadRulesSource

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