| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
EVM.Stepper
Synopsis
- data Action s a where
- type Stepper s a = Program (Action s) a
- exec :: Stepper s (VMResult s)
- execFully :: Stepper s (Either EvmError (Expr Buf))
- run :: Stepper s (VM s)
- runFully :: Stepper s (VM s)
- wait :: Query s -> Stepper s ()
- ask :: Choose s -> Stepper s ()
- evm :: EVM s a -> Stepper s a
- evmIO :: IO a -> Stepper s a
- enter :: Text -> Stepper s ()
- interpret :: Fetcher RealWorld -> VM RealWorld -> Stepper RealWorld a -> IO a
Documentation
data Action s a where Source #
The instruction type of the operational monad
Constructors
| Exec :: Action s (VMResult s) | Keep executing until an intermediate result is reached |
| Wait :: Query s -> Action s () | Wait for a query to be resolved |
| Ask :: Choose s -> Action s () | Multiple things can happen |
| EVM :: EVM s a -> Action s a | Embed a VM state transformation |
| IOAct :: IO a -> Action s a | Perform an IO action |