Module `Alpha_context.Delegate`Source

Sourcetype balance =

| Contract of Contract.t
| Rewards of Tezos_protocol_environment_006_PsCARTHA.Signature.Public_key_hash.t * Cycle.t
| Fees of Tezos_protocol_environment_006_PsCARTHA.Signature.Public_key_hash.t * Cycle.t
| Deposits of Tezos_protocol_environment_006_PsCARTHA.Signature.Public_key_hash.t * Cycle.t

Sourcetype balance_update =

| Debited of Tez.t
| Credited of Tez.t

Sourcetype balance_updates = (balance * balance_update) list

val balance_updates_encoding : 
  balance_updates Tezos_protocol_environment_006_PsCARTHA.Data_encoding.t

Sourceval cleanup_balance_updates : balance_updates -> balance_updates

Source

val get : 
  context ->
  Contract.t ->
  public_key_hash option
    Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

Source

val set : 
  context ->
  Contract.t ->
  public_key_hash option ->
  context Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

Source

val fold : 
  context ->
  init:'a ->
  f:(public_key_hash -> 'a -> 'a Tezos_protocol_environment_006_PsCARTHA.Lwt.t) ->
  'a Tezos_protocol_environment_006_PsCARTHA.Lwt.t

Source

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

Source

val freeze_deposit : 
  context ->
  public_key_hash ->
  Tez.t ->
  context Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

Source

val freeze_rewards : 
  context ->
  public_key_hash ->
  Tez.t ->
  context Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

Source

val freeze_fees : 
  context ->
  public_key_hash ->
  Tez.t ->
  context Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

Source

val cycle_end : 
  context ->
  Cycle.t ->
  Nonce.unrevealed list ->
  (context
   * balance_updates
   * Tezos_protocol_environment_006_PsCARTHA.Signature.Public_key_hash.t list)
    Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

Sourcetype frozen_balance = {

deposit : Tez.t;
fees : Tez.t;
rewards : Tez.t;

}

Source

val punish : 
  context ->
  public_key_hash ->
  Cycle.t ->
  (context * frozen_balance)
    Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

Source

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

Source

val has_frozen_balance : 
  context ->
  public_key_hash ->
  Cycle.t ->
  bool Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

Source

val frozen_balance : 
  context ->
  public_key_hash ->
  Tez.t Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

Source

val frozen_balance_encoding : 
  frozen_balance Tezos_protocol_environment_006_PsCARTHA.Data_encoding.t

Source

val frozen_balance_by_cycle_encoding : 
  frozen_balance Cycle.Map.t
    Tezos_protocol_environment_006_PsCARTHA.Data_encoding.t

Source

val frozen_balance_by_cycle : 
  context ->
  Tezos_protocol_environment_006_PsCARTHA.Signature.Public_key_hash.t ->
  frozen_balance Cycle.Map.t Tezos_protocol_environment_006_PsCARTHA.Lwt.t

Source

val staking_balance : 
  context ->
  Tezos_protocol_environment_006_PsCARTHA.Signature.Public_key_hash.t ->
  Tez.t Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

Source

val delegated_contracts : 
  context ->
  Tezos_protocol_environment_006_PsCARTHA.Signature.Public_key_hash.t ->
  Contract_repr.t list Tezos_protocol_environment_006_PsCARTHA.Lwt.t

Source

val delegated_balance : 
  context ->
  Tezos_protocol_environment_006_PsCARTHA.Signature.Public_key_hash.t ->
  Tez.t Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

Source

val deactivated : 
  context ->
  Tezos_protocol_environment_006_PsCARTHA.Signature.Public_key_hash.t ->
  bool Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

Source

val grace_period : 
  context ->
  Tezos_protocol_environment_006_PsCARTHA.Signature.Public_key_hash.t ->
  Cycle.t Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-006-PsCARTHA.raw/Tezos_raw_protocol_006_PsCARTHA/Alpha_context/Delegate/index.html

Module `Alpha_context.Delegate`Source

package tezos-protocol-006-PsCARTHA

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-006-PsCARTHA.raw/Tezos_raw_protocol_006_PsCARTHA/Alpha_context/Delegate/index.html

Module Alpha_context.DelegateSource

Module `Alpha_context.Delegate`Source