| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
DDC.Driver.Command.Flow.Thread
Documentation
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.