Module ergotree_ir::mir

Mid-level IR (ErgoTree)

Modules

and	AND logical conjunction
apply	Application of function
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_provedlog	Create proveDlog from GroupElement(PK)
decode_point	Decode byte array to EC point
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 blake2b256(bytes)
extract_reg_as	Box register value (Box.RX)
extract_script_bytes	Box.scriptBytes
func_value	User-defined function
global_vars	Global variables
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