Safe Haskell	None
Language	Haskell2010

EVM.Emacs

Synopsis

data UiVmState = UiVmState {
- _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
- = StepOne
- | StepMany !Int
- | StepNone
- | StepUntil (Pred VM)
data StepOutcome a
- = Returned a
- | Stepped (Stepper a)
- | Blocked (IO (Stepper a))
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
- sexp :: a -> SExpr Text
display :: SDisplay a => a -> Text
txt :: Show a => a -> Text
data UiState
- = 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
data StepPolicy
- = StepNormally
- | StepTimidly
takeStep :: UiVmState -> StepPolicy -> StepMode -> Console ()
quoted :: Text -> Text
sexpMemory :: Buffer -> SExpr Text
defaultUnitTestOptions :: MonadIO m => m UnitTestOptions
initialStateForTest :: UnitTestOptions -> (Text, Text) -> UiVmState

Documentation

data UiVmState Source #

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

Instances details

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 SymWord Source #
Instance details Defined in EVM.Emacs Methods sexp :: SymWord -> SExpr Text Source #
SDisplay Word Source #
Instance details Defined in EVM.Emacs Methods sexp :: Word -> SExpr Text Source #
SDisplay W256 Source #
Instance details Defined in EVM.Emacs Methods sexp :: W256 -> SExpr Text Source #
SDisplay Buffer Source #
Instance details Defined in EVM.Emacs Methods sexp :: Buffer -> 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 #