Safe Haskell	None
Language	Haskell98

DDC.Driver.Command.ToSalt

Synopsis

Documentation

cmdToSaltFromFile Source

Arguments

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

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

cmdToSaltSourceTetraFromFile Source

Arguments

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

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

cmdToSaltSourceTetraFromString 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 Disciple Core Salt. The result is printed to stdout. Any errors are thrown in the ExceptT monad.

cmdToSaltCoreFromFile Source

Arguments

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

Convert some fragment of Disciple Core to Core Salt. Works for the Tetra fragment. The result is printed to stdout. Any errors are thrown in the ExceptT monad.

cmdToSaltCoreFromString Source

Arguments

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

Convert some fragment of Disciple Core to Core Salt. Works for the Tetra fragment. The result is printed to stdout. Any errors are thrown in the ExceptT monad.