DDC.Driver.Command.Parse

Documentation

cmdParseFromFile

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

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

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.