Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data Action a where
- type Stepper a = Program Action a
- exec :: Stepper VMResult
- execFully :: Stepper (Either Error Buffer)
- runFully :: Stepper VM
- wait :: Query -> Stepper ()
- ask :: Choose -> Stepper ()
- evm :: EVM a -> Stepper a
- entering :: Text -> Stepper a -> Stepper a
- enter :: Text -> Stepper ()
- interpret :: Fetcher -> Stepper a -> StateT VM IO a
Documentation
The instruction type of the operational monad
Exec :: Action VMResult | Keep executing until an intermediate result is reached |
Run :: Action VM | Keep executing until an intermediate state is reached |
Wait :: Query -> Action () | Wait for a query to be resolved |
Ask :: Choose -> Action () | Multiple things can happen |
EVM :: EVM a -> Action a | Embed a VM state transformation |