| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
EVM.Stepper
Synopsis
- data Action a where
- type Stepper a = Program Action a
- exec :: Stepper VMResult
- execFully :: Stepper (Either Error (Expr Buf))
- run :: Stepper VM
- runFully :: Stepper VM
- wait :: Query -> Stepper ()
- ask :: Choose -> Stepper ()
- evm :: EVM a -> Stepper a
- evmIO :: StateT VM IO 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 |
| IOAct :: StateT VM IO a -> Action a | Perform an IO action |