tezos-protocol-003-PsddFKi3 9.7

type balance =

| Contract of Contract.t

type balance_update =

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

type balance_updates = (balance * balance_update) list

val balance_updates_encoding : 
  balance_updates Tezos_base__TzPervasives.Data_encoding.t

val cleanup_balance_updates : balance_updates -> balance_updates

val get : 
  context ->
  Contract.t ->
  (public_key_hash option,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val set : 
  context ->
  Contract.t ->
  public_key_hash option ->
  (context,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val set_from_script : 
  context ->
  Contract.t ->
  public_key_hash option ->
  (context,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

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

val list : context -> public_key_hash list Lwt.t

val freeze_deposit : 
  context ->
  public_key_hash ->
  Tez.t ->
  (context,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val freeze_rewards : 
  context ->
  public_key_hash ->
  Tez.t ->
  (context,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val freeze_fees : 
  context ->
  public_key_hash ->
  Tez.t ->
  (context,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val cycle_end : 
  context ->
  Cycle.t ->
  Nonce.unrevealed list ->
  (context
   * balance_updates
   * Tezos_base__TzPervasives.Signature.public_key_hash list,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

type frozen_balance = {

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

}

val punish : 
  context ->
  public_key_hash ->
  Cycle.t ->
  (context * frozen_balance,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val full_balance : 
  context ->
  public_key_hash ->
  (Tez.t,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val has_frozen_balance : 
  context ->
  public_key_hash ->
  Cycle.t ->
  (bool,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val frozen_balance : 
  context ->
  public_key_hash ->
  (Tez.t,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val frozen_balance_encoding : 
  frozen_balance Tezos_base__TzPervasives.Data_encoding.t

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

val frozen_balance_by_cycle : 
  context ->
  Tezos_base__TzPervasives.Signature.public_key_hash ->
  frozen_balance Cycle.Map.t Lwt.t

val staking_balance : 
  context ->
  Tezos_base__TzPervasives.Signature.public_key_hash ->
  (Tez.t,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val delegated_contracts : 
  context ->
  Tezos_base__TzPervasives.Signature.public_key_hash ->
  Contract_hash.t list Lwt.t

val delegated_balance : 
  context ->
  Tezos_base__TzPervasives.Signature.public_key_hash ->
  (Tez.t,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val deactivated : 
  context ->
  Tezos_base__TzPervasives.Signature.public_key_hash ->
  (bool,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val grace_period : 
  context ->
  Tezos_base__TzPervasives.Signature.public_key_hash ->
  (Cycle.t,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

package tezos-protocol-003-PsddFKi3