Module `Alpha_context.Delegate`Source

This module re-exports definitions from Delegate_storage, Delegate_consensus_key, Delegate_missed_endorsements_storage, Delegate_slashed_deposits_storage, Delegate_cycles.

Source

val check_not_tz4 : 
  Tezos_protocol_environment_alpha.Signature.public_key_hash ->
  unit Tezos_protocol_environment_alpha.Error_monad.tzresult

Source

val frozen_deposits_limit : 
  context ->
  public_key_hash ->
  Tez.t option Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val set_frozen_deposits_limit : 
  context ->
  public_key_hash ->
  Tez.t option ->
  context Tezos_protocol_environment_alpha.Lwt.t

Source

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

Source

val list : 
  context ->
  public_key_hash list Tezos_protocol_environment_alpha.Lwt.t

Source

val drain : 
  context ->
  delegate:public_key_hash ->
  destination:public_key_hash ->
  (context * bool * Tez.t * Receipt.balance_updates)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Sourcetype participation_info = {

expected_cycle_activity : int;
minimal_cycle_activity : int;
missed_slots : int;
missed_levels : int;
remaining_allowed_missed_slots : int;
expected_endorsing_rewards : Tez.t;

}

Source

val participation_info : 
  context ->
  public_key_hash ->
  participation_info Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val cycle_end : 
  context ->
  Cycle.t ->
  (context * Receipt.balance_updates * public_key_hash list)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val already_slashed_for_double_endorsing : 
  context ->
  public_key_hash ->
  Level.t ->
  bool Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val already_slashed_for_double_baking : 
  context ->
  public_key_hash ->
  Level.t ->
  bool Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val punish_double_endorsing : 
  context ->
  public_key_hash ->
  Level.t ->
  (context * Tez.t * Receipt.balance_updates)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val punish_double_baking : 
  context ->
  public_key_hash ->
  Level.t ->
  (context * Tez.t * Receipt.balance_updates)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val full_balance : 
  context ->
  public_key_hash ->
  Tez.t Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Sourcetype level_participation =

| Participated
| Didn't_participate

Source

val record_baking_activity_and_pay_rewards_and_fees : 
  context ->
  payload_producer:public_key_hash ->
  block_producer:public_key_hash ->
  baking_reward:Tez.t ->
  reward_bonus:Tez.t option ->
  (context * Receipt.balance_updates)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val record_endorsing_participation : 
  context ->
  delegate:public_key_hash ->
  participation:level_participation ->
  endorsing_power:int ->
  context Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Sourcetype deposits = {

initial_amount : Tez.t;
current_amount : Tez.t;

}

Source

val frozen_deposits : 
  context ->
  public_key_hash ->
  deposits Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val staking_balance : 
  context ->
  public_key_hash ->
  Tez.t Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val delegated_contracts : 
  context ->
  public_key_hash ->
  Contract.t list Tezos_protocol_environment_alpha.Lwt.t

See Contract_delegate_storage.delegated_contracts.

Source

val delegated_balance : 
  context ->
  public_key_hash ->
  Tez.t Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val registered : 
  context ->
  public_key_hash ->
  bool Tezos_protocol_environment_alpha.Lwt.t

Source

val deactivated : 
  context ->
  public_key_hash ->
  bool Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val last_cycle_before_deactivation : 
  context ->
  public_key_hash ->
  Cycle.t Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

See Delegate_activation_storage.last_cycle_before_deactivation.

Sourcemodule Consensus_key : sig ... end

Source

val prepare_stake_distribution : 
  context ->
  context Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

See Stake_storage.prepare_stake_distribution.

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Alpha_context/Delegate/index.html

Module `Alpha_context.Delegate`Source

package tezos-protocol-alpha

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Alpha_context/Delegate/index.html

Module Alpha_context.DelegateSource

Module `Alpha_context.Delegate`Source