Safe Haskell	None
Language	Haskell98

DDC.Driver.Command.Parse

Synopsis

Documentation

cmdParseFromFile Source #

Arguments

:: Config	Driver config.
-> FilePath	Module file name.
-> ExceptT String IO ()

Parse a module. The result AST is printed to stdout. Any errors are thrown in the ExceptT monad.

This function handle fragments of Disciple Core, as well as Source Tetra modules. The language to use is determined by inspecting the file name extension.

cmdParseSourceTetraFromFile Source #

Arguments

:: Config	Driver config.
-> FilePath	Module file path.
-> ExceptT String IO ()

Parse a Disciple Source Tetra module from a file. The result AST is printed to stdout. Any errors are thrown in the ExceptT monad.

cmdParseCoreFromFile Source #

Arguments

:: Config	Driver config
-> Language	Core language definition.
-> FilePath	Module file path.
-> ExceptT String IO ()

Parse a Disciple Core module from a file. The AST is printed to stdout. Any errors are thrown in the ExceptT monad.