Safe Haskell | None |
---|
- 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
:: 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.
:: 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.
:: 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.