hevm-0.41.0: Ethereum virtual machine evaluator

Safe Haskell	None
Language	Haskell2010

EVM.Stepper

Synopsis

data Action a where
- Exec :: Action VMResult
- Run :: Action VM
- Wait :: Query -> Action ()
- Ask :: Choose -> Action ()
- EVM :: EVM a -> Action a
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

data Action a where Source #

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

type Stepper a = Program Action a Source #

Type alias for an operational monad of Action

exec :: Stepper VMResult Source #

execFully :: Stepper (Either Error Buffer) Source #

Run the VM until final result, resolving all queries

runFully :: Stepper VM Source #

Run the VM until its final state

wait :: Query -> Stepper () Source #

ask :: Choose -> Stepper () Source #

evm :: EVM a -> Stepper a Source #

entering :: Text -> Stepper a -> Stepper a Source #

enter :: Text -> Stepper () Source #

interpret :: Fetcher -> Stepper a -> StateT VM IO a Source #