Safe Haskell | None |
---|---|
Language | Haskell98 |
- cmdToSaltFromFile :: Config -> Store -> FilePath -> ExceptT String IO ()
- cmdToSaltSourceTetraFromFile :: Config -> Store -> FilePath -> ExceptT String IO ()
- cmdToSaltSourceTetraFromString :: Config -> Store -> Source -> String -> ExceptT String IO ()
- cmdToSaltCoreFromFile :: Config -> Language -> FilePath -> ExceptT String IO ()
- cmdToSaltCoreFromString :: Config -> Language -> Source -> String -> ExceptT String IO ()
Documentation
Convert a module to Core Salt.
The output is printed to stdout
.
Any errors are thrown in the ExceptT
monad.
cmdToSaltSourceTetraFromFile Source
Convert Disciple Core Tetra to Disciple Core Salt.
The result is printed to stdout
.
Any errors are thrown in the ExceptT
monad.
cmdToSaltSourceTetraFromString Source
:: 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.
:: 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
:: 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.