For statements to iterate over container.

While statement. The same rule about releasing.

Put a document item.

Group documentation built in the given piece of code into block dedicated to one thing, e.g. to one entrypoint.

Insert documentation of the contract storage type. The type should be passed using type applications.

Give a name to given contract. Apply it to the whole contract code.

Indigo version for the function of the same name from Lorentz.

Attach general info to given contract.

Attach default general info to the contract documentation.

Takes an arbitrary IndigoM and wraps it into an IndigoFunction producing a local scope for its execution. Once it executed, all non-returned variables are cleaned up so that the stack has only returned variables at the top. This also can be interpreted as if True then f else nop.

Note, that by default we do not define scope inside indigo functions, meaning that once we want to create a new variable or return it from a function we need to do it inside scope $ instr construction, for example:

f :: IndigoFunction s Natural
f = scope $ do
  *[s]*
  res <- newVar (0 :: Natural)
  *[Natural, s]*
  scope $ do
    _n <- newVar (1 :: Integer)
    *[Integer, Natural, s]
    res += 4
  *[Natural, s]*
  return res
  *[s]*

Add a comment