| 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
cmdFlowToTetraFromFile Source #
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.