package octez-protocol-alpha-libs

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

Representation of Unstaked frozen deposits

type r = {

cycle : Cycle.t;
initial : Tez.t;
current : Tez.t;
requests : Tez.t Tezos_base.TzPervasives.String.Map.t;
slash_pct : int;

}

type t = r list

type get_info = {

cycle : Cycle.t;
request : Tez.t;
current : Tez.t;

}

type get_info_list = get_info list

type finalizable_info = {

amount : Tez.t;
slashed_requests : Tez.t Tezos_base.TzPervasives.String.Map.t;

}

val zero : 'a list

val init_r : Cycle.t -> Tez.t -> Tezos_base.TzPervasives.String.Map.key -> r

val apply_slash_to_request : int -> Tez.t -> Tez.t

val apply_slash_to_current : 
  Tezos_protocol_alpha.Protocol.Alpha_context.Constants.Parametric.t ->
  int ->
  Tez.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t ->
  Tez.t * Tez.t * Tez.t

val remove_zeros : t -> t

val get : Tezos_base.TzPervasives.String.Map.key -> r list -> get_info_list

val get_total : Tezos_base.TzPervasives.String.Map.key -> r list -> Tez.t

val sum_current : r list -> Tez.t

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

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

val pop_cycle : Cycle.t -> t -> finalizable_info * t

val slash : 
  Tezos_protocol_alpha.Protocol.Alpha_context.Constants.Parametric.t ->
  slashable_deposits_period:int ->
  Cycle.t ->
  int ->
  t ->
  r list * (Tez.t * Tez.t) list