Safe Haskell | None |
---|---|
Language | Haskell98 |
- 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
:: 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
:: 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
:: 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.