EVM.Transaction

Documentation

data AccessListEntry

Constructors

AccessListEntry

Fields

• address :: Addr
• storageKeys :: [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.51.0-inplace" 'False) (C1 ('MetaCons "AccessListEntry" 'PrefixI 'True) (S1 ('MetaSel ('Just "address") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Addr) :*: S1 ('MetaSel ('Just "storageKeys") '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.51.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

Constructors

Transaction

Fields

• txdata :: ByteString
• gasLimit :: Word64
• gasPrice :: Maybe W256
• nonce :: W256
• r :: W256
• s :: W256
• toAddr :: Maybe Addr
• v :: W256
• value :: W256
• txtype :: TxType
• accessList :: [AccessListEntry]
• maxPriorityFeeGas :: Maybe W256
• maxFeePerGas :: Maybe W256
• chainId :: 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.51.0-inplace" 'False) (C1 ('MetaCons "Transaction" 'PrefixI 'True) (((S1 ('MetaSel ('Just "txdata") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :*: (S1 ('MetaSel ('Just "gasLimit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64) :*: S1 ('MetaSel ('Just "gasPrice") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe W256)))) :*: ((S1 ('MetaSel ('Just "nonce") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 W256) :*: S1 ('MetaSel ('Just "r") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 W256)) :*: (S1 ('MetaSel ('Just "s") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 W256) :*: S1 ('MetaSel ('Just "toAddr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Addr))))) :*: ((S1 ('MetaSel ('Just "v") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 W256) :*: (S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 W256) :*: S1 ('MetaSel ('Just "txtype") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxType))) :*: ((S1 ('MetaSel ('Just "accessList") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [AccessListEntry]) :*: S1 ('MetaSel ('Just "maxPriorityFeeGas") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe W256))) :*: (S1 ('MetaSel ('Just "maxFeePerGas") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe W256)) :*: S1 ('MetaSel ('Just "chainId") '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