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

Safe HaskellNone
LanguageHaskell98

DDC.Driver.Command.RewriteRules

Synopsis

Documentation

cmdTryReadRules Source #

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