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

Fail :: Failure -> Action a

Short-circuit with a failure

Wait :: Query -> Action ()

Wait for a query to be resolved

EVM :: EVM a -> Action a

Embed a VM state transformation

Note :: Text -> Action ()

Write something to the log or terminal

data Failure

Some failure raised by a stepper

Constructors

ContractNotFound

DecodingError

VMFailed Error

Instances

Show Failure

Defined in EVM.Stepper

Methods

showsPrec :: Int -> Failure -> ShowS

show :: Failure -> String

showList :: [Failure] -> ShowS

type Stepper a = Program Action a

Type alias for an operational monad of Action

exec :: Stepper VMResult

execFully :: Stepper (Either Error Blob)

Run the VM until final result, resolving all queries

execFullyOrFail :: Stepper Blob

decode :: AbiType -> Blob -> Stepper AbiValue

Decode a blob as an ABI value, failing if ABI encoding wrong

fail :: Failure -> Stepper a

wait :: Query -> Stepper ()

evm :: EVM a -> Stepper a

note :: Text -> Stepper ()

entering :: Text -> Stepper a -> Stepper a

enter :: Text -> Stepper ()