Safe Haskell | None |
---|---|
Language | Haskell98 |
- cmdToSeaFromFile :: Config -> Store -> FilePath -> ExceptT String IO ()
- cmdToSeaSourceTetraFromFile :: Config -> Store -> FilePath -> ExceptT String IO ()
- cmdToSeaSourceTetraFromString :: Config -> Store -> Source -> String -> ExceptT String IO ()
- cmdToSeaCoreFromFile :: Config -> Language -> FilePath -> ExceptT String IO ()
- cmdToSeaCoreFromString :: 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 C.
The output is printed to stdout
.
Any errors are thrown in the ExceptT
monad.
cmdToSeaSourceTetraFromFile Source
Convert Disciple Source Tetra to C.
The result is printed to stdout
.
Any errors are thrown in the ExceptT
monad.
cmdToSeaSourceTetraFromString Source
:: Config | Driver config. |
-> Store | Interface store. |
-> Source | Source of the code. |
-> String | Program module text. |
-> ExceptT String IO () |
Convert Disciple Source Tetra to C.
The result is printed to stdout
.
Any errors are thrown in the ExceptT
monad.