| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
DDC.Driver.Command.ToC
- 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
Arguments
| :: 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 #
Arguments
| :: Config | Driver config. |
| -> Store | Interface store. |
| -> FilePath | Module file path. |
| -> ExceptT String IO () |
Convert Disciple Source Tetra to C.
The result is printed to stdout.
Any errors are thrown in the ExceptT monad.
cmdToSeaSourceTetraFromString Source #
Arguments
| :: 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.
Arguments
| :: Config | Driver config. |
| -> Language | Core language definition. |
| -> FilePath | Module file path. |
| -> ExceptT String IO () |
Parse, check and convert a Core module to Sea.
Works for the Tetra, and Salt fragments.
The result is printed to stdout.
Any errors are thrown in the ExceptT monad.
cmdToSeaCoreFromString Source #
Arguments
| :: Config | Compiler configuration. |
| -> Language | Language definition. |
| -> Source | Source of the code. |
| -> String | Program module text. |
| -> ExceptT String IO () |
Parse, check, and convert a module to C.
The output is printed to stdout.
Any errors are thrown in the ExceptT monad.