Safe Haskell	None
Language	Haskell2010

EVM.Fetch

Synopsis

data RpcQuery a where
- QueryCode :: Addr -> RpcQuery ByteString
- QueryBlock :: RpcQuery Block
- QueryBalance :: Addr -> RpcQuery W256
- QueryNonce :: Addr -> RpcQuery W256
- QuerySlot :: Addr -> W256 -> RpcQuery W256
- QueryChainId :: RpcQuery W256
data BlockNumber
- = Latest
- | BlockNumber W256
rpc :: String -> [Value] -> Value
class ToRPC a where
- toRPC :: a -> 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
oracle :: Maybe State -> Maybe (BlockNumber, Text) -> StorageModel -> Bool -> Fetcher
zero :: Fetcher
type Fetcher = Query -> IO (EVM ())
checksat :: SBool -> Query CheckSatResult
checkBranch :: SBool -> SBool -> Bool -> Query BranchCondition

Documentation

data RpcQuery a where Source #

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) Source #
Instance details Defined in EVM.Fetch Methods showsPrec :: Int -> RpcQuery a -> ShowS # show :: RpcQuery a -> String # showList :: [RpcQuery a] -> ShowS #

data BlockNumber Source #

Constructors

Latest
BlockNumber W256

Instances

ToRPC BlockNumber Source #
Instance details Defined in EVM.Fetch Methods toRPC :: BlockNumber -> Value Source #

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

class ToRPC a where Source #

Methods

toRPC :: a -> Value Source #

Instances

ToRPC Bool Source #
Instance details Defined in EVM.Fetch Methods toRPC :: Bool -> Value Source #
ToRPC Addr Source #
Instance details Defined in EVM.Fetch Methods toRPC :: Addr -> Value Source #
ToRPC W256 Source #
Instance details Defined in EVM.Fetch Methods toRPC :: W256 -> Value Source #
ToRPC BlockNumber Source #
Instance details Defined in EVM.Fetch Methods toRPC :: BlockNumber -> Value Source #

readText :: Read a => Text -> a Source #

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

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

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

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

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

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

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

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

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

http :: BlockNumber -> Text -> Fetcher Source #

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

zero :: Fetcher Source #

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

checksat :: SBool -> Query CheckSatResult Source #

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

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.