| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
EVM.Stepper
Synopsis
- data Action a where
- type Stepper a = Program Action a
- exec :: Stepper VMResult
- execFully :: Stepper (Either Error Buffer)
- run :: Stepper VM
- 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
Constructors
| 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 |