DDC.Driver.Command.Parse

Documentation

cmdParseFromFile

Arguments

:: Config

Driver config.

-> FilePath

Module file name.

-> ErrorT String IO ()

Parse a module. The result AST is printed to stdout. Any errors are thrown in the ErrorT 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.

-> ErrorT String IO ()

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

cmdParseCoreFromFile

Arguments

:: Config

Driver config

-> Language

Core language definition.

-> FilePath

Module file path.

-> ErrorT String IO ()

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