EVM.Stepper

Documentation

data Action a where

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

type Stepper a = Program Action a

Type alias for an operational monad of Action

exec :: Stepper VMResult

execFully :: Stepper (Either Error Buffer)

Run the VM until final result, resolving all queries

run :: Stepper VM

runFully :: Stepper VM

Run the VM until its final state

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