evm v0.1.11 EVM.Interface.ContractInterface protocol
Interface for interacting with a contract.
Link to this section Summary
Link to this section Types
Link to this section Functions
Link to this function
create_contract(t, state, sender, originator, available_gas, gas_price, endowment, init_code, stack_depth, block_header)
create_contract(t, EVM.state, EVM.address, EVM.address, EVM.Gas.t, EVM.Gas.gas_price, EVM.Wei.t, EVM.MachineCode.t, integer, Header.t) :: {EVM.state, EVM.Gas.t, EVM.SubState.t}
Link to this function
message_call(t, state, sender, originator, recipient, contract, available_gas, gas_price, value, apparent_value, data, stack_depth, block_header)
message_call(t, EVM.state, EVM.address, EVM.address, EVM.address, EVM.address, EVM.Gas.t, EVM.Gas.gas_price, EVM.Wei.t, EVM.Wei.t, binary, integer, Header.t) :: {EVM.state, EVM.Gas.t, EVM.SubState.t, EVM.VM.output}
Link to this function
new_contract_address(t, address, nonce)
new_contract_address(t, EVM.address, integer) :: EVM.address