package octez-protocol-alpha-libs

You can search for identifiers within the package.

in-package search v0.2.0

Octez protocol alpha libraries

Install

sha256=c6df840ebbf115e454db949028c595bec558a59a66cade73b52a6d099d6fa4d4

sha512=d8aee903b9fe130d73176bc8ec38b78c9ff65317da3cb4f3415f09af0c625b4384e7498201fdb61aa39086a7d5d409d0ab3423f9bc3ab989a680cf444a79bc13

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 = {

}

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

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

Sourceval total_current : t -> Tez.t

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 : Tez.t -> t -> t

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

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

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

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

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

val slash : 
  Tez.t ->
  Tezos_protocol_alpha.Protocol.Int_percentage.t ->
  t ->
  t * Tez.t