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

Safe HaskellNone
LanguageHaskell98

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.