package tezos-protocol-alpha

You can search for identifiers within the package.

in-package search v0.2.0

tezos-protocol-alpha

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Alpha_context.Delegate`Source

This module re-exports definitions from Deposits_repr, Delegate_storage, Delegate_consensus_key, Delegate_missed_attestations_storage, Delegate_slashed_deposits_storage, Delegate_cycles, Delegate_rewards.

Source

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

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_attesting_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_attesting : 
  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

Sourcetype reward_and_burn = {

reward : Tez.t;
amount_to_burn : Tez.t;

}

Sourcetype punishing_amounts = {

staked : reward_and_burn;
unstaked : (Cycle.t * reward_and_burn) list;

}

Source

val punish_double_attesting : 
  context ->
  public_key_hash ->
  Level.t ->
  (context * punishing_amounts)
    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 * punishing_amounts)
    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_attesting_participation : 
  context ->
  delegate:public_key_hash ->
  participation:level_participation ->
  attesting_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 delegated_contracts : 
  context ->
  public_key_hash ->
  Contract.t list Tezos_protocol_environment_alpha.Lwt.t

See Contract_delegate_storage.delegated_contracts.

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

Sourceval is_forbidden_delegate : t -> public_key_hash -> bool

See Delegate_storage.is_forbidden_delegate.

Source

val forbid_delegate : 
  t ->
  public_key_hash ->
  t 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.

Sourcemodule Rewards : sig ... end

Sourcemodule Staking_parameters : sig ... end

Sourcemodule For_RPC : sig ... end

The functions in this module are considered too costly to be used in the protocol. They are meant to be used only to answer RPC calls.

package tezos-protocol-alpha

Module Alpha_context.DelegateSource

Module `Alpha_context.Delegate`Source