package tezos-protocol-012-Psithaca

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val init : context -> Contract.t -> Tezos_crypto.Signature.public_key_hash -> (context, Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result Lwt.t
val find : context -> Contract.t -> (public_key_hash option, Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result Lwt.t
val set : context -> Contract.t -> public_key_hash option -> (context, Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result Lwt.t
val frozen_deposits_limit : context -> Tezos_crypto.Signature.public_key_hash -> (Tez.t option, Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__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_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result Lwt.t
type participation_info = {
  1. expected_cycle_activity : int;
  2. minimal_cycle_activity : int;
  3. missed_slots : int;
  4. missed_levels : int;
  5. remaining_allowed_missed_slots : int;
  6. expected_endorsing_rewards : Tez.t;
}
val delegate_participation_info : context -> public_key_hash -> (participation_info, Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__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_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result Lwt.t
val already_slashed_for_double_endorsing : context -> public_key_hash -> Level.t -> (bool, Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result Lwt.t
val already_slashed_for_double_baking : context -> public_key_hash -> Level.t -> (bool, Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__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_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__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_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result Lwt.t
val full_balance : context -> public_key_hash -> (Tez.t, Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result Lwt.t
type level_participation =
  1. | Participated
  2. | 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_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__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_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result Lwt.t
type deposits = {
  1. initial_amount : Tez.t;
  2. current_amount : Tez.t;
}
val frozen_deposits : context -> public_key_hash -> (deposits, Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result Lwt.t
val staking_balance : context -> Tezos_crypto.Signature.public_key_hash -> (Tez.t, Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__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_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result Lwt.t
val registered : context -> Tezos_crypto.Signature.public_key_hash -> (bool, Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result Lwt.t
val deactivated : context -> Tezos_crypto.Signature.public_key_hash -> (bool, Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result Lwt.t
val grace_period : context -> Tezos_crypto.Signature.public_key_hash -> (Cycle.t, Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result Lwt.t
val pubkey : context -> public_key_hash -> (public_key, Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result Lwt.t
val prepare_stake_distribution : context -> (context, Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result Lwt.t