Module ergotree_ir::mir

Mid-level IR (ErgoTree)

Modules

• and
  AND logical conjunction
• apply
  Application of function
• atleast
  THRESHOLD composition for sigma expressions
• avl_tree_data
  Avl tree data
• bin_op
  Operators in ErgoTree
• bit_inversion
  Bit inversion operation on numeric type.
• block
  Block of statements ending with an expression
• bool_to_sigma
  Embedding of Boolean values to SigmaProp
• byte_array_to_bigint
  Convert byte array to SBigInt
• byte_array_to_long
  Convert byte array to SLong
• calc_blake2b256
  Calc Blake2b hash
• calc_sha256
  Calc Sha256 hash
• coll_append
  Collection.append
• 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
• coll_slice
  Collection.slice
• collection
  Collection of elements
• constant
  Constant(Literal) IR node
• create_avl_tree
  Creation of AVL tree Create an AVL tree
• 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 Coll[Byte], deserialize it into Value and inline into executing script.
• downcast
  Numerical downcast Numerical downcast
• exponentiate
  Exponentiate op for GroupElement
• expr
  IR expression
• extract_amount
  Box value
• extract_bytes
  Box.bytes (serialized box bytes)
• extract_bytes_with_no_ref
  Box.bytesWithoutRef
• 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
• get_var
  Extracts Context variable by id and type
• global_vars
  Global variables
• if_op
  If-else conditional op
• logical_not
  Logical NOT op
• long_to_byte_array
  Convert SLong to byte array
• method_call
  Object method call
• multiply_group
  Multiply op for GroupElement
• 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
• subst_const
  Substitution of constants in serialized sigma expression
• tree_lookup
  Perform a lookup of key in a tree Lookup in AVL tree
• tuple
  Tuple of elements
• unary_op
  Traits for IR nodes with one input value(expr)
• upcast
  Numerical upcast Numerical upcast
• val_def
  Variable definition
• val_use
  Variable reference
• value
  Ergo data type
• xor
  Byte-wise XOR op
• xor_of
  XOR for collection of booleans XOR for collection of booleans