DDC.Driver.Command.Flow.ToTetra

Documentation

cmdFlowToTetraFromFile

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

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

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.

pipelineFlowToTetra :: Config -> Config -> Source -> [PipeCore () Name] -> PipeText Name Error