DDC.Driver.Command.Load

Documentation

cmdReadModule

Arguments

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

=> Fragment n err

Language fragment.

-> FilePath

Path to the module.

-> IO (Maybe (Module (AnTEC () n) n))

Load and typecheck a module.

cmdReadModule'

Arguments

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

=> Bool

If true, print errors out

-> Fragment n err

Language fragment.

-> FilePath

Path to the module.

-> IO (Maybe (Module (AnTEC () n) n))

cmdLoadFromFile

Arguments

:: Maybe String

Simplifier specification.

-> [FilePath]

More modules to use as inliner templates.

-> FilePath

Module file name.

-> ErrorT String IO ()

Load and transform a module, printing the result to stdout. The current transform is set with the given string.

cmdLoadFromString

Arguments

:: Language

Language definition

-> Source

Source of the code.

-> String

Program module text.

-> ErrorT String IO ()

Load and transform a module, then print the result to stdout.