DDC.Driver.Command.ToSalt

Documentation

cmdToSaltFromFile

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

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

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

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

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.