hevm-0.17: 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
data BlockNumber
- = Latest
- | BlockNumber W256
mkr :: Addr
rpc :: String -> [String] -> Value
class ToRPC a where
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 -> Session -> Addr -> 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 -> Query -> IO (EVM ())
zero :: Monad m => Query -> m (EVM ())
type Fetcher = Query -> IO (EVM ())

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

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 #

mkr :: Addr Source #

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

class ToRPC a where Source #

Minimal complete definition

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 -> Session -> Addr -> 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 -> Query -> IO (EVM ()) Source #

zero :: Monad m => Query -> m (EVM ()) Source #

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