Adaptive_issuance_helpers (p.octez-protocol-alpha-libs.18.1.doc.octez-protocol-alpha-libs.test-helpers.Tezos_alpha_test_helpers.Adaptive_issuance

Sourcemodule Tez : sig ... end

Sourcetype balance_breakdown = {

liquid : Tez.t;
bonds : Tez.t;
staked : Q.t;
unstaked_frozen : Tez.t;
unstaked_finalizable : Tez.t;
pool_tez : Tez.t;
pool_pseudo : Q.t;

}

Sourceval balance_pp : Format.formatter -> balance_breakdown -> unit

val balance_update_pp : 
  Format.formatter ->
  (balance_breakdown * balance_breakdown) ->
  unit

Source

val assert_balance_equal : 
  loc:string ->
  balance_breakdown ->
  balance_breakdown ->
  (unit, Tezos_base.TzPervasives.tztrace) result Lwt.t

Source

val balance_add : 
  balance_breakdown ->
  balance_breakdown ->
  (balance_breakdown, Tezos_base.TzPervasives.tztrace) result Lwt.t

Source

val balance_sub : 
  balance_breakdown ->
  balance_breakdown ->
  (balance_breakdown, Tezos_base.TzPervasives.tztrace) result Lwt.t

Source

val add_liquid_rewards : 
  Tez.tez ->
  balance_breakdown ->
  (balance_breakdown, Tezos_base.TzPervasives.tztrace) result Lwt.t

Source

val add_frozen_rewards : 
  Tez.tez ->
  balance_breakdown ->
  (balance_breakdown, Tezos_base.TzPervasives.tztrace) result Lwt.t

Sourceval tez_of_staked : pool_tez:Tez.t -> pool_pseudo:Q.t -> Q.t -> Tez.tez

Sourceval staked_of_tez : pool_tez:Tez.t -> pool_pseudo:Q.t -> Tez.t -> Q.t

Source

val apply_transfer : 
  Tez.t ->
  (balance_breakdown * balance_breakdown) ->
  (balance_breakdown * balance_breakdown, Tezos_base.TzPervasives.tztrace)
    result
    Lwt.t

Source

val apply_stake : 
  Tez.t ->
  (balance_breakdown * balance_breakdown) ->
  (balance_breakdown * balance_breakdown, Tezos_base.TzPervasives.tztrace)
    result
    Lwt.t

Source

val apply_self_stake : 
  Tez.t ->
  balance_breakdown ->
  (balance_breakdown, Tezos_base.TzPervasives.tztrace) result Lwt.t

Source

val apply_unstake : 
  Tez.t ->
  (balance_breakdown * balance_breakdown) ->
  (balance_breakdown * balance_breakdown, Tezos_base.TzPervasives.tztrace)
    result
    Lwt.t

Source

val apply_self_unstake : 
  Tez.t ->
  balance_breakdown ->
  (balance_breakdown, Tezos_base.TzPervasives.tztrace) result Lwt.t

Source

val apply_unslashable : 
  Tez.tez ->
  balance_breakdown ->
  (balance_breakdown, Tezos_base.TzPervasives.tztrace) result Lwt.t

Source

val apply_finalize : 
  balance_breakdown ->
  (balance_breakdown, Tezos_base.TzPervasives.tztrace) result Lwt.t

Source

val total_balance_of_breakdown : 
  balance_breakdown ->
  pool_tez:Tez.t ->
  pool_pseudo:Q.t ->
  (Tez.tez, Tezos_base.TzPervasives.tztrace) result Lwt.t

Source

val get_balance_breakdown : 
  Tezos_alpha_test_helpers__Context.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  (balance_breakdown
   * Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t
   * Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t,
    Tezos_base.TzPervasives.tztrace)
    result
    Lwt.t

Source

val assert_balance_breakdown : 
  loc:string ->
  Tezos_alpha_test_helpers__Context.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  balance_breakdown ->
  pool_tez:Tez.t ->
  pool_pseudo:Q.t ->
  (unit, Tezos_base.TzPervasives.tztrace) result Lwt.t

Source

val get_launch_cycle : 
  loc:string ->
  Block.t ->
  (Tezos_protocol_alpha.Protocol.Alpha_context.Cycle.t,
    Tezos_base.TzPervasives.tztrace)
    result
    Lwt.t

Source

val stake : 
  Context.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed
    Tezos_base.TzPervasives.tzresult
    Lwt.t

Source

val set_delegate_parameters : 
  Context.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  limit_of_staking_over_baking:int ->
  edge_of_baking_over_staking_billionth:int ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed
    Tezos_base.TzPervasives.tzresult
    Lwt.t

Source

val unstake : 
  Context.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tez.tez ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed
    Tezos_base.TzPervasives.tzresult
    Lwt.t

Source

val finalize_unstake : 
  Context.t ->
  ?amount:Tez.tez ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed
    Tezos_base.TzPervasives.tzresult
    Lwt.t