hevm-0.41.0: Ethereum virtual machine evaluator

Safe HaskellNone
LanguageHaskell2010

EVM.Emacs

Synopsis

Documentation

data UiVmState Source #

Constructors

UiVmState 

Fields

uiVmStepCount :: Lens' UiVmState Int Source #

uiVmSolc :: Lens' UiVmState (Maybe SolcContract) Source #

uiVmSentHashes :: Lens' UiVmState (Set W256) Source #

uiVmNextStep :: Lens' UiVmState (Stepper ()) Source #

uiVmMessage :: Lens' UiVmState (Maybe Text) Source #

uiVmFirstState :: Lens' UiVmState UiVmState Source #

uiVmFetcher :: Lens' UiVmState Fetcher Source #

uiVmDapp :: Lens' UiVmState (Maybe DappInfo) Source #

uiVm :: Lens' UiVmState VM Source #

type Pred a = a -> Bool Source #

data StepMode Source #

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 Source #

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) Source #

stepOneOpcode :: UiVmState -> UiVmState Source #

updateUiVmState :: UiVmState -> VM -> UiVmState Source #

updateSentHashes :: UiVmState -> UiVmState Source #

type Sexp = WellFormedSExpr HaskLikeAtom Source #

prompt :: Console (Maybe Sexp) Source #

class SDisplay a where Source #

Methods

sexp :: a -> SExpr Text Source #

Instances
SDisplay String Source # 
Instance details

Defined in EVM.Emacs

Methods

sexp :: String -> SExpr Text Source #

SDisplay ByteString Source # 
Instance details

Defined in EVM.Emacs

Methods

sexp :: ByteString -> SExpr Text Source #

SDisplay Addr Source # 
Instance details

Defined in EVM.Emacs

Methods

sexp :: Addr -> SExpr Text Source #

SDisplay W256 Source # 
Instance details

Defined in EVM.Emacs

Methods

sexp :: W256 -> SExpr Text Source #

SDisplay Word Source # 
Instance details

Defined in EVM.Emacs

Methods

sexp :: Word -> SExpr Text Source #

SDisplay Buffer Source # 
Instance details

Defined in EVM.Emacs

Methods

sexp :: Buffer -> SExpr Text Source #

SDisplay SymWord Source # 
Instance details

Defined in EVM.Emacs

Methods

sexp :: SymWord -> SExpr Text Source #

SDisplay Contract Source # 
Instance details

Defined in EVM.Emacs

Methods

sexp :: Contract -> SExpr Text Source #

SDisplay Storage Source # 
Instance details

Defined in EVM.Emacs

Methods

sexp :: Storage -> SExpr Text Source #

SDisplay FrameState Source # 
Instance details

Defined in EVM.Emacs

Methods

sexp :: FrameState -> SExpr Text Source #

SDisplay FrameContext Source # 
Instance details

Defined in EVM.Emacs

Methods

sexp :: FrameContext -> SExpr Text Source #

SDisplay Frame Source # 
Instance details

Defined in EVM.Emacs

Methods

sexp :: Frame -> SExpr Text Source #

SDisplay VM Source # 
Instance details

Defined in EVM.Emacs

Methods

sexp :: VM -> SExpr Text Source #

SDisplay VMResult Source # 
Instance details

Defined in EVM.Emacs

Methods

sexp :: VMResult -> SExpr Text Source #

SDisplay DappInfo Source # 
Instance details

Defined in EVM.Emacs

Methods

sexp :: DappInfo -> SExpr Text Source #

SDisplay a => SDisplay [a] Source # 
Instance details

Defined in EVM.Emacs

Methods

sexp :: [a] -> SExpr Text Source #

SDisplay a => SDisplay (Maybe a) Source # 
Instance details

Defined in EVM.Emacs

Methods

sexp :: Maybe a -> SExpr Text Source #

SDisplay (SExpr Text) Source # 
Instance details

Defined in EVM.Emacs

Methods

sexp :: SExpr Text -> SExpr Text Source #

SDisplay (SWord 8) Source # 
Instance details

Defined in EVM.Emacs

Methods

sexp :: SWord 8 -> SExpr Text Source #

SDisplay (SWord 256) Source # 
Instance details

Defined in EVM.Emacs

Methods

sexp :: SWord 256 -> SExpr Text Source #

(SDisplay k, SDisplay v) => SDisplay (Map k v) Source # 
Instance details

Defined in EVM.Emacs

Methods

sexp :: Map k v -> SExpr Text Source #

display :: SDisplay a => a -> Text Source #

txt :: Show a => a -> Text Source #

data UiState Source #

Constructors

UiStarted 
UiDappLoaded DappInfo 
UiVm UiVmState 

type Console a = StateT UiState IO a Source #

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

main :: IO () Source #

loop :: Console () Source #

handle :: Sexp -> Console () Source #

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

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

codeByHash :: W256 -> VM -> Maybe ByteString Source #

allHashes :: VM -> Set W256 Source #

prettifyCode :: ByteString -> String Source #

outputVm :: Console () Source #

isNextSourcePosition :: UiVmState -> Pred VM Source #

parseStepMode :: UiVmState -> Text -> Maybe StepMode Source #

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 Source #

Constructors

StepNormally

Allow blocking and returning

StepTimidly

Forbid blocking and returning

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

quoted :: Text -> Text Source #

sexpMemory :: Buffer -> SExpr Text Source #

defaultUnitTestOptions :: MonadIO m => m UnitTestOptions Source #

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