Safe Haskell	None
Language	Haskell98

DDC.Driver.Command.ToC

Synopsis

Documentation

cmdToSeaFromFile Source

Arguments

:: Config	Driver config.
-> Store	Interface store.
-> FilePath	Core language definition.
-> ExceptT String IO ()

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

cmdToSeaSourceTetraFromFile Source

Arguments

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

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

cmdToSeaSourceTetraFromString Source

Arguments

:: Config	Driver config.
-> Store	Interface store.
-> Source	Source of the code.
-> String	Program module text.
-> ExceptT String IO ()

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

cmdToSeaCoreFromFile Source

Arguments

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

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

cmdToSeaCoreFromString Source

Arguments

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

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