EVM.Transaction

Documentation

data AccessListEntry

Constructors

AccessListEntry

Fields

• accessAddress :: Addr
• accessStorageKeys :: [W256]

Instances

FromJSON AccessListEntry

Defined in EVM.Transaction

Methods

parseJSON :: Value -> Parser AccessListEntry

parseJSONList :: Value -> Parser [AccessListEntry]

ToJSON AccessListEntry

Defined in EVM.Transaction

Methods

toJSON :: AccessListEntry -> Value

toEncoding :: AccessListEntry -> Encoding

toJSONList :: [AccessListEntry] -> Value

toEncodingList :: [AccessListEntry] -> Encoding

Generic AccessListEntry

Defined in EVM.Transaction

Associated Types

type Rep AccessListEntry :: Type -> Type

Methods

from :: AccessListEntry -> Rep AccessListEntry x

to :: Rep AccessListEntry x -> AccessListEntry

Show AccessListEntry

Defined in EVM.Transaction

Methods

showsPrec :: Int -> AccessListEntry -> ShowS

show :: AccessListEntry -> String

showList :: [AccessListEntry] -> ShowS

type Rep AccessListEntry

Defined in EVM.Transaction

type Rep AccessListEntry = D1 ('MetaData "AccessListEntry" "EVM.Transaction" "hevm-0.50.4-inplace" 'False) (C1 ('MetaCons "AccessListEntry" 'PrefixI 'True) (S1 ('MetaSel ('Just "accessAddress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Addr) :*: S1 ('MetaSel ('Just "accessStorageKeys") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [W256])))

data TxType

Constructors

LegacyTransaction

AccessListTransaction

EIP1559Transaction

Instances

ToJSON TxType

Defined in EVM.Transaction

Methods

toJSON :: TxType -> Value

toEncoding :: TxType -> Encoding

toJSONList :: [TxType] -> Value

toEncodingList :: [TxType] -> Encoding

Generic TxType

Defined in EVM.Transaction

Associated Types

type Rep TxType :: Type -> Type

Methods

from :: TxType -> Rep TxType x

to :: Rep TxType x -> TxType

Show TxType

Defined in EVM.Transaction

Methods

showsPrec :: Int -> TxType -> ShowS

show :: TxType -> String

showList :: [TxType] -> ShowS

Eq TxType

Defined in EVM.Transaction

Methods

(==) :: TxType -> TxType -> Bool

(/=) :: TxType -> TxType -> Bool

type Rep TxType

Defined in EVM.Transaction

type Rep TxType = D1 ('MetaData "TxType" "EVM.Transaction" "hevm-0.50.4-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

Constructors

Transaction

Fields

• txData :: ByteString
• txGasLimit :: Word64
• txGasPrice :: Maybe W256
• txNonce :: W256
• txR :: W256
• txS :: W256
• txToAddr :: Maybe Addr
• txV :: W256
• txValue :: W256
• txType :: TxType
• txAccessList :: [AccessListEntry]
• txMaxPriorityFeeGas :: Maybe W256
• txMaxFeePerGas :: Maybe W256
• txChainId :: W256

Instances

FromJSON Transaction

Defined in EVM.Transaction

Methods

parseJSON :: Value -> Parser Transaction

parseJSONList :: Value -> Parser [Transaction]

ToJSON Transaction

Defined in EVM.Transaction

Methods

toJSON :: Transaction -> Value

toEncoding :: Transaction -> Encoding

toJSONList :: [Transaction] -> Value

toEncodingList :: [Transaction] -> Encoding

Generic Transaction

Defined in EVM.Transaction

Associated Types

type Rep Transaction :: Type -> Type

Methods

from :: Transaction -> Rep Transaction x

to :: Rep Transaction x -> Transaction

Show Transaction

Defined in EVM.Transaction

Methods

showsPrec :: Int -> Transaction -> ShowS

show :: Transaction -> String

showList :: [Transaction] -> ShowS

type Rep Transaction

Defined in EVM.Transaction

type Rep Transaction = D1 ('MetaData "Transaction" "EVM.Transaction" "hevm-0.50.4-inplace" 'False) (C1 ('MetaCons "Transaction" 'PrefixI 'True) (((S1 ('MetaSel ('Just "txData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :*: (S1 ('MetaSel ('Just "txGasLimit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64) :*: S1 ('MetaSel ('Just "txGasPrice") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe W256)))) :*: ((S1 ('MetaSel ('Just "txNonce") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 W256) :*: S1 ('MetaSel ('Just "txR") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 W256)) :*: (S1 ('MetaSel ('Just "txS") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 W256) :*: S1 ('MetaSel ('Just "txToAddr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Addr))))) :*: ((S1 ('MetaSel ('Just "txV") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 W256) :*: (S1 ('MetaSel ('Just "txValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 W256) :*: S1 ('MetaSel ('Just "txType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxType))) :*: ((S1 ('MetaSel ('Just "txAccessList") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [AccessListEntry]) :*: S1 ('MetaSel ('Just "txMaxPriorityFeeGas") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe W256))) :*: (S1 ('MetaSel ('Just "txMaxFeePerGas") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe W256)) :*: S1 ('MetaSel ('Just "txChainId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 W256))))))

emptyTransaction :: Transaction

txAccessMap :: Transaction -> Map Addr [W256]

utility function for getting a more useful representation of accesslistentries duplicates only matter for gas computation

sender :: Transaction -> Maybe Addr

sign :: Integer -> Transaction -> Transaction

signingData :: Transaction -> ByteString

accessListPrice :: FeeSchedule Word64 -> [AccessListEntry] -> Word64

txGasCost :: FeeSchedule Word64 -> Transaction -> Word64

accountAt :: Addr -> Getter (Map Addr Contract) Contract

touchAccount :: Addr -> Map Addr Contract -> Map Addr Contract

newAccount :: Contract

setupTx :: Addr -> Addr -> W256 -> Word64 -> Map Addr Contract -> Map Addr Contract

Increments origin nonce and pays gas deposit

initTx :: VM -> VM

Given a valid tx loaded into the vm state, subtract gas payment from the origin, increment the nonce and pay receiving address