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

Source

val join_errors : 
  (unit, 'a list) result ->
  (unit, 'a list) result ->
  (unit, 'a list) result Lwt.t

Sourcemodule Tez : sig ... end

Tez manipulation module

Sourcemodule Partial_tez : sig ... end

Representation of Tez with non integer values

Sourcemodule Cycle = Tezos_protocol_alpha.Protocol.Alpha_context.Cycle

Sourcemodule Frozen_tez : sig ... end

Frozen_tez represents frozen stake and frozen unstaked funds. Properties:

Sourcemodule Unstaked_frozen : sig ... end

Representation of Unstaked frozen deposits

Sourcemodule Unstaked_finalizable : sig ... end

Representation of unstaked finalizable tez

Sourcetype staking_parameters = {

limit_of_staking_over_baking : Q.t;
edge_of_baking_over_staking : Q.t;

}

Abstraction of the staking parameters for tests

Sourcemodule CycleMap : sig ... end

Sourcetype account_state = {

pkh : Tezos_base.TzPervasives.Signature.Public_key_hash.t;
contract : Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t;
delegate : string option;
parameters : staking_parameters;
liquid : Tez.t;
bonds : Tez.t;
frozen_deposits : Frozen_tez.t;
unstaked_frozen : Unstaked_frozen.t;
unstaked_finalizable : Unstaked_finalizable.t;
staking_delegator_numerator : Z.t;
staking_delegate_denominator : Z.t;
frozen_rights : Tez.t CycleMap.t;
slashed_cycles : Cycle.t list;

}

Abstract information of accounts

Source

val init_account : 
  ?delegate:string ->
  pkh:Tezos_base.TzPervasives.Signature.Public_key_hash.t ->
  contract:Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  parameters:staking_parameters ->
  ?liquid:Tez.t ->
  ?bonds:Tez.t ->
  ?frozen_deposits:Frozen_tez.t ->
  ?unstaked_frozen:Unstaked_frozen.t ->
  ?unstaked_finalizable:Unstaked_finalizable.t ->
  ?staking_delegator_numerator:Z.t ->
  ?staking_delegate_denominator:Z.t ->
  ?frozen_rights:Tez.t CycleMap.t ->
  ?slashed_cycles:Cycle.t list ->
  unit ->
  account_state

Sourcetype account_map = account_state Tezos_base.TzPervasives.String.Map.t

Sourcetype balance = {

liquid_b : Tez.t;
bonds_b : Tez.t;
staked_b : Partial_tez.t;
unstaked_frozen_b : Tez.t;
unstaked_finalizable_b : Tez.t;
staking_delegator_numerator_b : Z.t;
staking_delegate_denominator_b : Z.t;

}

Balance returned by RPCs. Partial tez are rounded down

Sourceval balance_zero : balance

Source

val balance_of_account : 
  Tezos_base.TzPervasives.String.Map.key ->
  account_map ->
  balance

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

Sourceval balance_update_pp : Format.formatter -> (balance * balance) -> unit

Source

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

Source

val update_account : 
  f:('a -> 'a) ->
  Tezos_base.TzPervasives.String.Map.key ->
  'a Tezos_base.TzPervasives.String.Map.t ->
  'a Tezos_base.TzPervasives.String.Map.t

Source

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

Source

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

Source

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

Source

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

Source

val stake_from_unstake : 
  Tez.t ->
  Cycle.cycle ->
  int ->
  Tezos_base.TzPervasives.String.Map.key ->
  account_state Tezos_base.TzPervasives.String.Map.t ->
  account_state Tezos_base.TzPervasives.String.Map.t * Tez.t

Source

val apply_stake : 
  Tez.t ->
  Cycle.cycle ->
  int ->
  Tezos_base.TzPervasives.String.Map.key ->
  account_state Tezos_base.TzPervasives.String.Map.t ->
  account_state Tezos_base.TzPervasives.String.Map.t

Source

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

Sourceval apply_unslashable_f : Cycle.t -> account_state -> account_state

Source

val apply_unslashable : 
  Cycle.t ->
  Tezos_base.TzPervasives.String.Map.key ->
  account_state Tezos_base.TzPervasives.String.Map.t ->
  account_state Tezos_base.TzPervasives.String.Map.t

Source

val apply_unslashable_for_all : 
  Cycle.t ->
  account_state Tezos_base.TzPervasives.String.Map.t ->
  account_state Tezos_base.TzPervasives.String.Map.t

Source

val apply_finalize : 
  Tezos_base.TzPervasives.String.Map.key ->
  account_state Tezos_base.TzPervasives.String.Map.t ->
  account_state Tezos_base.TzPervasives.String.Map.t

Source

val balance_and_total_balance_of_account : 
  Tezos_base.TzPervasives.String.Map.key ->
  account_map ->
  balance * Tez.t

Source

val apply_slashing : 
  (Tezos_base.TzPervasives.Signature.Public_key_hash.t
   * Tezos_protocol_alpha.Protocol.Denunciations_repr.item) ->
  Cycle.cycle ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Constants.Parametric.t ->
  account_state Tezos_base.TzPervasives.String.Map.t ->
  account_state Tezos_base.TzPervasives.String.Map.t * Tez.t

Source

val update_frozen_rights_cycle : 
  CycleMap.key ->
  account_state Tezos_base.TzPervasives.String.Map.t ->
  account_state Tezos_base.TzPervasives.String.Map.t

Source

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

Source

val assert_balance_check : 
  loc:string ->
  Tezos_alpha_test_helpers__Context.t ->
  Tezos_base.TzPervasives.String.Map.key ->
  account_state Tezos_base.TzPervasives.String.Map.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

AI operations

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 ->
  parameters:staking_parameters ->
  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 ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed
    Tezos_base.TzPervasives.tzresult
    Lwt.t

Source

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

Source

val portion_of_rewards_to_liquid_for_cycle : 
  ?policy:Block.baker_policy ->
  Tezos_alpha_test_helpers__Context.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Cycle.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.public_key_hash ->
  Tez.t ->
  (Tez.t, Tezos_base.TzPervasives.tztrace) result Lwt.t