DDC.Driver.Command.Flow.Thread

Documentation

cmdFlowThread

Arguments

:: Config

-> Source

Source of the code.

-> String

Program module text.

-> ErrorT 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.