| Safe Haskell | None |
|---|
DDC.Driver.Command.ToSalt
- cmdToSaltFromFile :: Config -> FilePath -> ErrorT String IO ()
- cmdToSaltSourceTetraFromFile :: Config -> FilePath -> ErrorT String IO ()
- cmdToSaltSourceTetraFromString :: Config -> Source -> String -> ErrorT String IO ()
- cmdToSaltCoreFromFile :: Config -> Language -> FilePath -> ErrorT String IO ()
- cmdToSaltCoreFromString :: Config -> Language -> Source -> String -> ErrorT String IO ()
Documentation
Convert a module to Core Salt.
The output is printed to stdout.
Any errors are thrown in the ErrorT monad.
cmdToSaltSourceTetraFromFileSource
Convert Disciple Core Tetra to Disciple Core Salt.
The result is printed to stdout.
Any errors are thrown in the ErrorT monad.
cmdToSaltSourceTetraFromStringSource
Arguments
| :: Config | Driver config. |
| -> Source | Source of the code. |
| -> String | Program module text. |
| -> ErrorT String IO () |
Convert Disciple Source Tetra to Disciple Core Salt.
The result is printed to stdout.
Any errors are thrown in the ErrorT monad.
Arguments
| :: Config | Driver config. |
| -> Language | Core language definition. |
| -> FilePath | Module file path. |
| -> ErrorT String IO () |
Convert some fragment of Disciple Core to Core Salt.
Works for the Lite and Tetra fragments.
The result is printed to stdout.
Any errors are thrown in the ErrorT monad.
Arguments
| :: Config | Driver config. |
| -> Language | Language definition. |
| -> Source | Source of the code. |
| -> String | Program module text. |
| -> ErrorT String IO () |
Convert some fragment of Disciple Core to Core Salt.
Works for the Lite and Tetra fragments.
The result is printed to stdout.
Any errors are thrown in the ErrorT monad.