hevm-0.41.0: Ethereum virtual machine evaluator

Safe Haskell	None
Language	Haskell2010

EVM.Fetch

Synopsis

data RpcQuery a where
- QueryCode :: Addr -> RpcQuery ByteString
- QueryBalance :: Addr -> RpcQuery W256
- QueryNonce :: Addr -> RpcQuery W256
- QuerySlot :: Addr -> W256 -> RpcQuery W256
- QueryChainId :: RpcQuery W256
data BlockNumber
- = Latest
- | BlockNumber W256
rpc :: String -> [String] -> Value
class ToRPC a where
- toRPC :: a -> String
readText :: Read a => Text -> a
fetchQuery :: Show a => BlockNumber -> (Value -> IO (Maybe Text)) -> RpcQuery a -> IO (Maybe a)
fetchWithSession :: Text -> Session -> Value -> IO (Maybe Text)
fetchContractWithSession :: BlockNumber -> Text -> Addr -> Session -> IO (Maybe Contract)
fetchSlotWithSession :: BlockNumber -> Text -> Session -> Addr -> W256 -> IO (Maybe Word)
fetchContractFrom :: BlockNumber -> Text -> Addr -> IO (Maybe Contract)
fetchSlotFrom :: BlockNumber -> Text -> Addr -> W256 -> IO (Maybe Word)
http :: BlockNumber -> Text -> Fetcher
zero :: Fetcher
type Fetcher = Query -> IO (EVM ())
oracle :: State -> Maybe (BlockNumber, Text) -> StorageModel -> Fetcher
checksat :: SBool -> Query CheckSatResult

Documentation

data RpcQuery a where Source #

Abstract representation of an RPC fetch request

Constructors

QueryCode :: Addr -> RpcQuery ByteString
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 -> String Source #

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

class ToRPC a where Source #

Methods

toRPC :: a -> String Source #

Instances

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

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

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

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

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

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

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

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

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

zero :: Fetcher Source #

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

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

checksat :: SBool -> Query CheckSatResult Source #