package tezos-protocol-003-PsddFKi3

  1. Overview
  2. Docs
package tezos-protocol-003-PsddFKi3
Legend:
Library
Module
Module type
Parameter
Class
Class type

Places where tezzies can be found in the ledger's state.

type balance_update =
  1. | Debited of Tez_repr.t
  2. | Credited of Tez_repr.t

A credit or debit of tezzies to a balance.

type balance_updates = (balance * balance_update) list

A list of balance updates. Duplicates may happen.

val balance_updates_encoding : balance_updates Data_encoding.t
val cleanup_balance_updates : balance_updates -> balance_updates

Remove zero-valued balances from a list of updates.

type frozen_balance = {
  1. deposit : Tez_repr.t;
  2. fees : Tez_repr.t;
  3. rewards : Tez_repr.t;
}
val is_delegatable : Raw_context.t -> Contract_repr.t -> (bool, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t

Is the contract eligible to delegation ?

val init : Raw_context.t -> Contract_repr.t -> Tezos_crypto.Signature.public_key_hash -> (Raw_context.t, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t

Allow to register a delegate when creating an account.

val remove : Raw_context.t -> Contract_repr.t -> (Raw_context.t, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t

Cleanup delegation when deleting a contract.

val get : Raw_context.t -> Contract_repr.t -> (Tezos_crypto.Signature.public_key_hash option, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t

Reading the current delegate of a contract.

val set : Raw_context.t -> Contract_repr.t -> Tezos_crypto.Signature.public_key_hash option -> (Raw_context.t, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t

Updating the delegate of a contract.

When calling this function on an "implicit contract" this function fails, unless when the registered delegate is the contract manager. In the that case, the manager is now registered as a delegate. One cannot unregister a delegate for now. The associate contract is now 'undeletable'.

val set_from_script : Raw_context.t -> Contract_repr.t -> Tezos_crypto.Signature.public_key_hash option -> (Raw_context.t, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t

Same as set ignoring the delegatable flag.

type Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error +=
  1. | Non_delegatable_contract of Contract_repr.contract
  2. | No_deletion of Tezos_crypto.Signature.public_key_hash
  3. | Active_delegate
  4. | Current_delegate
  5. | Empty_delegate_account of Tezos_crypto.Signature.public_key_hash
  6. | Balance_too_low_for_deposit of {
    1. delegate : Tezos_crypto.Signature.public_key_hash;
    2. deposit : Tez_repr.t;
    3. balance : Tez_repr.t;
    }
val fold : Raw_context.t -> init:'a -> f:(Tezos_crypto.Signature.public_key_hash -> 'a -> 'a Lwt.t) -> 'a Lwt.t

Iterate on all registered delegates.

List all registered delegates.

val freeze_deposit : Raw_context.t -> Tezos_crypto.Signature.public_key_hash -> Tez_repr.t -> (Raw_context.t, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t

Various functions to 'freeze' tokens. A frozen 'deposit' keeps its associated rolls. When frozen, 'fees' may trigger new rolls allocation. Rewards won't trigger new rolls allocation until unfrozen.

val freeze_fees : Raw_context.t -> Tezos_crypto.Signature.public_key_hash -> Tez_repr.t -> (Raw_context.t, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t
val freeze_rewards : Raw_context.t -> Tezos_crypto.Signature.public_key_hash -> Tez_repr.t -> (Raw_context.t, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t
val cycle_end : Raw_context.t -> Cycle_repr.t -> Nonce_storage.unrevealed list -> (Raw_context.t * balance_updates * Tezos_crypto.Signature.public_key_hash list, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t

Trigger the context maintenance at the end of cycle 'n', i.e.: unfreeze deposit/fees/rewards from 'n - preserved_cycle' ; punish the provided unrevealed seeds (tipically seed from cycle 'n - 1'). Returns a list of account with the amount that was unfrozen for each and the list of deactivated delegates.

val punish : Raw_context.t -> Tezos_crypto.Signature.public_key_hash -> Cycle_repr.t -> (Raw_context.t * frozen_balance, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t

Burn all then frozen deposit/fees/rewards for a delegate at a given cycle. Returns the burned amounts.

val has_frozen_balance : Raw_context.t -> Tezos_crypto.Signature.public_key_hash -> Cycle_repr.t -> (bool, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t

Has the given key some frozen tokens in its implicit contract?

val frozen_balance : Raw_context.t -> Tezos_crypto.Signature.public_key_hash -> (Tez_repr.t, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t

Returns the amount of frozen deposit, fees and rewards associated to a given delegate.

val frozen_balance_encoding : frozen_balance Data_encoding.t
val frozen_balance_by_cycle_encoding : frozen_balance Cycle_repr.Map.t Data_encoding.t

Returns the amount of frozen deposit, fees and rewards associated to a given delegate, indexed by the cycle by which at the end the balance will be unfrozen.

val full_balance : Raw_context.t -> Tezos_crypto.Signature.public_key_hash -> (Tez_repr.t, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t

Returns the full 'balance' of the implicit contract associated to a given key, i.e. the sum of the spendable balance and of the frozen balance.

val staking_balance : Raw_context.t -> Tezos_crypto.Signature.public_key_hash -> (Tez_repr.t, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t

Returns the list of contract that delegated towards a given delegate

val delegated_balance : Raw_context.t -> Tezos_crypto.Signature.public_key_hash -> (Tez_repr.t, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t
val deactivated : Raw_context.t -> Tezos_crypto.Signature.public_key_hash -> (bool, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t
val grace_period : Raw_context.t -> Tezos_crypto.Signature.public_key_hash -> (Cycle_repr.t, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct