%%%------------------------------------------------------------------- %%% @copyright (C) 2019, Aeternity Anstalt %%% %%% === === N O T E : This file is generated do not edit. === === %%% %%% Source is in aeb_fate_generate_ops.erl %%% @doc %%% Provide constructor functuions for Fate instructions. %%% Provide types and documentation for Fate instructions. %%% @end %%%------------------------------------------------------------------- -module(aeb_fate_ops). -include_lib("aebytecode/include/aeb_fate_data.hrl"). -define(i(__X__), {immediate, __X__ }). -type fate_arg_immediate(T) :: {immediate, T}. -type fate_arg_var() :: {var, integer()}. -type fate_arg_arg() :: {arg, integer()}. -type fate_arg_stack() :: {stack, 0}. -type fate_arg() :: fate_arg_immediate() | fate_arg_var() | fate_arg_arg() | fate_arg_stack(). -type fate_arg_immediate() :: {immediate, aeb_fate_data:fate_type()}. -type fate_return() :: 'RETURN'. -type fate_returnr() :: {'RETURNR', fate_arg()}. -type fate_call() :: {'CALL', fate_arg()}. -type fate_call_r() :: {'CALL_R', fate_arg(), fate_arg_immediate(aeb_fate_data:fate_string()), fate_arg(), fate_arg(), fate_arg()}. -type fate_call_t() :: {'CALL_T', fate_arg()}. -type fate_call_gr() :: {'CALL_GR', fate_arg(), fate_arg_immediate(aeb_fate_data:fate_string()), fate_arg(), fate_arg(), fate_arg(), fate_arg()}. -type fate_jump() :: {'JUMP', fate_arg_immediate(aeb_fate_data:fate_integer())}. -type fate_jumpif() :: {'JUMPIF', fate_arg(), fate_arg_immediate(aeb_fate_data:fate_integer())}. -type fate_switch_v2() :: {'SWITCH_V2', fate_arg(), fate_arg_immediate(aeb_fate_data:fate_integer()), fate_arg_immediate(aeb_fate_data:fate_integer())}. -type fate_switch_v3() :: {'SWITCH_V3', fate_arg(), fate_arg_immediate(aeb_fate_data:fate_integer()), fate_arg_immediate(aeb_fate_data:fate_integer()), fate_arg_immediate(aeb_fate_data:fate_integer())}. -type fate_switch_vn() :: {'SWITCH_VN', fate_arg(), fate_arg_immediate([aeb_fate_data:fate_integer()])}. -type fate_call_value() :: {'CALL_VALUE', fate_arg()}. -type fate_push() :: {'PUSH', fate_arg()}. -type fate_dupa() :: 'DUPA'. -type fate_dup() :: {'DUP', fate_arg()}. -type fate_pop() :: {'POP', fate_arg()}. -type fate_inca() :: 'INCA'. -type fate_inc() :: {'INC', fate_arg()}. -type fate_deca() :: 'DECA'. -type fate_dec() :: {'DEC', fate_arg()}. -type fate_add() :: {'ADD', fate_arg(), fate_arg(), fate_arg()}. -type fate_sub() :: {'SUB', fate_arg(), fate_arg(), fate_arg()}. -type fate_mul() :: {'MUL', fate_arg(), fate_arg(), fate_arg()}. -type fate_div() :: {'DIV', fate_arg(), fate_arg(), fate_arg()}. -type fate_mod() :: {'MOD', fate_arg(), fate_arg(), fate_arg()}. -type fate_pow() :: {'POW', fate_arg(), fate_arg(), fate_arg()}. -type fate_store() :: {'STORE', fate_arg(), fate_arg()}. -type fate_sha3() :: {'SHA3', fate_arg(), fate_arg()}. -type fate_sha256() :: {'SHA256', fate_arg(), fate_arg()}. -type fate_blake2b() :: {'BLAKE2B', fate_arg(), fate_arg()}. -type fate_lt() :: {'LT', fate_arg(), fate_arg(), fate_arg()}. -type fate_gt() :: {'GT', fate_arg(), fate_arg(), fate_arg()}. -type fate_eq() :: {'EQ', fate_arg(), fate_arg(), fate_arg()}. -type fate_elt() :: {'ELT', fate_arg(), fate_arg(), fate_arg()}. -type fate_egt() :: {'EGT', fate_arg(), fate_arg(), fate_arg()}. -type fate_neq() :: {'NEQ', fate_arg(), fate_arg(), fate_arg()}. -type fate_and() :: {'AND', fate_arg(), fate_arg(), fate_arg()}. -type fate_or() :: {'OR', fate_arg(), fate_arg(), fate_arg()}. -type fate_not() :: {'NOT', fate_arg(), fate_arg()}. -type fate_tuple() :: {'TUPLE', fate_arg(), fate_arg_immediate(aeb_fate_data:fate_integer())}. -type fate_element() :: {'ELEMENT', fate_arg(), fate_arg(), fate_arg()}. -type fate_setelement() :: {'SETELEMENT', fate_arg(), fate_arg(), fate_arg(), fate_arg()}. -type fate_map_empty() :: {'MAP_EMPTY', fate_arg()}. -type fate_map_lookup() :: {'MAP_LOOKUP', fate_arg(), fate_arg(), fate_arg()}. -type fate_map_lookupd() :: {'MAP_LOOKUPD', fate_arg(), fate_arg(), fate_arg(), fate_arg()}. -type fate_map_update() :: {'MAP_UPDATE', fate_arg(), fate_arg(), fate_arg(), fate_arg()}. -type fate_map_delete() :: {'MAP_DELETE', fate_arg(), fate_arg(), fate_arg()}. -type fate_map_member() :: {'MAP_MEMBER', fate_arg(), fate_arg(), fate_arg()}. -type fate_map_from_list() :: {'MAP_FROM_LIST', fate_arg(), fate_arg()}. -type fate_map_size() :: {'MAP_SIZE', fate_arg(), fate_arg()}. -type fate_map_to_list() :: {'MAP_TO_LIST', fate_arg(), fate_arg()}. -type fate_is_nil() :: {'IS_NIL', fate_arg(), fate_arg()}. -type fate_cons() :: {'CONS', fate_arg(), fate_arg(), fate_arg()}. -type fate_hd() :: {'HD', fate_arg(), fate_arg()}. -type fate_tl() :: {'TL', fate_arg(), fate_arg()}. -type fate_length() :: {'LENGTH', fate_arg(), fate_arg()}. -type fate_nil() :: {'NIL', fate_arg()}. -type fate_append() :: {'APPEND', fate_arg(), fate_arg(), fate_arg()}. -type fate_str_join() :: {'STR_JOIN', fate_arg(), fate_arg(), fate_arg()}. -type fate_int_to_str() :: {'INT_TO_STR', fate_arg(), fate_arg()}. -type fate_addr_to_str() :: {'ADDR_TO_STR', fate_arg(), fate_arg()}. -type fate_str_reverse() :: {'STR_REVERSE', fate_arg(), fate_arg()}. -type fate_str_length() :: {'STR_LENGTH', fate_arg(), fate_arg()}. -type fate_bytes_to_int() :: {'BYTES_TO_INT', fate_arg(), fate_arg()}. -type fate_bytes_to_str() :: {'BYTES_TO_STR', fate_arg(), fate_arg()}. -type fate_bytes_concat() :: {'BYTES_CONCAT', fate_arg(), fate_arg(), fate_arg()}. -type fate_bytes_split() :: {'BYTES_SPLIT', fate_arg(), fate_arg(), fate_arg()}. -type fate_int_to_addr() :: {'INT_TO_ADDR', fate_arg(), fate_arg()}. -type fate_variant() :: {'VARIANT', fate_arg(), fate_arg(), fate_arg(), fate_arg()}. -type fate_variant_test() :: {'VARIANT_TEST', fate_arg(), fate_arg(), fate_arg()}. -type fate_variant_element() :: {'VARIANT_ELEMENT', fate_arg(), fate_arg(), fate_arg()}. -type fate_bits_nonea() :: 'BITS_NONEA'. -type fate_bits_none() :: {'BITS_NONE', fate_arg()}. -type fate_bits_alla() :: 'BITS_ALLA'. -type fate_bits_all() :: {'BITS_ALL', fate_arg()}. -type fate_bits_all_n() :: {'BITS_ALL_N', fate_arg(), fate_arg()}. -type fate_bits_set() :: {'BITS_SET', fate_arg(), fate_arg(), fate_arg()}. -type fate_bits_clear() :: {'BITS_CLEAR', fate_arg(), fate_arg(), fate_arg()}. -type fate_bits_test() :: {'BITS_TEST', fate_arg(), fate_arg(), fate_arg()}. -type fate_bits_sum() :: {'BITS_SUM', fate_arg(), fate_arg()}. -type fate_bits_or() :: {'BITS_OR', fate_arg(), fate_arg(), fate_arg()}. -type fate_bits_and() :: {'BITS_AND', fate_arg(), fate_arg(), fate_arg()}. -type fate_bits_diff() :: {'BITS_DIFF', fate_arg(), fate_arg(), fate_arg()}. -type fate_balance() :: {'BALANCE', fate_arg()}. -type fate_origin() :: {'ORIGIN', fate_arg()}. -type fate_caller() :: {'CALLER', fate_arg()}. -type fate_blockhash() :: {'BLOCKHASH', fate_arg(), fate_arg()}. -type fate_beneficiary() :: {'BENEFICIARY', fate_arg()}. -type fate_timestamp() :: {'TIMESTAMP', fate_arg()}. -type fate_generation() :: {'GENERATION', fate_arg()}. -type fate_microblock() :: {'MICROBLOCK', fate_arg()}. -type fate_difficulty() :: {'DIFFICULTY', fate_arg()}. -type fate_gaslimit() :: {'GASLIMIT', fate_arg()}. -type fate_gas() :: {'GAS', fate_arg()}. -type fate_address() :: {'ADDRESS', fate_arg()}. -type fate_gasprice() :: {'GASPRICE', fate_arg()}. -type fate_log0() :: {'LOG0', fate_arg()}. -type fate_log1() :: {'LOG1', fate_arg(), fate_arg()}. -type fate_log2() :: {'LOG2', fate_arg(), fate_arg(), fate_arg()}. -type fate_log3() :: {'LOG3', fate_arg(), fate_arg(), fate_arg(), fate_arg()}. -type fate_log4() :: {'LOG4', fate_arg(), fate_arg(), fate_arg(), fate_arg(), fate_arg()}. -type fate_spend() :: {'SPEND', fate_arg(), fate_arg()}. -type fate_oracle_register() :: {'ORACLE_REGISTER', fate_arg(), fate_arg(), fate_arg(), fate_arg(), fate_arg(), fate_arg(), fate_arg()}. -type fate_oracle_query() :: {'ORACLE_QUERY', fate_arg(), fate_arg(), fate_arg(), fate_arg(), fate_arg(), fate_arg(), fate_arg(), fate_arg()}. -type fate_oracle_respond() :: {'ORACLE_RESPOND', fate_arg(), fate_arg(), fate_arg(), fate_arg(), fate_arg(), fate_arg()}. -type fate_oracle_extend() :: {'ORACLE_EXTEND', fate_arg(), fate_arg(), fate_arg()}. -type fate_oracle_get_answer() :: {'ORACLE_GET_ANSWER', fate_arg(), fate_arg(), fate_arg(), fate_arg(), fate_arg()}. -type fate_oracle_get_question() :: {'ORACLE_GET_QUESTION', fate_arg(), fate_arg(), fate_arg(), fate_arg(), fate_arg()}. -type fate_oracle_query_fee() :: {'ORACLE_QUERY_FEE', fate_arg(), fate_arg()}. -type fate_aens_resolve() :: {'AENS_RESOLVE', fate_arg(), fate_arg(), fate_arg(), fate_arg()}. -type fate_aens_preclaim() :: {'AENS_PRECLAIM', fate_arg(), fate_arg(), fate_arg()}. -type fate_aens_claim() :: {'AENS_CLAIM', fate_arg(), fate_arg(), fate_arg(), fate_arg(), fate_arg()}. -type fate_aens_update() :: 'AENS_UPDATE'. -type fate_aens_transfer() :: {'AENS_TRANSFER', fate_arg(), fate_arg(), fate_arg(), fate_arg()}. -type fate_aens_revoke() :: {'AENS_REVOKE', fate_arg(), fate_arg(), fate_arg()}. -type fate_balance_other() :: {'BALANCE_OTHER', fate_arg(), fate_arg()}. -type fate_verify_sig() :: {'VERIFY_SIG', fate_arg(), fate_arg(), fate_arg(), fate_arg()}. -type fate_verify_sig_secp256k1() :: {'VERIFY_SIG_SECP256K1', fate_arg(), fate_arg(), fate_arg(), fate_arg()}. -type fate_contract_to_address() :: {'CONTRACT_TO_ADDRESS', fate_arg(), fate_arg()}. -type fate_auth_tx_hash() :: {'AUTH_TX_HASH', fate_arg()}. -type fate_oracle_check() :: {'ORACLE_CHECK', fate_arg(), fate_arg(), fate_arg(), fate_arg()}. -type fate_oracle_check_query() :: {'ORACLE_CHECK_QUERY', fate_arg(), fate_arg(), fate_arg(), fate_arg(), fate_arg()}. -type fate_is_oracle() :: {'IS_ORACLE', fate_arg(), fate_arg()}. -type fate_is_contract() :: {'IS_CONTRACT', fate_arg(), fate_arg()}. -type fate_is_payable() :: {'IS_PAYABLE', fate_arg(), fate_arg()}. -type fate_creator() :: {'CREATOR', fate_arg()}. -type fate_ecverify_secp256k1() :: {'ECVERIFY_SECP256K1', fate_arg(), fate_arg(), fate_arg(), fate_arg()}. -type fate_ecrecover_secp256k1() :: {'ECRECOVER_SECP256K1', fate_arg(), fate_arg(), fate_arg()}. -type fate_deactivate() :: 'DEACTIVATE'. -type fate_abort() :: {'ABORT', fate_arg()}. -type fate_exit() :: {'EXIT', fate_arg()}. -type fate_nop() :: 'NOP'. -type fate_code() :: fate_return() | fate_returnr() | fate_call() | fate_call_r() | fate_call_t() | fate_call_gr() | fate_jump() | fate_jumpif() | fate_switch_v2() | fate_switch_v3() | fate_switch_vn() | fate_call_value() | fate_push() | fate_dupa() | fate_dup() | fate_pop() | fate_inca() | fate_inc() | fate_deca() | fate_dec() | fate_add() | fate_sub() | fate_mul() | fate_div() | fate_mod() | fate_pow() | fate_store() | fate_sha3() | fate_sha256() | fate_blake2b() | fate_lt() | fate_gt() | fate_eq() | fate_elt() | fate_egt() | fate_neq() | fate_and() | fate_or() | fate_not() | fate_tuple() | fate_element() | fate_setelement() | fate_map_empty() | fate_map_lookup() | fate_map_lookupd() | fate_map_update() | fate_map_delete() | fate_map_member() | fate_map_from_list() | fate_map_size() | fate_map_to_list() | fate_is_nil() | fate_cons() | fate_hd() | fate_tl() | fate_length() | fate_nil() | fate_append() | fate_str_join() | fate_int_to_str() | fate_addr_to_str() | fate_str_reverse() | fate_str_length() | fate_bytes_to_int() | fate_bytes_to_str() | fate_bytes_concat() | fate_bytes_split() | fate_int_to_addr() | fate_variant() | fate_variant_test() | fate_variant_element() | fate_bits_nonea() | fate_bits_none() | fate_bits_alla() | fate_bits_all() | fate_bits_all_n() | fate_bits_set() | fate_bits_clear() | fate_bits_test() | fate_bits_sum() | fate_bits_or() | fate_bits_and() | fate_bits_diff() | fate_balance() | fate_origin() | fate_caller() | fate_blockhash() | fate_beneficiary() | fate_timestamp() | fate_generation() | fate_microblock() | fate_difficulty() | fate_gaslimit() | fate_gas() | fate_address() | fate_gasprice() | fate_log0() | fate_log1() | fate_log2() | fate_log3() | fate_log4() | fate_spend() | fate_oracle_register() | fate_oracle_query() | fate_oracle_respond() | fate_oracle_extend() | fate_oracle_get_answer() | fate_oracle_get_question() | fate_oracle_query_fee() | fate_aens_resolve() | fate_aens_preclaim() | fate_aens_claim() | fate_aens_update() | fate_aens_transfer() | fate_aens_revoke() | fate_balance_other() | fate_verify_sig() | fate_verify_sig_secp256k1() | fate_contract_to_address() | fate_auth_tx_hash() | fate_oracle_check() | fate_oracle_check_query() | fate_is_oracle() | fate_is_contract() | fate_is_payable() | fate_creator() | fate_ecverify_secp256k1() | fate_ecrecover_secp256k1() | fate_deactivate() | fate_abort() | fate_exit() | fate_nop() . -export_type([ fate_code/0 , fate_return/0 , fate_returnr/0 , fate_call/0 , fate_call_r/0 , fate_call_t/0 , fate_call_gr/0 , fate_jump/0 , fate_jumpif/0 , fate_switch_v2/0 , fate_switch_v3/0 , fate_switch_vn/0 , fate_call_value/0 , fate_push/0 , fate_dupa/0 , fate_dup/0 , fate_pop/0 , fate_inca/0 , fate_inc/0 , fate_deca/0 , fate_dec/0 , fate_add/0 , fate_sub/0 , fate_mul/0 , fate_div/0 , fate_mod/0 , fate_pow/0 , fate_store/0 , fate_sha3/0 , fate_sha256/0 , fate_blake2b/0 , fate_lt/0 , fate_gt/0 , fate_eq/0 , fate_elt/0 , fate_egt/0 , fate_neq/0 , fate_and/0 , fate_or/0 , fate_not/0 , fate_tuple/0 , fate_element/0 , fate_setelement/0 , fate_map_empty/0 , fate_map_lookup/0 , fate_map_lookupd/0 , fate_map_update/0 , fate_map_delete/0 , fate_map_member/0 , fate_map_from_list/0 , fate_map_size/0 , fate_map_to_list/0 , fate_is_nil/0 , fate_cons/0 , fate_hd/0 , fate_tl/0 , fate_length/0 , fate_nil/0 , fate_append/0 , fate_str_join/0 , fate_int_to_str/0 , fate_addr_to_str/0 , fate_str_reverse/0 , fate_str_length/0 , fate_bytes_to_int/0 , fate_bytes_to_str/0 , fate_bytes_concat/0 , fate_bytes_split/0 , fate_int_to_addr/0 , fate_variant/0 , fate_variant_test/0 , fate_variant_element/0 , fate_bits_nonea/0 , fate_bits_none/0 , fate_bits_alla/0 , fate_bits_all/0 , fate_bits_all_n/0 , fate_bits_set/0 , fate_bits_clear/0 , fate_bits_test/0 , fate_bits_sum/0 , fate_bits_or/0 , fate_bits_and/0 , fate_bits_diff/0 , fate_balance/0 , fate_origin/0 , fate_caller/0 , fate_blockhash/0 , fate_beneficiary/0 , fate_timestamp/0 , fate_generation/0 , fate_microblock/0 , fate_difficulty/0 , fate_gaslimit/0 , fate_gas/0 , fate_address/0 , fate_gasprice/0 , fate_log0/0 , fate_log1/0 , fate_log2/0 , fate_log3/0 , fate_log4/0 , fate_spend/0 , fate_oracle_register/0 , fate_oracle_query/0 , fate_oracle_respond/0 , fate_oracle_extend/0 , fate_oracle_get_answer/0 , fate_oracle_get_question/0 , fate_oracle_query_fee/0 , fate_aens_resolve/0 , fate_aens_preclaim/0 , fate_aens_claim/0 , fate_aens_update/0 , fate_aens_transfer/0 , fate_aens_revoke/0 , fate_balance_other/0 , fate_verify_sig/0 , fate_verify_sig_secp256k1/0 , fate_contract_to_address/0 , fate_auth_tx_hash/0 , fate_oracle_check/0 , fate_oracle_check_query/0 , fate_is_oracle/0 , fate_is_contract/0 , fate_is_payable/0 , fate_creator/0 , fate_ecverify_secp256k1/0 , fate_ecrecover_secp256k1/0 , fate_deactivate/0 , fate_abort/0 , fate_exit/0 , fate_nop/0 ]). -export([ foo/0 , return/0 , returnr/1 , call/1 , call_r/5 , call_t/1 , call_gr/6 , jump/1 , jumpif/2 , switch/3 , switch/4 , switch/2 , call_value/1 , push/1 , dup/0 , dup/1 , pop/1 , inc/0 , inc/1 , dec/0 , dec/1 , add/3 , sub/3 , mul/3 , divide/3 , modulo/3 , pow/3 , store/2 , sha3/2 , sha256/2 , blake2b/2 , lt/3 , gt/3 , eq/3 , elt/3 , egt/3 , neq/3 , and_op/3 , or_op/3 , not_op/2 , tuple/2 , element_op/3 , setelement/4 , map_empty/1 , map_lookup/3 , map_lookup/4 , map_update/4 , map_delete/3 , map_member/3 , map_from_list/2 , map_size_/2 , map_to_list/2 , is_nil/2 , cons/3 , hd/2 , tl/2 , length/2 , nil/1 , append/3 , str_join/3 , int_to_str/2 , addr_to_str/2 , str_reverse/2 , str_length/2 , bytes_to_int/2 , bytes_to_str/2 , bytes_concat/3 , bytes_split/3 , int_to_addr/2 , variant/4 , variant_test/3 , variant_element/3 , bits_none/0 , bits_none/1 , bits_all/0 , bits_all/1 , bits_all_n/2 , bits_set/3 , bits_clear/3 , bits_test/3 , bits_sum/2 , bits_or/3 , bits_and/3 , bits_diff/3 , balance/1 , origin/1 , caller/1 , blockhash/2 , beneficiary/1 , timestamp/1 , generation/1 , microblock/1 , difficulty/1 , gaslimit/1 , gas/1 , address/1 , gasprice/1 , log/1 , log/2 , log/3 , log/4 , log/5 , spend/2 , oracle_register/7 , oracle_query/8 , oracle_respond/6 , oracle_extend/3 , oracle_get_answer/5 , oracle_get_question/5 , oracle_query_fee/2 , aens_resolve/4 , aens_preclaim/3 , aens_claim/5 , aens_update/0 , aens_transfer/4 , aens_revoke/3 , balance_other/2 , verify_sig/4 , verify_sig_secp256k1/4 , contract_to_address/2 , auth_tx_hash/1 , oracle_check/4 , oracle_check_query/5 , is_oracle/2 , is_contract/2 , is_payable/2 , contract_creator/1 , ecverify_secp256k1/4 , ecrecover_secp256k1/3 , deactivate/0 , abort/1 , exit/1 , nop/0 ]). -spec return() -> fate_return(). return() -> 'RETURN'. -spec returnr(fate_arg()) -> fate_returnr(). returnr(Arg0) -> {'RETURNR', Arg0}. -spec call(fate_arg()) -> fate_call(). call(Arg0) -> {'CALL', Arg0}. -spec call_r(fate_arg(), aeb_fate_data:fate_string(), fate_arg(), fate_arg(), fate_arg()) -> fate_call_r(). call_r(Arg0, Arg1, Arg2, Arg3, Arg4) -> {'CALL_R', Arg0, {immediate, Arg1}, Arg2, Arg3, Arg4}. -spec call_t(fate_arg()) -> fate_call_t(). call_t(Arg0) -> {'CALL_T', Arg0}. -spec call_gr(fate_arg(), aeb_fate_data:fate_string(), fate_arg(), fate_arg(), fate_arg(), fate_arg()) -> fate_call_gr(). call_gr(Arg0, Arg1, Arg2, Arg3, Arg4, Arg5) -> {'CALL_GR', Arg0, {immediate, Arg1}, Arg2, Arg3, Arg4, Arg5}. -spec jump(aeb_fate_data:fate_integer()) -> fate_jump(). jump(Arg0) -> {'JUMP', {immediate, Arg0}}. -spec jumpif(fate_arg(), aeb_fate_data:fate_integer()) -> fate_jumpif(). jumpif(Arg0, Arg1) -> {'JUMPIF', Arg0, {immediate, Arg1}}. -spec switch(fate_arg(), aeb_fate_data:fate_integer(), aeb_fate_data:fate_integer()) -> fate_switch_v2(). switch(Arg0, Arg1, Arg2) -> {'SWITCH_V2', Arg0, {immediate, Arg1}, {immediate, Arg2}}. -spec switch(fate_arg(), aeb_fate_data:fate_integer(), aeb_fate_data:fate_integer(), aeb_fate_data:fate_integer()) -> fate_switch_v3(). switch(Arg0, Arg1, Arg2, Arg3) -> {'SWITCH_V3', Arg0, {immediate, Arg1}, {immediate, Arg2}, {immediate, Arg3}}. -spec switch(fate_arg(), [aeb_fate_data:fate_integer()]) -> fate_switch_vn(). switch(Arg0, Arg1) -> {'SWITCH_VN', Arg0, {immediate, Arg1}}. -spec call_value(fate_arg()) -> fate_call_value(). call_value(Arg0) -> {'CALL_VALUE', Arg0}. -spec push(fate_arg()) -> fate_push(). push(Arg0) -> {'PUSH', Arg0}. -spec dup() -> fate_dupa(). dup() -> 'DUPA'. -spec dup(fate_arg()) -> fate_dup(). dup(Arg0) -> {'DUP', Arg0}. -spec pop(fate_arg()) -> fate_pop(). pop(Arg0) -> {'POP', Arg0}. -spec inc() -> fate_inca(). inc() -> 'INCA'. -spec inc(fate_arg()) -> fate_inc(). inc(Arg0) -> {'INC', Arg0}. -spec dec() -> fate_deca(). dec() -> 'DECA'. -spec dec(fate_arg()) -> fate_dec(). dec(Arg0) -> {'DEC', Arg0}. -spec add(fate_arg(), fate_arg(), fate_arg()) -> fate_add(). add(Arg0, Arg1, Arg2) -> {'ADD', Arg0, Arg1, Arg2}. -spec sub(fate_arg(), fate_arg(), fate_arg()) -> fate_sub(). sub(Arg0, Arg1, Arg2) -> {'SUB', Arg0, Arg1, Arg2}. -spec mul(fate_arg(), fate_arg(), fate_arg()) -> fate_mul(). mul(Arg0, Arg1, Arg2) -> {'MUL', Arg0, Arg1, Arg2}. -spec divide(fate_arg(), fate_arg(), fate_arg()) -> fate_div(). divide(Arg0, Arg1, Arg2) -> {'DIV', Arg0, Arg1, Arg2}. -spec modulo(fate_arg(), fate_arg(), fate_arg()) -> fate_mod(). modulo(Arg0, Arg1, Arg2) -> {'MOD', Arg0, Arg1, Arg2}. -spec pow(fate_arg(), fate_arg(), fate_arg()) -> fate_pow(). pow(Arg0, Arg1, Arg2) -> {'POW', Arg0, Arg1, Arg2}. -spec store(fate_arg(), fate_arg()) -> fate_store(). store(Arg0, Arg1) -> {'STORE', Arg0, Arg1}. -spec sha3(fate_arg(), fate_arg()) -> fate_sha3(). sha3(Arg0, Arg1) -> {'SHA3', Arg0, Arg1}. -spec sha256(fate_arg(), fate_arg()) -> fate_sha256(). sha256(Arg0, Arg1) -> {'SHA256', Arg0, Arg1}. -spec blake2b(fate_arg(), fate_arg()) -> fate_blake2b(). blake2b(Arg0, Arg1) -> {'BLAKE2B', Arg0, Arg1}. -spec lt(fate_arg(), fate_arg(), fate_arg()) -> fate_lt(). lt(Arg0, Arg1, Arg2) -> {'LT', Arg0, Arg1, Arg2}. -spec gt(fate_arg(), fate_arg(), fate_arg()) -> fate_gt(). gt(Arg0, Arg1, Arg2) -> {'GT', Arg0, Arg1, Arg2}. -spec eq(fate_arg(), fate_arg(), fate_arg()) -> fate_eq(). eq(Arg0, Arg1, Arg2) -> {'EQ', Arg0, Arg1, Arg2}. -spec elt(fate_arg(), fate_arg(), fate_arg()) -> fate_elt(). elt(Arg0, Arg1, Arg2) -> {'ELT', Arg0, Arg1, Arg2}. -spec egt(fate_arg(), fate_arg(), fate_arg()) -> fate_egt(). egt(Arg0, Arg1, Arg2) -> {'EGT', Arg0, Arg1, Arg2}. -spec neq(fate_arg(), fate_arg(), fate_arg()) -> fate_neq(). neq(Arg0, Arg1, Arg2) -> {'NEQ', Arg0, Arg1, Arg2}. -spec and_op(fate_arg(), fate_arg(), fate_arg()) -> fate_and(). and_op(Arg0, Arg1, Arg2) -> {'AND', Arg0, Arg1, Arg2}. -spec or_op(fate_arg(), fate_arg(), fate_arg()) -> fate_or(). or_op(Arg0, Arg1, Arg2) -> {'OR', Arg0, Arg1, Arg2}. -spec not_op(fate_arg(), fate_arg()) -> fate_not(). not_op(Arg0, Arg1) -> {'NOT', Arg0, Arg1}. -spec tuple(fate_arg(), aeb_fate_data:fate_integer()) -> fate_tuple(). tuple(Arg0, Arg1) -> {'TUPLE', Arg0, {immediate, Arg1}}. -spec element_op(fate_arg(), fate_arg(), fate_arg()) -> fate_element(). element_op(Arg0, Arg1, Arg2) -> {'ELEMENT', Arg0, Arg1, Arg2}. -spec setelement(fate_arg(), fate_arg(), fate_arg(), fate_arg()) -> fate_setelement(). setelement(Arg0, Arg1, Arg2, Arg3) -> {'SETELEMENT', Arg0, Arg1, Arg2, Arg3}. -spec map_empty(fate_arg()) -> fate_map_empty(). map_empty(Arg0) -> {'MAP_EMPTY', Arg0}. -spec map_lookup(fate_arg(), fate_arg(), fate_arg()) -> fate_map_lookup(). map_lookup(Arg0, Arg1, Arg2) -> {'MAP_LOOKUP', Arg0, Arg1, Arg2}. -spec map_lookup(fate_arg(), fate_arg(), fate_arg(), fate_arg()) -> fate_map_lookupd(). map_lookup(Arg0, Arg1, Arg2, Arg3) -> {'MAP_LOOKUPD', Arg0, Arg1, Arg2, Arg3}. -spec map_update(fate_arg(), fate_arg(), fate_arg(), fate_arg()) -> fate_map_update(). map_update(Arg0, Arg1, Arg2, Arg3) -> {'MAP_UPDATE', Arg0, Arg1, Arg2, Arg3}. -spec map_delete(fate_arg(), fate_arg(), fate_arg()) -> fate_map_delete(). map_delete(Arg0, Arg1, Arg2) -> {'MAP_DELETE', Arg0, Arg1, Arg2}. -spec map_member(fate_arg(), fate_arg(), fate_arg()) -> fate_map_member(). map_member(Arg0, Arg1, Arg2) -> {'MAP_MEMBER', Arg0, Arg1, Arg2}. -spec map_from_list(fate_arg(), fate_arg()) -> fate_map_from_list(). map_from_list(Arg0, Arg1) -> {'MAP_FROM_LIST', Arg0, Arg1}. -spec map_size_(fate_arg(), fate_arg()) -> fate_map_size(). map_size_(Arg0, Arg1) -> {'MAP_SIZE', Arg0, Arg1}. -spec map_to_list(fate_arg(), fate_arg()) -> fate_map_to_list(). map_to_list(Arg0, Arg1) -> {'MAP_TO_LIST', Arg0, Arg1}. -spec is_nil(fate_arg(), fate_arg()) -> fate_is_nil(). is_nil(Arg0, Arg1) -> {'IS_NIL', Arg0, Arg1}. -spec cons(fate_arg(), fate_arg(), fate_arg()) -> fate_cons(). cons(Arg0, Arg1, Arg2) -> {'CONS', Arg0, Arg1, Arg2}. -spec hd(fate_arg(), fate_arg()) -> fate_hd(). hd(Arg0, Arg1) -> {'HD', Arg0, Arg1}. -spec tl(fate_arg(), fate_arg()) -> fate_tl(). tl(Arg0, Arg1) -> {'TL', Arg0, Arg1}. -spec length(fate_arg(), fate_arg()) -> fate_length(). length(Arg0, Arg1) -> {'LENGTH', Arg0, Arg1}. -spec nil(fate_arg()) -> fate_nil(). nil(Arg0) -> {'NIL', Arg0}. -spec append(fate_arg(), fate_arg(), fate_arg()) -> fate_append(). append(Arg0, Arg1, Arg2) -> {'APPEND', Arg0, Arg1, Arg2}. -spec str_join(fate_arg(), fate_arg(), fate_arg()) -> fate_str_join(). str_join(Arg0, Arg1, Arg2) -> {'STR_JOIN', Arg0, Arg1, Arg2}. -spec int_to_str(fate_arg(), fate_arg()) -> fate_int_to_str(). int_to_str(Arg0, Arg1) -> {'INT_TO_STR', Arg0, Arg1}. -spec addr_to_str(fate_arg(), fate_arg()) -> fate_addr_to_str(). addr_to_str(Arg0, Arg1) -> {'ADDR_TO_STR', Arg0, Arg1}. -spec str_reverse(fate_arg(), fate_arg()) -> fate_str_reverse(). str_reverse(Arg0, Arg1) -> {'STR_REVERSE', Arg0, Arg1}. -spec str_length(fate_arg(), fate_arg()) -> fate_str_length(). str_length(Arg0, Arg1) -> {'STR_LENGTH', Arg0, Arg1}. -spec bytes_to_int(fate_arg(), fate_arg()) -> fate_bytes_to_int(). bytes_to_int(Arg0, Arg1) -> {'BYTES_TO_INT', Arg0, Arg1}. -spec bytes_to_str(fate_arg(), fate_arg()) -> fate_bytes_to_str(). bytes_to_str(Arg0, Arg1) -> {'BYTES_TO_STR', Arg0, Arg1}. -spec bytes_concat(fate_arg(), fate_arg(), fate_arg()) -> fate_bytes_concat(). bytes_concat(Arg0, Arg1, Arg2) -> {'BYTES_CONCAT', Arg0, Arg1, Arg2}. -spec bytes_split(fate_arg(), fate_arg(), fate_arg()) -> fate_bytes_split(). bytes_split(Arg0, Arg1, Arg2) -> {'BYTES_SPLIT', Arg0, Arg1, Arg2}. -spec int_to_addr(fate_arg(), fate_arg()) -> fate_int_to_addr(). int_to_addr(Arg0, Arg1) -> {'INT_TO_ADDR', Arg0, Arg1}. -spec variant(fate_arg(), fate_arg(), fate_arg(), fate_arg()) -> fate_variant(). variant(Arg0, Arg1, Arg2, Arg3) -> {'VARIANT', Arg0, Arg1, Arg2, Arg3}. -spec variant_test(fate_arg(), fate_arg(), fate_arg()) -> fate_variant_test(). variant_test(Arg0, Arg1, Arg2) -> {'VARIANT_TEST', Arg0, Arg1, Arg2}. -spec variant_element(fate_arg(), fate_arg(), fate_arg()) -> fate_variant_element(). variant_element(Arg0, Arg1, Arg2) -> {'VARIANT_ELEMENT', Arg0, Arg1, Arg2}. -spec bits_none() -> fate_bits_nonea(). bits_none() -> 'BITS_NONEA'. -spec bits_none(fate_arg()) -> fate_bits_none(). bits_none(Arg0) -> {'BITS_NONE', Arg0}. -spec bits_all() -> fate_bits_alla(). bits_all() -> 'BITS_ALLA'. -spec bits_all(fate_arg()) -> fate_bits_all(). bits_all(Arg0) -> {'BITS_ALL', Arg0}. -spec bits_all_n(fate_arg(), fate_arg()) -> fate_bits_all_n(). bits_all_n(Arg0, Arg1) -> {'BITS_ALL_N', Arg0, Arg1}. -spec bits_set(fate_arg(), fate_arg(), fate_arg()) -> fate_bits_set(). bits_set(Arg0, Arg1, Arg2) -> {'BITS_SET', Arg0, Arg1, Arg2}. -spec bits_clear(fate_arg(), fate_arg(), fate_arg()) -> fate_bits_clear(). bits_clear(Arg0, Arg1, Arg2) -> {'BITS_CLEAR', Arg0, Arg1, Arg2}. -spec bits_test(fate_arg(), fate_arg(), fate_arg()) -> fate_bits_test(). bits_test(Arg0, Arg1, Arg2) -> {'BITS_TEST', Arg0, Arg1, Arg2}. -spec bits_sum(fate_arg(), fate_arg()) -> fate_bits_sum(). bits_sum(Arg0, Arg1) -> {'BITS_SUM', Arg0, Arg1}. -spec bits_or(fate_arg(), fate_arg(), fate_arg()) -> fate_bits_or(). bits_or(Arg0, Arg1, Arg2) -> {'BITS_OR', Arg0, Arg1, Arg2}. -spec bits_and(fate_arg(), fate_arg(), fate_arg()) -> fate_bits_and(). bits_and(Arg0, Arg1, Arg2) -> {'BITS_AND', Arg0, Arg1, Arg2}. -spec bits_diff(fate_arg(), fate_arg(), fate_arg()) -> fate_bits_diff(). bits_diff(Arg0, Arg1, Arg2) -> {'BITS_DIFF', Arg0, Arg1, Arg2}. -spec balance(fate_arg()) -> fate_balance(). balance(Arg0) -> {'BALANCE', Arg0}. -spec origin(fate_arg()) -> fate_origin(). origin(Arg0) -> {'ORIGIN', Arg0}. -spec caller(fate_arg()) -> fate_caller(). caller(Arg0) -> {'CALLER', Arg0}. -spec blockhash(fate_arg(), fate_arg()) -> fate_blockhash(). blockhash(Arg0, Arg1) -> {'BLOCKHASH', Arg0, Arg1}. -spec beneficiary(fate_arg()) -> fate_beneficiary(). beneficiary(Arg0) -> {'BENEFICIARY', Arg0}. -spec timestamp(fate_arg()) -> fate_timestamp(). timestamp(Arg0) -> {'TIMESTAMP', Arg0}. -spec generation(fate_arg()) -> fate_generation(). generation(Arg0) -> {'GENERATION', Arg0}. -spec microblock(fate_arg()) -> fate_microblock(). microblock(Arg0) -> {'MICROBLOCK', Arg0}. -spec difficulty(fate_arg()) -> fate_difficulty(). difficulty(Arg0) -> {'DIFFICULTY', Arg0}. -spec gaslimit(fate_arg()) -> fate_gaslimit(). gaslimit(Arg0) -> {'GASLIMIT', Arg0}. -spec gas(fate_arg()) -> fate_gas(). gas(Arg0) -> {'GAS', Arg0}. -spec address(fate_arg()) -> fate_address(). address(Arg0) -> {'ADDRESS', Arg0}. -spec gasprice(fate_arg()) -> fate_gasprice(). gasprice(Arg0) -> {'GASPRICE', Arg0}. -spec log(fate_arg()) -> fate_log0(). log(Arg0) -> {'LOG0', Arg0}. -spec log(fate_arg(), fate_arg()) -> fate_log1(). log(Arg0, Arg1) -> {'LOG1', Arg0, Arg1}. -spec log(fate_arg(), fate_arg(), fate_arg()) -> fate_log2(). log(Arg0, Arg1, Arg2) -> {'LOG2', Arg0, Arg1, Arg2}. -spec log(fate_arg(), fate_arg(), fate_arg(), fate_arg()) -> fate_log3(). log(Arg0, Arg1, Arg2, Arg3) -> {'LOG3', Arg0, Arg1, Arg2, Arg3}. -spec log(fate_arg(), fate_arg(), fate_arg(), fate_arg(), fate_arg()) -> fate_log4(). log(Arg0, Arg1, Arg2, Arg3, Arg4) -> {'LOG4', Arg0, Arg1, Arg2, Arg3, Arg4}. -spec spend(fate_arg(), fate_arg()) -> fate_spend(). spend(Arg0, Arg1) -> {'SPEND', Arg0, Arg1}. -spec oracle_register(fate_arg(), fate_arg(), fate_arg(), fate_arg(), fate_arg(), fate_arg(), fate_arg()) -> fate_oracle_register(). oracle_register(Arg0, Arg1, Arg2, Arg3, Arg4, Arg5, Arg6) -> {'ORACLE_REGISTER', Arg0, Arg1, Arg2, Arg3, Arg4, Arg5, Arg6}. -spec oracle_query(fate_arg(), fate_arg(), fate_arg(), fate_arg(), fate_arg(), fate_arg(), fate_arg(), fate_arg()) -> fate_oracle_query(). oracle_query(Arg0, Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7) -> {'ORACLE_QUERY', Arg0, Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7}. -spec oracle_respond(fate_arg(), fate_arg(), fate_arg(), fate_arg(), fate_arg(), fate_arg()) -> fate_oracle_respond(). oracle_respond(Arg0, Arg1, Arg2, Arg3, Arg4, Arg5) -> {'ORACLE_RESPOND', Arg0, Arg1, Arg2, Arg3, Arg4, Arg5}. -spec oracle_extend(fate_arg(), fate_arg(), fate_arg()) -> fate_oracle_extend(). oracle_extend(Arg0, Arg1, Arg2) -> {'ORACLE_EXTEND', Arg0, Arg1, Arg2}. -spec oracle_get_answer(fate_arg(), fate_arg(), fate_arg(), fate_arg(), fate_arg()) -> fate_oracle_get_answer(). oracle_get_answer(Arg0, Arg1, Arg2, Arg3, Arg4) -> {'ORACLE_GET_ANSWER', Arg0, Arg1, Arg2, Arg3, Arg4}. -spec oracle_get_question(fate_arg(), fate_arg(), fate_arg(), fate_arg(), fate_arg()) -> fate_oracle_get_question(). oracle_get_question(Arg0, Arg1, Arg2, Arg3, Arg4) -> {'ORACLE_GET_QUESTION', Arg0, Arg1, Arg2, Arg3, Arg4}. -spec oracle_query_fee(fate_arg(), fate_arg()) -> fate_oracle_query_fee(). oracle_query_fee(Arg0, Arg1) -> {'ORACLE_QUERY_FEE', Arg0, Arg1}. -spec aens_resolve(fate_arg(), fate_arg(), fate_arg(), fate_arg()) -> fate_aens_resolve(). aens_resolve(Arg0, Arg1, Arg2, Arg3) -> {'AENS_RESOLVE', Arg0, Arg1, Arg2, Arg3}. -spec aens_preclaim(fate_arg(), fate_arg(), fate_arg()) -> fate_aens_preclaim(). aens_preclaim(Arg0, Arg1, Arg2) -> {'AENS_PRECLAIM', Arg0, Arg1, Arg2}. -spec aens_claim(fate_arg(), fate_arg(), fate_arg(), fate_arg(), fate_arg()) -> fate_aens_claim(). aens_claim(Arg0, Arg1, Arg2, Arg3, Arg4) -> {'AENS_CLAIM', Arg0, Arg1, Arg2, Arg3, Arg4}. -spec aens_update() -> fate_aens_update(). aens_update() -> 'AENS_UPDATE'. -spec aens_transfer(fate_arg(), fate_arg(), fate_arg(), fate_arg()) -> fate_aens_transfer(). aens_transfer(Arg0, Arg1, Arg2, Arg3) -> {'AENS_TRANSFER', Arg0, Arg1, Arg2, Arg3}. -spec aens_revoke(fate_arg(), fate_arg(), fate_arg()) -> fate_aens_revoke(). aens_revoke(Arg0, Arg1, Arg2) -> {'AENS_REVOKE', Arg0, Arg1, Arg2}. -spec balance_other(fate_arg(), fate_arg()) -> fate_balance_other(). balance_other(Arg0, Arg1) -> {'BALANCE_OTHER', Arg0, Arg1}. -spec verify_sig(fate_arg(), fate_arg(), fate_arg(), fate_arg()) -> fate_verify_sig(). verify_sig(Arg0, Arg1, Arg2, Arg3) -> {'VERIFY_SIG', Arg0, Arg1, Arg2, Arg3}. -spec verify_sig_secp256k1(fate_arg(), fate_arg(), fate_arg(), fate_arg()) -> fate_verify_sig_secp256k1(). verify_sig_secp256k1(Arg0, Arg1, Arg2, Arg3) -> {'VERIFY_SIG_SECP256K1', Arg0, Arg1, Arg2, Arg3}. -spec contract_to_address(fate_arg(), fate_arg()) -> fate_contract_to_address(). contract_to_address(Arg0, Arg1) -> {'CONTRACT_TO_ADDRESS', Arg0, Arg1}. -spec auth_tx_hash(fate_arg()) -> fate_auth_tx_hash(). auth_tx_hash(Arg0) -> {'AUTH_TX_HASH', Arg0}. -spec oracle_check(fate_arg(), fate_arg(), fate_arg(), fate_arg()) -> fate_oracle_check(). oracle_check(Arg0, Arg1, Arg2, Arg3) -> {'ORACLE_CHECK', Arg0, Arg1, Arg2, Arg3}. -spec oracle_check_query(fate_arg(), fate_arg(), fate_arg(), fate_arg(), fate_arg()) -> fate_oracle_check_query(). oracle_check_query(Arg0, Arg1, Arg2, Arg3, Arg4) -> {'ORACLE_CHECK_QUERY', Arg0, Arg1, Arg2, Arg3, Arg4}. -spec is_oracle(fate_arg(), fate_arg()) -> fate_is_oracle(). is_oracle(Arg0, Arg1) -> {'IS_ORACLE', Arg0, Arg1}. -spec is_contract(fate_arg(), fate_arg()) -> fate_is_contract(). is_contract(Arg0, Arg1) -> {'IS_CONTRACT', Arg0, Arg1}. -spec is_payable(fate_arg(), fate_arg()) -> fate_is_payable(). is_payable(Arg0, Arg1) -> {'IS_PAYABLE', Arg0, Arg1}. -spec contract_creator(fate_arg()) -> fate_creator(). contract_creator(Arg0) -> {'CREATOR', Arg0}. -spec ecverify_secp256k1(fate_arg(), fate_arg(), fate_arg(), fate_arg()) -> fate_ecverify_secp256k1(). ecverify_secp256k1(Arg0, Arg1, Arg2, Arg3) -> {'ECVERIFY_SECP256K1', Arg0, Arg1, Arg2, Arg3}. -spec ecrecover_secp256k1(fate_arg(), fate_arg(), fate_arg()) -> fate_ecrecover_secp256k1(). ecrecover_secp256k1(Arg0, Arg1, Arg2) -> {'ECRECOVER_SECP256K1', Arg0, Arg1, Arg2}. -spec deactivate() -> fate_deactivate(). deactivate() -> 'DEACTIVATE'. -spec abort(fate_arg()) -> fate_abort(). abort(Arg0) -> {'ABORT', Arg0}. -spec exit(fate_arg()) -> fate_exit(). exit(Arg0) -> {'EXIT', Arg0}. -spec nop() -> fate_nop(). nop() -> 'NOP'. foo() -> "A temp hack.".