Module `Tez_staking_helpers.Frozen_tez`Source

Frozen_tez represents frozen stake and frozen unstaked funds. Properties:

sum of all current partial tez is an integer
Can only add integer amounts
Can always subtract integer amount (if lower than frozen amount)
If subtracting partial amount, must be the whole frozen amount (for given contract). The remainder is then distributed equally amongst remaining accounts, to keep property 1.
All entries of current are positive, non zero.

Sourcetype t = {

delegate : string;
initial : Tez.t;
self_current : Tez.t;
co_current : Partial_tez.t Tezos_base.TzPervasives.String.Map.t;

}

Sourceval pp : Format.formatter -> t -> unit

Sourceval zero : t

val init : 
  Tez.t ->
  Tezos_base.TzPervasives.String.Map.key ->
  Tezos_base.TzPervasives.String.Map.key ->
  t

Sourceval union : t -> t -> t

Sourceval get : Tezos_base.TzPervasives.String.Map.key -> t -> Partial_tez.t

Source

val total_co_current_q : 
  Partial_tez.t Tezos_base.TzPervasives.String.Map.t ->
  Partial_tez.t

Sourceval total_co_current : t -> Tez.t

Sourceval total_current : t -> Tez.t

Sourceval total_current_with_limits : limit_of_staking_over_baking:Q.t -> t -> Tez.t

Source

val add_q_to_all_co_current : 
  Q.t ->
  Partial_tez.t Tezos_base.TzPervasives.String.Map.t ->
  Partial_tez.t Tezos_base.TzPervasives.String.Map.t

Sourceval add_tez_to_all_current : edge:Q.t -> Tez.t -> t -> t

Sourceval sub_tez_from_all_current : Tez.t -> t -> t

Source

val add_current_q : 
  Partial_tez.t ->
  Tezos_base.TzPervasives.String.Map.key ->
  t ->
  t

Sourceval add_current : Tez.t -> Tezos_base.TzPervasives.String.Map.key -> t -> t

Sourceval add_self_current : Tez.t -> t -> t

Sourceval add_init : Tez.t -> Tezos_base.TzPervasives.String.Map.key -> t -> t

Source

val sub_current : 
  Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t ->
  Tezos_base.TzPervasives.String.Map.key ->
  t ->
  t * Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t

Sourceval sub_current_q : Q.t -> Tezos_base.TzPervasives.String.Map.key -> t -> t

Source

val sub_current_and_init : 
  Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t ->
  Tezos_base.TzPervasives.String.Map.key ->
  t ->
  t * Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t

Source

val slash : 
  Tezos_protocol_alpha.Protocol.Alpha_context.Constants.Parametric.t ->
  Tez.t ->
  Tezos_protocol_alpha.Protocol.Percentage.t ->
  t ->
  t * Tez.t * Tez.t

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-protocol-alpha-libs.test-helpers/Tezos_alpha_test_helpers/Tez_staking_helpers/Frozen_tez/index.html

Module `Tez_staking_helpers.Frozen_tez`Source

package octez-protocol-alpha-libs

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-protocol-alpha-libs.test-helpers/Tezos_alpha_test_helpers/Tez_staking_helpers/Frozen_tez/index.html

Module Tez_staking_helpers.Frozen_tezSource

Module `Tez_staking_helpers.Frozen_tez`Source