| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
DDC.Driver.Command.Flow.ToTetra
- cmdFlowToTetraFromFile :: Config -> Config -> FilePath -> ExceptT String IO ()
- cmdFlowToTetraCoreFromFile :: Config -> Config -> Language -> FilePath -> ExceptT String IO ()
- cmdFlowToTetraCoreFromString :: Config -> Config -> Language -> Source -> String -> ExceptT String IO ()
- pipelineFlowToTetra :: Config -> Config -> Source -> [PipeCore () Name] -> PipeText Name Error
Documentation
Arguments
| :: Config | Driver config. |
| -> Config | Config for the lowering transform. |
| -> FilePath | Module file path. |
| -> ExceptT String IO () |
Convert a module to Core Tetra.
The output is printed to stdout.
Any errors are thrown in the ExceptT monad.
cmdFlowToTetraCoreFromFile Source
Arguments
| :: Config | Driver config. |
| -> Config | Config for the lowering transform. |
| -> Language | Core language definition. |
| -> FilePath | Module file path. |
| -> ExceptT String IO () |
Convert some fragment of Disciple Core to Core Tetra.
Works for the Flow fragment.
The result is printed to stdout.
Any errors are thrown in the ExceptT monad.
cmdFlowToTetraCoreFromString Source
Arguments
| :: Config | Driver config. |
| -> Config | Config for the lowering transform. |
| -> Language | Language definition. |
| -> Source | Source of the code. |
| -> String | Program module text. |
| -> ExceptT String IO () |
Convert some fragment of Disciple Core to Core Tetra.
Works for the Tetra fragment.
The result is printed to stdout.
Any errors are thrown in the ExceptT monad.