EVM.Fetch

Documentation

data RpcQuery a where

Abstract representation of an RPC fetch request

Constructors

QueryCode :: Addr -> RpcQuery ByteString

QueryBlock :: RpcQuery Block

QueryBalance :: Addr -> RpcQuery W256

QueryNonce :: Addr -> RpcQuery W256

QuerySlot :: Addr -> W256 -> RpcQuery W256

QueryChainId :: RpcQuery W256

Instances

Show (RpcQuery a)

Defined in EVM.Fetch

Methods

showsPrec :: Int -> RpcQuery a -> ShowS

show :: RpcQuery a -> String

showList :: [RpcQuery a] -> ShowS

data BlockNumber

Constructors

Latest

BlockNumber W256

Instances

ToRPC BlockNumber

Defined in EVM.Fetch

Methods

toRPC :: BlockNumber -> Value

rpc :: String -> [Value] -> Value

class ToRPC a where

Methods

toRPC :: a -> Value

Instances

ToRPC Bool

Defined in EVM.Fetch

Methods

toRPC :: Bool -> Value

ToRPC Addr

Defined in EVM.Fetch

Methods

toRPC :: Addr -> Value

ToRPC W256

Defined in EVM.Fetch

Methods

toRPC :: W256 -> Value

ToRPC BlockNumber

Defined in EVM.Fetch

Methods

toRPC :: BlockNumber -> Value

readText :: Read a => Text -> a

fetchQuery :: Show a => BlockNumber -> (Value -> IO (Maybe Value)) -> RpcQuery a -> IO (Maybe a)

parseBlock :: (AsValue s, Show s) => s -> Maybe Block

fetchWithSession :: Text -> Session -> Value -> IO (Maybe Value)

fetchContractWithSession :: BlockNumber -> Text -> Addr -> Session -> IO (Maybe Contract)

fetchSlotWithSession :: BlockNumber -> Text -> Session -> Addr -> W256 -> IO (Maybe Word)

fetchBlockWithSession :: BlockNumber -> Text -> Session -> IO (Maybe Block)

fetchBlockFrom :: BlockNumber -> Text -> IO (Maybe Block)

fetchContractFrom :: BlockNumber -> Text -> Addr -> IO (Maybe Contract)

fetchSlotFrom :: BlockNumber -> Text -> Addr -> W256 -> IO (Maybe Word)

http :: BlockNumber -> Text -> Fetcher

zero :: Fetcher

oracle :: Maybe State -> Maybe (BlockNumber, Text) -> Bool -> Fetcher

type Fetcher = Query -> IO (EVM ())

checksat :: SBool -> Query CheckSatResult

checkBranch :: SBool -> SBool -> Bool -> Query BranchCondition

Checks which branches are satisfiable, checking the pathconditions for consistency if the third argument is true. When in debug mode, we do not want to be able to navigate to dead paths, but for normal execution paths with inconsistent pathconditions will be pruned anyway.