hevm-0.44.1: Ethereum virtual machine evaluator

Safe Haskell	None
Language	Haskell2010

EVM.Transaction

Synopsis

data Transaction = Transaction {
- txData :: ByteString
- txGasLimit :: W256
- txGasPrice :: W256
- txNonce :: W256
- txR :: W256
- txS :: W256
- txToAddr :: Maybe Addr
- txV :: W256
- txValue :: W256
}
ecrec :: W256 -> W256 -> W256 -> W256 -> Maybe Addr
sender :: Int -> Transaction -> Maybe Addr
signingData :: Int -> Transaction -> ByteString
txGasCost :: FeeSchedule Integer -> Transaction -> Integer
accountAt :: Addr -> Getter (Map Addr Contract) Contract
touchAccount :: Addr -> Map Addr Contract -> Map Addr Contract
newAccount :: Contract
setupTx :: Addr -> Addr -> Word -> Word -> Map Addr Contract -> Map Addr Contract
initTx :: VM -> VM

Documentation

data Transaction Source #

Constructors

Transaction
Fields txData :: ByteString txGasLimit :: W256 txGasPrice :: W256 txNonce :: W256 txR :: W256 txS :: W256 txToAddr :: Maybe Addr txV :: W256 txValue :: W256

Instances

Show Transaction Source #
Instance details Defined in EVM.Transaction Methods showsPrec :: Int -> Transaction -> ShowS # show :: Transaction -> String # showList :: [Transaction] -> ShowS #
FromJSON Transaction Source #
Instance details Defined in EVM.Transaction Methods parseJSON :: Value -> Parser Transaction # parseJSONList :: Value -> Parser [Transaction] #

ecrec :: W256 -> W256 -> W256 -> W256 -> Maybe Addr Source #

sender :: Int -> Transaction -> Maybe Addr Source #

signingData :: Int -> Transaction -> ByteString Source #

txGasCost :: FeeSchedule Integer -> Transaction -> Integer Source #

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

touchAccount :: Addr -> Map Addr Contract -> Map Addr Contract Source #

newAccount :: Contract Source #

setupTx :: Addr -> Addr -> Word -> Word -> Map Addr Contract -> Map Addr Contract Source #

Increments origin nonce and pays gas deposit

initTx :: VM -> VM Source #

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