EVM.Emacs

Documentation

data UiVmState

Constructors

UiVmState

Fields

• _uiVm :: VM
• _uiVmNextStep :: Stepper ()
• _uiVmSolc :: Maybe SolcContract
• _uiVmDapp :: Maybe DappInfo
• _uiVmStepCount :: Int
• _uiVmFirstState :: UiVmState
• _uiVmFetcher :: Fetcher
• _uiVmMessage :: Maybe Text

uiVmStepCount :: Lens' UiVmState Int

uiVmSolc :: Lens' UiVmState (Maybe SolcContract)

uiVmNextStep :: Lens' UiVmState (Stepper ())

uiVmMessage :: Lens' UiVmState (Maybe Text)

uiVmFirstState :: Lens' UiVmState UiVmState

uiVmFetcher :: Lens' UiVmState Fetcher

uiVmDapp :: Lens' UiVmState (Maybe DappInfo)

uiVm :: Lens' UiVmState VM

type Pred a = a -> Bool

data StepMode

Constructors

StepOne

Finish after one opcode step

StepMany !Int

Run a specific number of steps

StepNone

Finish before the next opcode

StepUntil (Pred VM)

Finish when a VM predicate holds

data StepOutcome a

Constructors

Returned a

Program finished

Stepped (Stepper a)

Took one step; more steps to go

Blocked (IO (Stepper a))

Came across blocking request

interpret :: StepMode -> Stepper a -> State UiVmState (StepOutcome a)

stepOneOpcode :: UiVmState -> UiVmState

updateUiVmState :: UiVmState -> VM -> UiVmState

type Sexp = WellFormedSExpr HaskLikeAtom

prompt :: Console (Maybe Sexp)

class SDisplay a where

Minimal complete definition

sexp

Methods

sexp :: a -> SExpr Text

Instances

SDisplay ByteString

Defined in EVM.Emacs

Methods

sexp :: ByteString -> SExpr Text

SDisplay Addr

Defined in EVM.Emacs

Methods

sexp :: Addr -> SExpr Text

SDisplay W256

Defined in EVM.Emacs

Methods

sexp :: W256 -> SExpr Text

SDisplay Word

Defined in EVM.Emacs

Methods

sexp :: Word -> SExpr Text

SDisplay Contract

Defined in EVM.Emacs

Methods

sexp :: Contract -> SExpr Text

SDisplay FrameState

Defined in EVM.Emacs

Methods

sexp :: FrameState -> SExpr Text

SDisplay FrameContext

Defined in EVM.Emacs

Methods

sexp :: FrameContext -> SExpr Text

SDisplay Frame

Defined in EVM.Emacs

Methods

sexp :: Frame -> SExpr Text

SDisplay VM

Defined in EVM.Emacs

Methods

sexp :: VM -> SExpr Text

SDisplay VMResult

Defined in EVM.Emacs

Methods

sexp :: VMResult -> SExpr Text

SDisplay DappInfo

Defined in EVM.Emacs

Methods

sexp :: DappInfo -> SExpr Text

SDisplay a => SDisplay [a]

Defined in EVM.Emacs

Methods

sexp :: [a] -> SExpr Text

SDisplay a => SDisplay (Maybe a)

Defined in EVM.Emacs

Methods

sexp :: Maybe a -> SExpr Text

SDisplay (SExpr Text)

Defined in EVM.Emacs

Methods

sexp :: SExpr Text -> SExpr Text

(SDisplay k, SDisplay v) => SDisplay (Map k v)

Defined in EVM.Emacs

Methods

sexp :: Map k v -> SExpr Text

display :: SDisplay a => a -> Text

txt :: Show a => a -> Text

data UiState

Constructors

UiStarted

UiDappLoaded DappInfo

UiVm UiVmState

type Console a = StateT UiState IO a

output :: SDisplay a => a -> Console ()

main :: IO ()

loop :: Console ()

handle :: Sexp -> Console ()

handleCmd :: UiState -> (Text, [Sexp]) -> Console ()

outputVm :: Console ()

isNextSourcePosition :: UiVmState -> Pred VM

parseStepMode :: UiVmState -> Text -> Maybe StepMode

Specifies whether to do I/O blocking or VM halting while stepping. When we step backwards, we don't want to allow those things.

data StepPolicy

Constructors

StepNormally

Allow blocking and returning

StepTimidly

Forbid blocking and returning

takeStep :: UiVmState -> StepPolicy -> StepMode -> Console ()

quoted :: Text -> Text

sexpMemory :: ByteString -> SExpr Text

defaultUnitTestOptions :: MonadIO m => m UnitTestOptions

initialStateForTest :: UnitTestOptions -> DappInfo -> (Text, Text) -> UiVmState