package tezos-protocol-alpha

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Storage from this submodule must only be accessed through the module `Contract`.

val fold : Raw_context.t -> order:[ `Sorted | `Undefined ] -> init:'a -> f:(Contract_repr.t -> 'a -> 'a Tezos_protocol_environment_alpha.Lwt.t) -> 'a Tezos_protocol_environment_alpha.Lwt.t

The domain of alive contracts

type local_context

The tez possessed by a contract and that can be used. A contract may also possess tez in frozen deposits. Empty balances (of zero tez) are only allowed for originated contracts, not for implicit ones.

If the value is not set, the delegate didn't miss any attesting opportunity. If it is set, this value is a record of type missed_attestations_info, where:

All contracts (implicit and originated) that are delegated, if any

Tez that were part of frozen deposits (either own_frozen or staked_frozen in Staking_balance) but have been requested to be unstaked by a staker. They won't be part of the stake for future distributions. For cycles current_cycle - consensus_rights_delay - max_slashing_period + 1 to current_cycle they are still slashable. For cycle current_cycle - consensus_rights_delay - max_slashing_period they are not slashable anymore and hence any other older cycles must be squashed into this one at cycle end.

The contract's unstake requests that haven't been finalized yet.

The sum of all pseudotokens owned by stakers corresponding to shares of the staked_frozen in Staking_balance.

Share of the contract's delegate frozen deposits the contract owns.

If there is a value, the frozen balance for the contract won't exceed it (starting in consensus_rights_delay + 1).

The last cycle where the delegate is considered active; that is, at the next cycle it will be considered inactive.

Current storage space in bytes. Includes code, global storage and big map elements.

Maximal space available without needing to burn new fees.

Associates a contract and a bond_id with a bond, i.e. an amount of tez that is frozen.

val fold_bond_ids : (Raw_context.t * Contract_repr.t) -> order:[ `Sorted | `Undefined ] -> init:'a -> f:(Bond_id_repr.t -> 'a -> 'a Tezos_protocol_environment_alpha.Lwt.t) -> 'a Tezos_protocol_environment_alpha.Lwt.t

Associates a contract with the total of all its frozen bonds.

Stores the amount of tokens currently present on chain

OCaml

Innovation. Community. Security.