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
• _uiVmSentHashes :: Set W256

uiVmStepCount :: Lens' UiVmState Int

uiVmSolc :: Lens' UiVmState (Maybe SolcContract)

uiVmSentHashes :: Lens' UiVmState (Set W256)

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

updateSentHashes :: UiVmState -> UiVmState

type Sexp = WellFormedSExpr HaskLikeAtom

prompt :: Console (Maybe Sexp)

class SDisplay a where

Methods

sexp :: a -> SExpr Text

Instances

SDisplay String

Defined in EVM.Emacs

Methods

sexp :: String -> SExpr Text

SDisplay ByteString

Defined in EVM.Emacs

Methods

sexp :: ByteString -> SExpr Text

SDisplay Addr

Defined in EVM.Emacs

Methods

sexp :: Addr -> SExpr Text

SDisplay SymWord

Defined in EVM.Emacs

Methods

sexp :: SymWord -> SExpr Text

SDisplay Word

Defined in EVM.Emacs

Methods

sexp :: Word -> SExpr Text

SDisplay W256

Defined in EVM.Emacs

Methods

sexp :: W256 -> SExpr Text

SDisplay Buffer

Defined in EVM.Emacs

Methods

sexp :: Buffer -> SExpr Text

SDisplay Contract

Defined in EVM.Emacs

Methods

sexp :: Contract -> SExpr Text

SDisplay Storage

Defined in EVM.Emacs

Methods

sexp :: Storage -> 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 (SWord 8)

Defined in EVM.Emacs

Methods

sexp :: SWord 8 -> SExpr Text

SDisplay (SWord 256)

Defined in EVM.Emacs

Methods

sexp :: SWord 256 -> 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 ()

atFileLine :: DappInfo -> Text -> Int -> VM -> Bool

codeByHash :: W256 -> VM -> Maybe Buffer

allHashes :: VM -> Set W256

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 :: Buffer -> SExpr Text

defaultUnitTestOptions :: MonadIO m => m UnitTestOptions

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