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
  }
• uiVmStepCount :: Lens' UiVmState Int
• uiVmSolc :: Lens' UiVmState (Maybe SolcContract)
• 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
• type Sexp = WellFormedSExpr HaskLikeAtom
• prompt :: Console (Maybe Sexp)
• class SDisplay a where
• 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 ()
• outputVm :: Console ()
• isNextSourcePosition :: UiVmState -> Pred VM
• parseStepMode :: UiVmState -> Text -> Maybe StepMode
• data StepPolicy
  • = StepNormally
  • | StepTimidly
• takeStep :: UiVmState -> StepPolicy -> StepMode -> Console ()
• quoted :: Text -> Text
• defaultUnitTestOptions :: MonadIO m => m UnitTestOptions
• initialStateForTest :: UnitTestOptions -> DappInfo -> (Text, Text) -> UiVmState

Documentation