ddc-driver-0.4.2.2: Disciplined Disciple Compiler top-level driver.

Safe HaskellNone
LanguageHaskell98

DDC.Driver.Command.Flow.Thread

Synopsis

Documentation

cmdFlowThread Source

Arguments

:: Config

Driver config.

-> Source

Source of the code.

-> String

Program module text.

-> ExceptT String IO () 

Thread a state token through the given flow program. This can't be generic in the language fragment because we need to provide a specific type to use for the world token, and new types for the effectful combinators.