package octez-protocol-alpha-libs

You can search for identifiers within the package.

in-package search v0.2.0

octez-protocol-alpha-libs.baking
- Tezos_baking_alpha
octez-protocol-alpha-libs.baking-commands
- Tezos_baking_alpha_commands
  - Baking_commands
octez-protocol-alpha-libs.baking-commands.registration
- Tezos_baking_alpha_commands_registration
  - Baking_commands_registration
octez-protocol-alpha-libs.baking.tenderbrute
- Tenderbrute_alpha
  - Tenderbrute
octez-protocol-alpha-libs.bakings.mockup-simulator
- Tezos_alpha_mockup_simulator
octez-protocol-alpha-libs.client
- Tezos_client_alpha
octez-protocol-alpha-libs.client.commands
- Tezos_client_alpha_commands
octez-protocol-alpha-libs.client.commands-registration
- Tezos_client_alpha_commands_registration
  - Alpha_commands_registration
octez-protocol-alpha-libs.client.sapling
- Tezos_client_sapling_alpha
octez-protocol-alpha-libs.dac
- Tezos_dac_alpha
  - Dac_plugin_registration
    
    Make
    
    Mapper
    
    Proto
    
    Mempool
octez-protocol-alpha-libs.dal
- Tezos_dal_alpha
octez-protocol-alpha-libs.layer2-utils
- Tezos_layer2_utils_alpha
  - Layer1_services
octez-protocol-alpha-libs.plugin
- Tezos_protocol_plugin_alpha
  - Mempool
    
    Conflict_map
    
    Internal_for_tests
  - Metrics_plugin
  - Plugin
  - Plugin_errors
  - RPC
    
    Attestation_rights
    
    S
    
    Baking_rights
    
    S
    
    Big_map
    
    S
    
    Contract
    
    S
    
    Dal
    
    S
    
    Delegates
    
    S
    
    Forge
    
    Manager
    
    S
    
    Parse
    
    S
    
    Registration
    
    S
    
    Sc_rollup
    
    S
    
    Scripts
    
    Normalize_stack
    
    S
    
    Traced_interpreter
    
    Unparsing_mode
    
    UNPARSING_MODE
    
    Unparse_types
    
    Staking
    
    S
    
    Validators
    
    S
  - Script_interpreter_logging
    
    Logger_base
  - View_helpers
octez-protocol-alpha-libs.plugin-registerer
- Tezos_protocol_plugin_alpha_registerer
  - Plugin_registerer
    
    Metrics
    
    RPC
    
    Validation
octez-protocol-alpha-libs.smart-rollup
- Tezos_smart_rollup_alpha
  - Context_helpers
    
    In_memory
    
    Tree
  - Game_helpers
    
    Wasm
  - Pvm_in_memory
    
    Arith
    
    Internal_for_tests
    
    S
    
    Internal_for_tests
    
    Wasm
    
    Internal_for_tests
octez-protocol-alpha-libs.smart-rollup-layer2
- Tezos_smart_rollup_layer2_alpha
  - Sc_rollup_proto_types
    
    Address
    
    Commitment
    
    Commitment_hash
    
    Constants
    
    Dal
    
    Page_index
    
    Slot_header
    
    Slot_history
    
    Slot_history_cache
    
    Slot_index
    
    Game
    
    Inbox
    
    Inbox_hash
    
    Kind
    
    Merkelized_payload_hashes_hash
    
    State_hash
  - Sc_rollup_services
    
    Block
    
    Helpers
    
    Encodings
    
    Query
octez-protocol-alpha-libs.test-helpers
- Tezos_alpha_test_helpers
  - Account
  - Account_helpers
    
    CycleMap
  - Adaptive_issuance_helpers
  - Assert
    
    Int32
    
    Int64
  - Big_map_helpers
  - Block
    
    Forge
  - Consensus_helpers
  - Constants_helpers
    
    Set
    
    Adaptive_issuance
    
    Adaptive_rewards_params
    
    Issuance_weights
  - Context
    
    Contract
    
    Dal
    
    Delegate
    
    Sc_rollup
    
    Vote
  - Contract_helpers
  - Cpmm_logic
    
    Simulate
    
    Simulate_raw
  - Cpmm_repr
    
    Parameter
    
    Storage
  - Dal_helpers
    
    Make
    
    P
  - Dummy_zk_rollup
    
    Bound
    
    Bounded
    
    Encoding
    
    L
    
    Anemoi
    
    Bool
    
    Internal
    
    Bytes
    
    Ecc
    
    Encodings
    
    Enum
    
    N
    
    Input
    
    Limb
    
    N
    
    Limbs
    
    N
    
    Mod_arith
    
    Num
    
    Poseidon
    
    VL
    
    P
    
    V
    
    L
    
    Anemoi
    
    Bool
    
    Internal
    
    Bytes
    
    Ecc
    
    Encodings
    
    Enum
    
    N
    
    Input
    
    Limb
    
    N
    
    Limbs
    
    N
    
    Mod_arith
    
    Num
    
    Poseidon
    
    Operator
    
    Internal_for_tests
    
    Params
    
    Types
    
    Encodings
    
    Bounded_e
    
    VL
    
    L
    
    Anemoi
    
    Bool
    
    Internal
    
    Bytes
    
    Ecc
    
    Encodings
    
    Enum
    
    N
    
    Input
    
    Limb
    
    N
    
    Limbs
    
    N
    
    Mod_arith
    
    Num
    
    Poseidon
    
    P
    
    Dummy
    
    V
    
    Bounded_u
    
    L
    
    Anemoi
    
    Bool
    
    Internal
    
    Bytes
    
    Ecc
    
    Encodings
    
    Enum
    
    N
    
    Input
    
    Limb
    
    N
    
    Limbs
    
    N
    
    Mod_arith
    
    Num
    
    Poseidon
    
    V
    
    E
    
    Bounded_e
    
    VL
    
    L
    
    Anemoi
    
    Bool
    
    Internal
    
    Bytes
    
    Ecc
    
    Encodings
    
    Enum
    
    N
    
    Input
    
    Limb
    
    N
    
    Limbs
    
    N
    
    Mod_arith
    
    Num
    
    Poseidon
  - Expr
  - Expr_common
  - Incremental
  - Liquidity_baking_generator
  - Liquidity_baking_machine
    
    ConcreteMachine
    
    SymbolicMachine
    
    ValidationMachine
    
    Concrete
    
    Symbolic
  - Log_helpers
  - Lqt_fa12_repr
    
    Parameter
    
    Storage
  - Lwt_result_wrap_syntax
  - Merkle_list_helper
    
    Hash
    
    Map
    
    Set
    
    ML
    
    Internal_for_tests
  - Nonce
  - Op
  - Operation_generator
    
    Gen_hash
    
    H
  - Result_wrap_syntax
  - Rewards
  - Sapling_helpers
    
    Alpha_context_helpers
    
    Common
    
    Interpreter_helpers
  - Sc_rollup_helpers
    
    Arith_pvm_eval
    
    Internal_for_tests
    
    Make_PVM_eval
    
    Internal_for_tests
    
    PVM
    
    Internal_for_tests
    
    Make_in_memory_context
    
    Context
    
    Proof
    
    Tree
    
    Tree
    
    Node_inbox
    
    PVM_eval
    
    Internal_for_tests
    
    Payloads_histories
    
    Protocol_inbox
    
    Protocol_inbox_with_ctxt
    
    Wasm_pvm_eval
    
    Internal_for_tests
    
    Wrong_arith_pvm
    
    Internal_for_tests
    
    Wrong_in_memory_context
    
    Tree
  - Scenario
  - Scenario_bake
  - Scenario_base
  - Scenario_begin
  - Scenario_constants
  - Scenario_dsl
  - Scenario_op
  - Script_big_map
  - Script_map
  - Script_set
  - Slashing_helpers
    
    Full_denunciation
    
    Misbehaviour_repr
  - State
  - State_account
  - State_ai_flags
    
    AI
    
    AI_Activation
    
    Autostake
    
    Delayed_slashing
    
    NS
  - Test_global_constants
    
    Generators
  - Testable
  - Tez_helpers
    
    Compare
    
    Ez_tez
  - Tez_staking_helpers
    
    Frozen_tez
    
    Partial_tez
    
    Tez
    
    Unstaked_finalizable
    
    Unstaked_frozen
  - Ticket_helpers
  - Transfers
  - Zk_rollup_l2_helpers

Legend:
Library
Module
Module type
Parameter
Class
Class type

val apply_end_cycle : 
  Tezos_alpha_test_helpers.State_account.Cycle.t ->
  Block.t ->
  Block.t ->
  State.t ->
  State.t Tezos_base.TzPervasives.tzresult Lwt.t

Applies when baking the last block of a cycle

val apply_new_cycle : 
  Tezos_alpha_test_helpers.State_account.Cycle.cycle ->
  State.t ->
  State.t

Applies when baking the first block of a cycle. Technically nothing special happens, but we need to update the unslashable unstakes since it's done lazily

val check_all_balances : 
  Block.t ->
  State.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

After baking and applying rewards in state

val check_issuance_rpc : Block.t -> unit Tezos_base.TzPervasives.tzresult Lwt.t

val attest_all_ : 
  (Block.t * State.t) ->
  (Block.t * State.t, Tezos_base.TzPervasives.tztrace) result Lwt.t

val attest_all : (Block.t * State.t, Block.t * State.t) Scenario_dsl.scenarios

val bake : 
  ?baker:string ->
  Scenario_base.t ->
  Scenario_base.t Tezos_base.TzPervasives.tzresult Lwt.t

Bake a block, with the given baker and the given operations.

val bake_until_next_cycle : 
  Scenario_base.t ->
  Scenario_base.t Tezos_base.TzPervasives.tzresult Lwt.t

Bake until a cycle is reached, using bake instead of Block.bake

val bake_until_dawn_of_next_cycle : 
  Scenario_base.t ->
  Scenario_base.t Tezos_base.TzPervasives.tzresult Lwt.t

Bake all the remaining blocks of the current cycle

val next_block : (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

Bake a single block

val next_block_with_baker : 
  string ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

Bake a single block with a specific baker

val next_cycle_ : 
  Scenario_base.t ->
  Scenario_base.t Tezos_base.TzPervasives.tzresult Lwt.t

Bake until the end of a cycle

val next_cycle : (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

Bake until the end of a cycle

val exec_op : 
  ((Block.t * 'a) ->
    (State.t
     * Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation list,
      Tezos_base.TzPervasives.tztrace)
      result
      Lwt.t) ->
  (Block.t * 'a, Scenario_base.t) Scenario_dsl.scenarios

Executes an operation: f should return a new state and a list of operations, which are then applied

val wait_n_cycles : 
  int ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

Waiting functions

val wait_n_blocks : 
  int ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

val wait_cycle_f_es : 
  (Scenario_base.t ->
    Scenario_base.t ->
    bool Tezos_base.TzPervasives.tzresult Lwt.t) ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

val wait_cycle_f : 
  (Scenario_base.t -> Scenario_base.t -> bool) ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

Waits until condition init_t current_t is fulfilled. It is checked on the first block of every cycle. If it returns false, another cycle is baked, until it succeeds.

val wait_cycle_until : 
  [< `AI_activation
  | `AI_activation_with_votes
  | `And of 'b * 'b
  | `delegate_parameters_activation
  | `right_before_delegate_parameters_activation ] as 'a ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

Wait until we are in a cycle satisfying the given condition. Fails if AI_activation is requested and AI is not set to be activated in the future.

val wait_ai_activation : 
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

Wait until AI activates. Fails if AI is not set to be activated in the future.

val wait_delegate_parameters_activation : 
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

wait delegate_parameters_activation_delay cycles

val wait_n_cycles_f_es : 
  (Scenario_base.t -> int Tezos_base.TzPervasives.tzresult Lwt.t) ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

val wait_n_cycles_f : 
  (Scenario_base.t -> int) ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios