ddc-driver-0.4.2.1: Disciplined Disciple Compiler top-level driver.

Safe HaskellNone
LanguageHaskell98

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.