EVM.TTY

Documentation

data Name

Constructors

AbiPane

StackPane

BytecodePane

TracePane

SolidityPane

SolidityViewport

TestPickerPane

BrowserPane

Instances

Eq Name

Defined in EVM.TTY

Methods

(==) :: Name -> Name -> Bool

(/=) :: Name -> Name -> Bool

Ord Name

Defined in EVM.TTY

Methods

compare :: Name -> Name -> Ordering

(<) :: Name -> Name -> Bool

(<=) :: Name -> Name -> Bool

(>) :: Name -> Name -> Bool

(>=) :: Name -> Name -> Bool

max :: Name -> Name -> Name

min :: Name -> Name -> Name

Show Name

Defined in EVM.TTY

Methods

showsPrec :: Int -> Name -> ShowS

show :: Name -> String

showList :: [Name] -> ShowS

type UiWidget = Widget Name

data UiVmState

Constructors

UiVmState

Fields

• _uiVm :: VM
• _uiVmNextStep :: Stepper ()
• _uiVmStackList :: List Name (Int, Word)
• _uiVmBytecodeList :: List Name (Int, Op)
• _uiVmTraceList :: List Name Text
• _uiVmSolidityList :: List Name (Int, ByteString)
• _uiVmSolc :: Maybe SolcContract
• _uiVmDapp :: Maybe DappInfo
• _uiVmStepCount :: Int
• _uiVmFirstState :: UiVmState
• _uiVmMessage :: Maybe String
• _uiVmNotes :: [String]

data UiTestPickerState

Constructors

UiTestPickerState

Fields

• _testPickerList :: List Name (Text, Text)
• _testPickerDapp :: DappInfo

data UiBrowserState

Constructors

UiBrowserState

Fields

• _browserContractList :: List Name (Addr, Contract)
• _browserVm :: UiVmState

data UiState

Constructors

UiVmScreen UiVmState

UiVmBrowserScreen UiBrowserState

UiTestPickerScreen UiTestPickerState

uiVmTraceList :: Lens' UiVmState (List Name Text)

uiVmStepCount :: Lens' UiVmState Int

uiVmStackList :: Lens' UiVmState (List Name (Int, Word))

uiVmSolidityList :: Lens' UiVmState (List Name (Int, ByteString))

uiVmSolc :: Lens' UiVmState (Maybe SolcContract)

uiVmNotes :: Lens' UiVmState [String]

uiVmNextStep :: Lens' UiVmState (Stepper ())

uiVmMessage :: Lens' UiVmState (Maybe String)

uiVmFirstState :: Lens' UiVmState UiVmState

uiVmDapp :: Lens' UiVmState (Maybe DappInfo)

uiVmBytecodeList :: Lens' UiVmState (List Name (Int, Op))

uiVm :: Lens' UiVmState VM

testPickerList :: Lens' UiTestPickerState (List Name (Text, Text))

testPickerDapp :: Lens' UiTestPickerState DappInfo

browserVm :: Lens' UiBrowserState UiVmState

browserContractList :: Lens' UiBrowserState (List Name (Addr, Contract))

_UiTestPickerScreen :: Prism' UiState UiTestPickerState

_UiVmBrowserScreen :: Prism' UiState UiBrowserState

_UiVmScreen :: Prism' UiState UiVmState

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

Each step command in the terminal should finish immediately with one of these outcomes.

Constructors

Returned a

Program finished

Stepped (Stepper a)

Took one step; more steps to go

Blocked (IO (Stepper a))

Came across blocking request

interpret :: (?fetcher :: Fetcher) => StepMode -> Stepper a -> State UiVmState (StepOutcome a)

This turns a Stepper into a state action usable from within the TTY loop, yielding a StepOutcome depending on the StepMode.

isUnitTestContract :: Text -> DappInfo -> Bool

mkVty :: IO Vty

runFromVM :: VM -> IO VM

main :: UnitTestOptions -> FilePath -> FilePath -> IO ()

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 :: (?fetcher :: Fetcher) => UiVmState -> StepPolicy -> StepMode -> EventM n (Next UiState)

app :: UnitTestOptions -> App UiState () Name

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

myTheme :: [(AttrName, Attr)]

drawUi :: UiState -> [UiWidget]

drawTestPicker :: UiTestPickerState -> [UiWidget]

drawVmBrowser :: UiBrowserState -> [UiWidget]

drawVm :: UiVmState -> [UiWidget]

drawHelpBar :: UiWidget

stepOneOpcode :: UiVmState -> UiVmState

isNextSourcePosition :: UiVmState -> Pred VM

isNextSourcePositionWithoutEntering :: UiVmState -> Pred VM

currentSrcMap :: DappInfo -> VM -> Maybe SrcMap

currentSolc :: DappInfo -> VM -> Maybe SolcContract

renderVm :: UiVmState -> UiVmState

updateUiVmState :: UiVmState -> VM -> UiVmState

drawStackPane :: UiVmState -> UiWidget

showWordExplanation :: W256 -> Maybe DappInfo -> Text

drawBytecodePane :: UiVmState -> UiWidget

dim :: Widget n -> Widget n

withHighlight :: Bool -> Widget n -> Widget n

drawTracePane :: UiVmState -> UiWidget

drawSolidityPane :: UiVmState -> UiWidget

ifTallEnough :: Int -> Widget n -> Widget n -> Widget n

showPc :: (Integral a, Show a) => a -> String

opWidget :: (Integral a, Show a) => (a, Op) -> Widget n

selectedAttr :: AttrName

dimAttr :: AttrName

wordAttr :: AttrName

boldAttr :: AttrName

activeAttr :: AttrName