Safe Haskell | None |
---|---|
Language | Haskell98 |
- cmdToLlvmFromFile :: Config -> Store -> FilePath -> ExceptT String IO ()
- cmdToLlvmSourceTetraFromFile :: Config -> Store -> FilePath -> ExceptT String IO ()
- cmdToLlvmSourceTetraFromString :: Config -> Store -> Source -> String -> ExceptT String IO ()
- cmdToLlvmCoreFromFile :: Config -> Language -> FilePath -> ExceptT String IO ()
- cmdToLlvmCoreFromString :: Config -> Language -> Source -> String -> ExceptT String IO ()
Documentation
:: Config | Driver config. |
-> Store | Interface store. |
-> FilePath | Core language definition. |
-> ExceptT String IO () |
Convert a module to LLVM.
The output is printed to stdout
.
Any errors are thrown in the ExceptT
monad.
cmdToLlvmSourceTetraFromFile Source #
Convert Disciple Source Tetra to LLVM.
The result is printed to stdout
.
Any errors are thrown in the ExceptT
monad.
cmdToLlvmSourceTetraFromString Source #
:: Config | Driver config. |
-> Store | Interface store. |
-> Source | Source of the code. |
-> String | Program module text. |
-> ExceptT String IO () |
Convert Disciple Source Tetra to LLVM.
The result is printed to stdout
.
Any errors are thrown in the ExceptT
monad.
cmdToLlvmCoreFromFile Source #
:: Config | Driver config. |
-> Language | Core language definition. |
-> FilePath | Module file path. |
-> ExceptT String IO () |
Parse, check and convert a Core module to LLVM.
Works for the Tetra
, and Salt
fragments.
The result is printed to stdout
.
Any errors are thrown in the ExceptT
monad.
cmdToLlvmCoreFromString Source #
:: Config | Driver config. |
-> Language | Language definition. |
-> Source | Source of the code. |
-> String | Program module text. |
-> ExceptT String IO () |
Parse, check and convert a Core module to LLVM.
Works for the Tetra
, and Salt
fragments.
The result is printed to stdout
.
Any errors are thrown in the ExceptT
monad.