Safe Haskell	None
Language	Haskell2010

EVM.TTY

Synopsis

data Name
- = AbiPane
- | StackPane
- | BytecodePane
- | TracePane
- | SolidityPane
- | TestPickerPane
- | BrowserPane
- | Pager
type UiWidget = Widget Name
data UiVmState = UiVmState {
- _uiVm :: VM
- _uiStep :: Int
- _uiSnapshots :: Map Int (VM, Stepper ())
- _uiStepper :: Stepper ()
- _uiShowMemory :: Bool
- _uiTestOpts :: UnitTestOptions
}
data UiTestPickerState = UiTestPickerState {
- _testPickerList :: List Name (Text, Text)
- _testPickerDapp :: DappInfo
- _testOpts :: UnitTestOptions
}
data UiBrowserState = UiBrowserState {
- _browserContractList :: List Name (Addr, Contract)
- _browserVm :: UiVmState
}
data UiState
- = 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
- = Step !Int
- | StepUntil (Pred VM)
data Continuation a
- = Stopped a
- | Continue (Stepper a)
interpret :: (?fetcher :: Fetcher, ?maxIter :: Maybe Integer) => StepMode -> Stepper a -> StateT UiVmState IO (Continuation a)
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

Documentation

data Name Source #

Constructors

AbiPane
StackPane
BytecodePane
TracePane
SolidityPane
TestPickerPane
BrowserPane
Pager

Instances

Instances details

Eq Name Source #
Instance details Defined in EVM.TTY Methods (==) :: Name -> Name -> Bool # (/=) :: Name -> Name -> Bool #
Ord Name Source #
Instance details 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 Source #
Instance details Defined in EVM.TTY Methods showsPrec :: Int -> Name -> ShowS # show :: Name -> String # showList :: [Name] -> ShowS #

type UiWidget = Widget Name Source #

data UiVmState Source #

Constructors

UiVmState
Fields _uiVm :: VM _uiStep :: Int _uiSnapshots :: Map Int (VM, Stepper ()) _uiStepper :: Stepper () _uiShowMemory :: Bool _uiTestOpts :: UnitTestOptions

data UiTestPickerState Source #

Constructors

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

data UiBrowserState Source #

Constructors

UiBrowserState
Fields _browserContractList :: List Name (Addr, Contract) _browserVm :: UiVmState

data UiState Source #

Constructors

ViewVm UiVmState
ViewContracts UiBrowserState
ViewPicker UiTestPickerState
ViewHelp UiVmState

uiVm :: Lens' UiVmState VM Source #

uiTestOpts :: Lens' UiVmState UnitTestOptions Source #

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

uiStep :: Lens' UiVmState Int Source #

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

uiShowMemory :: Lens' UiVmState Bool Source #

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

testPickerDapp :: Lens' UiTestPickerState DappInfo Source #

testOpts :: Lens' UiTestPickerState UnitTestOptions Source #

browserVm :: Lens' UiBrowserState UiVmState Source #

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

_ViewHelp :: Prism' UiState UiVmState Source #

_ViewPicker :: Prism' UiState UiTestPickerState Source #

_ViewContracts :: Prism' UiState UiBrowserState Source #

_ViewVm :: Prism' UiState UiVmState Source #

snapshotInterval :: Int Source #

type Pred a = a -> Bool Source #

data StepMode Source #

Constructors

Step !Int	Run a specific number of steps
StepUntil (Pred VM)	Finish when a VM predicate holds

data Continuation a Source #

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

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

isUnitTestContract :: Text -> DappInfo -> Bool Source #

mkVty :: IO Vty Source #

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

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

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

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

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

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

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

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

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

app :: UnitTestOptions -> App UiState () Name Source #

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

myTheme :: [(AttrName, Attr)] Source #

drawUi :: UiState -> [UiWidget] Source #

drawHelpView :: [UiWidget] Source #

drawTestPicker :: UiTestPickerState -> [UiWidget] Source #

drawVmBrowser :: UiBrowserState -> [UiWidget] Source #

drawVm :: UiVmState -> [UiWidget] Source #

drawHelpBar :: UiWidget Source #

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

isNewTraceAdded :: UiVmState -> Pred VM Source #

isNextSourcePosition :: UiVmState -> Pred VM Source #

isNextSourcePositionWithoutEntering :: UiVmState -> Pred VM Source #

isExecutionHalted :: UiVmState -> Pred VM Source #

currentSrcMap :: DappInfo -> VM -> Maybe SrcMap Source #

drawStackPane :: UiVmState -> UiWidget Source #

message :: VM -> String Source #

drawBytecodePane :: UiVmState -> UiWidget Source #

dim :: Widget n -> Widget n Source #

withHighlight :: Bool -> Widget n -> Widget n Source #

prettyIfConcrete :: Buffer -> String Source #

drawTracePane :: UiVmState -> UiWidget Source #

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

drawSolidityPane :: UiVmState -> UiWidget Source #

ifTallEnough :: Int -> Widget n -> Widget n -> Widget n Source #

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

selectedAttr :: AttrName Source #

dimAttr :: AttrName Source #

wordAttr :: AttrName Source #

boldAttr :: AttrName Source #

activeAttr :: AttrName Source #