tezos-protocol-alpha 12.3 · OCaml Package

tezos-protocol-alpha

val init : 
  context ->
  Contract.t ->
  Tezos_crypto.Signature.public_key_hash ->
  (context,
    Tezos_protocol_environment_alpha__Environment.Error_monad.error
      Tezos_protocol_environment_alpha__Environment.Error_monad.trace)
    result
    Lwt.t

val find : 
  context ->
  Contract.t ->
  (public_key_hash option,
    Tezos_protocol_environment_alpha__Environment.Error_monad.error
      Tezos_protocol_environment_alpha__Environment.Error_monad.trace)
    result
    Lwt.t

val set : 
  context ->
  Contract.t ->
  public_key_hash option ->
  (context,
    Tezos_protocol_environment_alpha__Environment.Error_monad.error
      Tezos_protocol_environment_alpha__Environment.Error_monad.trace)
    result
    Lwt.t

val frozen_deposits_limit : 
  context ->
  Tezos_crypto.Signature.public_key_hash ->
  (Tez.t option,
    Tezos_protocol_environment_alpha__Environment.Error_monad.error
      Tezos_protocol_environment_alpha__Environment.Error_monad.trace)
    result
    Lwt.t

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

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

val list : context -> public_key_hash list Lwt.t

val check_delegate : 
  context ->
  public_key_hash ->
  (unit,
    Tezos_protocol_environment_alpha__Environment.Error_monad.error
      Tezos_protocol_environment_alpha__Environment.Error_monad.trace)
    result
    Lwt.t

type 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;

}

val delegate_participation_info : 
  context ->
  public_key_hash ->
  (participation_info,
    Tezos_protocol_environment_alpha__Environment.Error_monad.error
      Tezos_protocol_environment_alpha__Environment.Error_monad.trace)
    result
    Lwt.t

val cycle_end : 
  context ->
  Cycle.t ->
  Nonce.unrevealed list ->
  (context
   * Receipt.balance_updates
   * Tezos_crypto.Signature.public_key_hash list,
    Tezos_protocol_environment_alpha__Environment.Error_monad.error
      Tezos_protocol_environment_alpha__Environment.Error_monad.trace)
    result
    Lwt.t

val already_slashed_for_double_endorsing : 
  context ->
  public_key_hash ->
  Level.t ->
  (bool,
    Tezos_protocol_environment_alpha__Environment.Error_monad.error
      Tezos_protocol_environment_alpha__Environment.Error_monad.trace)
    result
    Lwt.t

val already_slashed_for_double_baking : 
  context ->
  public_key_hash ->
  Level.t ->
  (bool,
    Tezos_protocol_environment_alpha__Environment.Error_monad.error
      Tezos_protocol_environment_alpha__Environment.Error_monad.trace)
    result
    Lwt.t

val punish_double_endorsing : 
  context ->
  public_key_hash ->
  Level.t ->
  (context * Tez.t * Receipt.balance_updates,
    Tezos_protocol_environment_alpha__Environment.Error_monad.error
      Tezos_protocol_environment_alpha__Environment.Error_monad.trace)
    result
    Lwt.t

val punish_double_baking : 
  context ->
  public_key_hash ->
  Level.t ->
  (context * Tez.t * Receipt.balance_updates,
    Tezos_protocol_environment_alpha__Environment.Error_monad.error
      Tezos_protocol_environment_alpha__Environment.Error_monad.trace)
    result
    Lwt.t

val full_balance : 
  context ->
  public_key_hash ->
  (Tez.t,
    Tezos_protocol_environment_alpha__Environment.Error_monad.error
      Tezos_protocol_environment_alpha__Environment.Error_monad.trace)
    result
    Lwt.t

type level_participation =

| Participated
| Didn't_participate

val record_baking_activity_and_pay_rewards_and_fees : 
  context ->
  payload_producer:Tezos_crypto.Signature.public_key_hash ->
  block_producer:Tezos_crypto.Signature.public_key_hash ->
  baking_reward:Tez.t ->
  reward_bonus:Tez.t option ->
  (context * Receipt.balance_updates,
    Tezos_protocol_environment_alpha__Environment.Error_monad.error
      Tezos_protocol_environment_alpha__Environment.Error_monad.trace)
    result
    Lwt.t

val record_endorsing_participation : 
  context ->
  delegate:Tezos_crypto.Signature.public_key_hash ->
  participation:level_participation ->
  endorsing_power:int ->
  (context,
    Tezos_protocol_environment_alpha__Environment.Error_monad.error
      Tezos_protocol_environment_alpha__Environment.Error_monad.trace)
    result
    Lwt.t

type deposits = {

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

}

val frozen_deposits : 
  context ->
  public_key_hash ->
  (deposits,
    Tezos_protocol_environment_alpha__Environment.Error_monad.error
      Tezos_protocol_environment_alpha__Environment.Error_monad.trace)
    result
    Lwt.t

val staking_balance : 
  context ->
  Tezos_crypto.Signature.public_key_hash ->
  (Tez.t,
    Tezos_protocol_environment_alpha__Environment.Error_monad.error
      Tezos_protocol_environment_alpha__Environment.Error_monad.trace)
    result
    Lwt.t

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

val delegated_balance : 
  context ->
  Tezos_crypto.Signature.public_key_hash ->
  (Tez.t,
    Tezos_protocol_environment_alpha__Environment.Error_monad.error
      Tezos_protocol_environment_alpha__Environment.Error_monad.trace)
    result
    Lwt.t

val registered : 
  context ->
  Tezos_crypto.Signature.public_key_hash ->
  (bool,
    Tezos_protocol_environment_alpha__Environment.Error_monad.error
      Tezos_protocol_environment_alpha__Environment.Error_monad.trace)
    result
    Lwt.t

val deactivated : 
  context ->
  Tezos_crypto.Signature.public_key_hash ->
  (bool,
    Tezos_protocol_environment_alpha__Environment.Error_monad.error
      Tezos_protocol_environment_alpha__Environment.Error_monad.trace)
    result
    Lwt.t

val grace_period : 
  context ->
  Tezos_crypto.Signature.public_key_hash ->
  (Cycle.t,
    Tezos_protocol_environment_alpha__Environment.Error_monad.error
      Tezos_protocol_environment_alpha__Environment.Error_monad.trace)
    result
    Lwt.t

val pubkey : 
  context ->
  public_key_hash ->
  (public_key,
    Tezos_protocol_environment_alpha__Environment.Error_monad.error
      Tezos_protocol_environment_alpha__Environment.Error_monad.trace)
    result
    Lwt.t

val prepare_stake_distribution : 
  context ->
  (context,
    Tezos_protocol_environment_alpha__Environment.Error_monad.error
      Tezos_protocol_environment_alpha__Environment.Error_monad.trace)
    result
    Lwt.t

package tezos-protocol-alpha