| Safe Haskell | None |
|---|
DDC.Driver.Command.Flow.Melt
- cmdFlowMelt :: Config -> Source -> String -> ErrorT String IO ()
Documentation
Arguments
| :: Config | Driver 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.