Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- data AccessListEntry = AccessListEntry {
- address :: Addr
- storageKeys :: [W256]
- data TxType
- data Transaction = Transaction {}
- emptyTransaction :: Transaction
- txAccessMap :: Transaction -> Map Addr [W256]
- sender :: Transaction -> Maybe Addr
- sign :: Integer -> Transaction -> Transaction
- signingData :: Transaction -> ByteString
- accessListPrice :: FeeSchedule Word64 -> [AccessListEntry] -> Word64
- txGasCost :: FeeSchedule Word64 -> Transaction -> Word64
- accountAt :: Expr EAddr -> Getter (Map (Expr EAddr) Contract) Contract
- touchAccount :: Expr EAddr -> Map (Expr EAddr) Contract -> Map (Expr EAddr) Contract
- newAccount :: Contract
- setupTx :: Expr EAddr -> Expr EAddr -> W256 -> Word64 -> Map (Expr EAddr) Contract -> Map (Expr EAddr) Contract
- initTx :: VM t s -> VM t s
Documentation
data AccessListEntry Source #
AccessListEntry | |
|
Instances
Instances
ToJSON TxType Source # | |
Defined in EVM.Transaction | |
Generic TxType Source # | |
Show TxType Source # | |
Eq TxType Source # | |
type Rep TxType Source # | |
Defined in EVM.Transaction type Rep TxType = D1 ('MetaData "TxType" "EVM.Transaction" "hevm-0.53.0-inplace" 'False) (C1 ('MetaCons "LegacyTransaction" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AccessListTransaction" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EIP1559Transaction" 'PrefixI 'False) (U1 :: Type -> Type))) |
data Transaction Source #
Instances
txAccessMap :: Transaction -> Map Addr [W256] Source #
utility function for getting a more useful representation of accesslistentries duplicates only matter for gas computation
sign :: Integer -> Transaction -> Transaction Source #
signingData :: Transaction -> ByteString Source #
accessListPrice :: FeeSchedule Word64 -> [AccessListEntry] -> Word64 Source #
txGasCost :: FeeSchedule Word64 -> Transaction -> Word64 Source #