Module ergotree_ir::mir [−][src]
Mid-level IR (ErgoTree)
Modules
and | AND logical conjunction |
apply | Application of function |
atleast | THRESHOLD composition for sigma expressions |
bin_op | Operators in ErgoTree |
block | Block of statements ending with an expression |
bool_to_sigma | Embedding of Boolean values to SigmaProp |
calc_blake2b256 | Calc Blake2b hash |
coll_by_index | Get the collection element by index |
coll_exists | Tests whether a predicate holds for at least one element of this collection |
coll_filter | Collection.filter |
coll_fold | Collection.fold |
coll_forall | Tests whether a predicate holds for all elements of this collection |
coll_map | Collection.map |
coll_size | Collection.size |
collection | Collection of elements |
constant | Constant(Literal) IR node |
create_prove_dh_tuple | Create proveDHTuple |
create_provedlog | Create proveDlog from GroupElement(PK) |
decode_point | Decode byte array to EC point |
deserialize_context | Extracts context variable as byte array |
deserialize_register | Extract register of SELF box as |
expr | IR expression |
extract_amount | Box value |
extract_creation_info | Box.creationInfo (height, tx id + box index) |
extract_id | Box id, Blake2b256 hash of this box’s content, basically equals to |
extract_reg_as | Box register value (Box.RX) |
extract_script_bytes | Box.scriptBytes |
func_value | User-defined function |
get_var | Extracts Context variable by id and type |
global_vars | Global variables |
header | Headers data types |
if_op | If-else conditional op |
logical_not | Logical NOT op |
method_call | Object method call |
negation | Negation operation on numeric type. |
option_get | Option.get() op |
option_get_or_else | Returns the Option’s value or error if no value |
option_is_defined | Returns false if the option is None, true otherwise. |
or | Logical OR op |
property_call | Object property call |
select_field | Select a field of the tuple value |
sigma_and | AND conjunction for sigma propositions |
sigma_or | OR conjunction for sigma propositions |
sigma_prop_bytes | Extract serialized bytes of a SigmaProp value |
tuple | Tuple of elements |
upcast | Numerical upcast |
val_def | Variable definition |
val_use | Variable reference |
value | Ergo data type |