Safe Haskell	None

DDC.Driver.Command.ToC

Synopsis

Documentation

cmdToSeaFromFile Source

Arguments

:: Config	Driver config.
-> FilePath	Core language definition.
-> ErrorT String IO ()

Convert a module to C. The output is printed to stdout. Any errors are thrown in the ErrorT monad.

cmdToSeaSourceTetraFromFile Source

Arguments

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

Convert Disciple Source Tetra to C. The result is printed to stdout. Any errors are thrown in the ErrorT monad.

cmdToSeaSourceTetraFromString Source

Arguments

:: Config	Driver config.
-> Source	Source of the code.
-> String	Program module text.
-> ErrorT String IO ()

Convert Disciple Source Tetra to C. The result is printed to stdout. Any errors are thrown in the ErrorT monad.

cmdToSeaCoreFromFile Source

Arguments

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

Parse, check and convert a Core module to Sea. Works for the Tetra, Lite and Salt fragments. The result is printed to stdout. Any errors are thrown in the ErrorT monad.

cmdToSeaCoreFromString Source

Arguments

:: Config	Compiler configuration.
-> Language	Language definition.
-> Source	Source of the code.
-> String	Program module text.
-> ErrorT String IO ()

Parse, check, and convert a module to C. The output is printed to stdout. Any errors are thrown in the ErrorT monad.