EVM.TTY

Documentation

data Name

Constructors

AbiPane

StackPane

BytecodePane

TracePane

SolidityPane

TestPickerPane

BrowserPane

Pager

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
• _uiStep :: Int
• _uiSnapshots :: Map Int (VM, Stepper ())
• _uiStepper :: Stepper ()
• _uiShowMemory :: Bool
• _uiTestOpts :: UnitTestOptions

data UiTestPickerState

Constructors

UiTestPickerState

Fields

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

data UiBrowserState

Constructors

UiBrowserState

Fields

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

data UiState

Constructors

ViewVm UiVmState

ViewContracts UiBrowserState

ViewPicker UiTestPickerState

ViewHelp UiVmState

uiVm :: Lens' UiVmState VM

uiTestOpts :: Lens' UiVmState UnitTestOptions

uiStepper :: Lens' UiVmState (Stepper ())

uiStep :: Lens' UiVmState Int

uiSnapshots :: Lens' UiVmState (Map Int (VM, Stepper ()))

uiShowMemory :: Lens' UiVmState Bool

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

testPickerDapp :: Lens' UiTestPickerState DappInfo

testOpts :: Lens' UiTestPickerState UnitTestOptions

browserVm :: Lens' UiBrowserState UiVmState

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

_ViewHelp :: Prism' UiState UiVmState

_ViewPicker :: Prism' UiState UiTestPickerState

_ViewContracts :: Prism' UiState UiBrowserState

_ViewVm :: Prism' UiState UiVmState

snapshotInterval :: Int

type Pred a = a -> Bool

data StepMode

Constructors

Step !Int

Run a specific number of steps

StepUntil (Pred VM)

Finish when a VM predicate holds

data Continuation a

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

Constructors

Stopped a

Program finished

Continue (Stepper a)

Took one step; more steps to go

interpret :: (?fetcher :: Fetcher, ?maxIter :: Maybe Integer) => StepMode -> Stepper a -> StateT UiVmState IO (Continuation a)

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

keepExecuting :: (?fetcher :: Fetcher, ?maxIter :: Maybe Integer) => StepMode -> Stepper a -> StateT UiVmState IO (Continuation a)

isUnitTestContract :: Text -> DappInfo -> Bool

mkVty :: IO Vty

runFromVM :: Maybe Integer -> DappInfo -> (Query -> IO (EVM ())) -> VM -> IO VM

initUiVmState :: VM -> UnitTestOptions -> Stepper () -> UiVmState

debuggableTests :: UnitTestOptions -> (Text, [(Test, [AbiType])]) -> [(Text, Text)]

isFuzzTest :: (Test, [AbiType]) -> Bool

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

takeStep :: (?fetcher :: Fetcher, ?maxIter :: Maybe Integer) => UiVmState -> StepMode -> EventM n (Next UiState)

backstepUntil :: (?fetcher :: Fetcher, ?maxIter :: Maybe Integer) => (UiVmState -> Pred VM) -> UiVmState -> EventM n (Next UiState)

backstep :: (?fetcher :: Fetcher, ?maxIter :: Maybe Integer) => UiVmState -> EventM n UiVmState

appEvent :: (?fetcher :: Fetcher, ?maxIter :: Maybe Integer) => UiState -> BrickEvent Name e -> EventM Name (Next UiState)

app :: UnitTestOptions -> App UiState () Name

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

myTheme :: [(AttrName, Attr)]

drawUi :: UiState -> [UiWidget]

drawHelpView :: [UiWidget]

drawTestPicker :: UiTestPickerState -> [UiWidget]

drawVmBrowser :: UiBrowserState -> [UiWidget]

drawVm :: UiVmState -> [UiWidget]

drawHelpBar :: UiWidget

stepOneOpcode :: Stepper a -> StateT UiVmState IO ()

isNewTraceAdded :: UiVmState -> Pred VM

isNextSourcePosition :: UiVmState -> Pred VM

isNextSourcePositionWithoutEntering :: UiVmState -> Pred VM

isExecutionHalted :: UiVmState -> Pred VM

currentSrcMap :: DappInfo -> VM -> Maybe SrcMap

drawStackPane :: UiVmState -> UiWidget

message :: VM -> String

drawBytecodePane :: UiVmState -> UiWidget

dim :: Widget n -> Widget n

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

prettyIfConcrete :: Buffer -> String

drawTracePane :: UiVmState -> UiWidget

solidityList :: VM -> DappInfo -> List Name (Int, ByteString)

drawSolidityPane :: UiVmState -> UiWidget

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

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

selectedAttr :: AttrName

dimAttr :: AttrName

wordAttr :: AttrName

boldAttr :: AttrName

activeAttr :: AttrName