Current section
Files
Jump to
Current section
Files
src/aeb_fate_ops.erl
%%%-------------------------------------------------------------------
%%% @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.".