package octez-protocol-016-PtMumbai-libs

You can search for identifiers within the package.

in-package search v0.2.0

octez-protocol-016-PtMumbai-libs.client
- Tezos_client_016_PtMumbai
octez-protocol-016-PtMumbai-libs.client.commands
- Tezos_client_016_PtMumbai_commands
octez-protocol-016-PtMumbai-libs.client.commands-registration
- Tezos_client_016_PtMumbai_commands_registration
  - Alpha_commands_registration
octez-protocol-016-PtMumbai-libs.client.sapling
- Tezos_client_sapling_016_PtMumbai
octez-protocol-016-PtMumbai-libs.layer2-utils
- Tezos_layer2_utils_016_PtMumbai
  - Layer1_services
octez-protocol-016-PtMumbai-libs.plugin
- Tezos_protocol_plugin_016_PtMumbai
  - Metrics_plugin
  - Plugin
  - Plugin_errors
  - RPC
    
    Baking_rights
    
    S
    
    Big_map
    
    S
    
    Contract
    
    S
    
    Dal
    
    S
    
    Endorsing_rights
    
    S
    
    Forge
    
    Manager
    
    S
    
    Tx_rollup
    
    Commitment
    
    Inbox
    
    Withdraw
    
    Parse
    
    S
    
    Registration
    
    S
    
    Sc_rollup
    
    S
    
    Scripts
    
    S
    
    Traced_interpreter
    
    Unparsing_mode
    
    UNPARSING_MODE
    
    Unparse_types
    
    Tx_rollup
    
    S
    
    Validators
    
    S
  - Script_interpreter_logging
    
    Logger_base
  - View_helpers
octez-protocol-016-PtMumbai-libs.plugin-registerer
- Tezos_protocol_plugin_016_PtMumbai_registerer
  - Plugin_registerer
    
    Metrics
    
    RPC
octez-protocol-016-PtMumbai-libs.smart-rollup
- Tezos_smart_rollup_016_PtMumbai
  - Context_helpers
    
    In_memory
    
    Tree
    
    P
    
    Tree
  - Game_helpers
    
    Wasm
  - Proof_helpers
  - Pvm_in_memory
    
    Arith
    
    Internal_for_tests
    
    S
    
    Internal_for_tests
    
    Wasm
    
    Internal_for_tests
octez-protocol-016-PtMumbai-libs.smart-rollup-layer2
- Tezos_smart_rollup_layer2_016_PtMumbai
  - Sc_rollup_proto_types
    
    Address
    
    Commitment
    
    Commitment_hash
    
    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

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Program : 
  Tezos_client_base.Client_aliases.Alias
    with type t =
           Tezos_client_016_PtMumbai.Michelson_v1_parser.parsed
             Tezos_micheline.Micheline_parser.parsing_result

type simulation_params = {

input : Michelson_v1_parser.parsed;
unparsing_mode : Tezos_protocol_016_PtMumbai.Protocol.Script_ir_unparser.unparsing_mode;
now : Tezos_protocol_016_PtMumbai.Protocol.Script_timestamp.t option;
level : Tezos_protocol_016_PtMumbai.Protocol.Script_int.n Tezos_protocol_016_PtMumbai.Protocol.Script_int.num option;
source : Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Contract.t option;
payer : Tezos_crypto.Signature.public_key_hash option;
gas : Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Gas.Arith.integral option;

}

type run_view_params = {

shared_params : simulation_params;
contract : Tezos_protocol_016_PtMumbai.Protocol.Contract_hash.t;
entrypoint : Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Entrypoint.t;

}

type run_script_view_params = {

shared_params : simulation_params;
contract : Tezos_protocol_016_PtMumbai.Protocol.Contract_hash.t;
view : string;
unlimited_gas : bool;

}

type run_params = {

shared_params : simulation_params;
amount : Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Tez.t option;
balance : Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Tez.t option;
program : Michelson_v1_parser.parsed;
storage : Michelson_v1_parser.parsed;
entrypoint : Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Entrypoint.t option;
self : Tezos_protocol_016_PtMumbai.Protocol.Contract_hash.t option;

}

val run_view : 
  Protocol_client_context.rpc_context ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  run_view_params ->
  Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Script.expr
    Tezos_base.TzPervasives.tzresult
    Lwt.t

Calls Tezos_protocol_plugin_alpha.Plugin.RPC.Scripts.run_tzip4_view

val run_script_view : 
  Protocol_client_context.rpc_context ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  run_script_view_params ->
  Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Script.expr
    Tezos_base.TzPervasives.tzresult
    Lwt.t

run_script_view cctxt ~chain ~block params executes Tezos_protocol_plugin_alpha.Plugin.RPC.Scripts.run_script_view, the RPC to run a Michelson view offchain and returns its value.

val run : 
  Protocol_client_context.rpc_context ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  run_params ->
  (Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Script.expr
   * Tezos_protocol_016_PtMumbai.Protocol.Apply_internal_results.packed_internal_operation
       list
   * Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Lazy_storage.diffs
       option)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

Calls Tezos_protocol_plugin_alpha.Plugin.RPC.Scripts.run_code

val trace : 
  Protocol_client_context.rpc_context ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  run_params ->
  (Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Script.expr
   * Tezos_protocol_016_PtMumbai.Protocol.Apply_internal_results.packed_internal_operation
       list
   * Tezos_protocol_016_PtMumbai.Protocol.Script_typed_ir.execution_trace
   * Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Lazy_storage.diffs
       option)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

Calls Tezos_protocol_plugin_alpha.Plugin.RPC.Scripts.trace_code

val print_view_result : 
  Protocol_client_context.full ->
  Tezos_protocol_016_PtMumbai.Protocol.Script_repr.expr
    Tezos_base.TzPervasives.tzresult ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val print_run_result : 
  Protocol_client_context.full ->
  show_source:bool ->
  parsed:Michelson_v1_parser.parsed ->
  (Tezos_protocol_016_PtMumbai.Protocol.Script_repr.expr
   * Tezos_protocol_016_PtMumbai.Protocol.Apply_internal_results.packed_internal_operation
       list
   * Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Lazy_storage.diffs
       option)
    Tezos_base.TzPervasives.tzresult ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val print_trace_result : 
  Protocol_client_context.full ->
  show_source:bool ->
  parsed:Michelson_v1_parser.parsed ->
  (Tezos_protocol_016_PtMumbai.Protocol.Script_repr.expr
   * Tezos_protocol_016_PtMumbai.Protocol.Apply_internal_results.packed_internal_operation
       list
   * Tezos_protocol_016_PtMumbai.Protocol.Script_typed_ir.execution_trace
   * Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Lazy_storage.diffs
       option)
    Tezos_base.TzPervasives.tzresult ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val typecheck_data : 
  Protocol_client_context.rpc_context ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  ?gas:Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Gas.Arith.integral ->
  ?legacy:bool ->
  data:Michelson_v1_parser.parsed ->
  ty:Michelson_v1_parser.parsed ->
  unit ->
  Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Gas.t
    Tezos_base.TzPervasives.tzresult
    Lwt.t

Calls Tezos_protocol_plugin_alpha.Plugin.RPC.Scripts.typecheck_data

val typecheck_program : 
  Protocol_client_context.rpc_context ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  ?gas:Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Gas.Arith.integral ->
  ?legacy:bool ->
  show_types:bool ->
  Michelson_v1_parser.parsed ->
  (Tezos_protocol_016_PtMumbai.Protocol.Script_tc_errors.type_map
   * Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Gas.t)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

Calls Tezos_protocol_plugin_alpha.Plugin.RPC.Scripts.typecheck_code

val print_typecheck_result : 
  emacs:bool ->
  show_types:bool ->
  print_source_on_error:bool ->
  display_names:bool ->
  name:string ->
  Michelson_v1_parser.parsed ->
  (Tezos_protocol_016_PtMumbai.Protocol.Script_tc_errors.type_map
   * Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Gas.t)
    Tezos_base.TzPervasives.tzresult ->
  Tezos_client_base.Client_context.printer ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val script_size : 
  Protocol_client_context.rpc_context ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  ?gas:Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Gas.Arith.integral ->
  ?legacy:bool ->
  program:Michelson_v1_parser.parsed ->
  storage:Michelson_v1_parser.parsed ->
  unit ->
  int Tezos_base.TzPervasives.tzresult Lwt.t

Calls Tezos_protocol_plugin_alpha.Plugin.RPC.Scripts.script_size

val entrypoint_type : 
  Protocol_client_context.rpc_context ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  Michelson_v1_parser.parsed ->
  entrypoint:Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Entrypoint.t ->
  Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Script.expr option
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val print_entrypoint_type : 
  Protocol_client_context.full ->
  emacs:bool ->
  ?script_name:string ->
  show_source:bool ->
  parsed:Michelson_v1_parser.parsed ->
  entrypoint:Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Entrypoint.t ->
  Tezos_protocol_016_PtMumbai.Protocol.Script_repr.expr option
    Tezos_base.TzPervasives.tzresult ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val list_entrypoints : 
  Protocol_client_context.rpc_context ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  Michelson_v1_parser.parsed ->
  (string * Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Script.expr)
    list
    Tezos_base.TzPervasives.tzresult
    Lwt.t

Calls Michelson_v1_entrypoints.list_entrypoints

val print_entrypoints_list : 
  Protocol_client_context.full ->
  emacs:bool ->
  ?script_name:string ->
  show_source:bool ->
  parsed:Michelson_v1_parser.parsed ->
  (string * Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Script.expr)
    list
    Tezos_base.TzPervasives.tzresult ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val list_unreachables : 
  Protocol_client_context.rpc_context ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  Michelson_v1_parser.parsed ->
  Tezos_protocol_016_PtMumbai.Protocol.Michelson_v1_primitives.prim list list
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val print_unreachables : 
  Protocol_client_context.full ->
  emacs:bool ->
  ?script_name:string ->
  show_source:bool ->
  parsed:Michelson_v1_parser.parsed ->
  Tezos_protocol_016_PtMumbai.Protocol.Michelson_v1_primitives.prim list list
    Tezos_base.TzPervasives.tzresult ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Calls Michelson_v1_entrypoints.print_unreachables