package octez-protocol-017-PtNairob-libs

You can search for identifiers within the package.

in-package search v0.2.0

octez-protocol-017-PtNairob-libs.client
- Tezos_client_017_PtNairob
octez-protocol-017-PtNairob-libs.client.commands
- Tezos_client_017_PtNairob_commands
octez-protocol-017-PtNairob-libs.client.commands-registration
- Tezos_client_017_PtNairob_commands_registration
  - Alpha_commands_registration
octez-protocol-017-PtNairob-libs.client.sapling
- Tezos_client_sapling_017_PtNairob
octez-protocol-017-PtNairob-libs.layer2-utils
- Tezos_layer2_utils_017_PtNairob
  - Layer1_services
octez-protocol-017-PtNairob-libs.plugin
- Tezos_protocol_plugin_017_PtNairob
  - Metrics_plugin
  - Plugin
  - Plugin_errors
  - RPC
    
    Attestation_rights
    
    S
    
    Baking_rights
    
    S
    
    Big_map
    
    S
    
    Contract
    
    S
    
    Dal
    
    S
    
    Forge
    
    Manager
    
    S
    
    Tx_rollup
    
    Commitment
    
    Inbox
    
    Withdraw
    
    Parse
    
    S
    
    Registration
    
    S
    
    Sc_rollup
    
    S
    
    Scripts
    
    Normalize_stack
    
    S
    
    Traced_interpreter
    
    Unparsing_mode
    
    UNPARSING_MODE
    
    Unparse_types
    
    Tx_rollup
    
    S
    
    Validators
    
    S
  - Script_interpreter_logging
    
    Logger_base
  - View_helpers
octez-protocol-017-PtNairob-libs.plugin-registerer
- Tezos_protocol_plugin_017_PtNairob_registerer
  - Plugin_registerer
    
    Metrics
    
    RPC
octez-protocol-017-PtNairob-libs.smart-rollup
- Tezos_smart_rollup_017_PtNairob
  - 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-017-PtNairob-libs.smart-rollup-layer2
- Tezos_smart_rollup_layer2_017_PtNairob
  - 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 S : sig ... end

module type UNPARSING_MODE = sig ... end

module Traced_interpreter (Unparsing_mode : UNPARSING_MODE) : sig ... end

module Unparse_types : sig ... end

module Normalize_stack : sig ... end

val pp_instr_name : 
  'a 'b 'c 'd. Tezos_protocol_017_PtNairob.Environment.Format.formatter ->
  ('a, 'b, 'c, 'd) Tezos_protocol_017_PtNairob.Protocol.Script_typed_ir.kinstr ->
  unit

type Tezos_protocol_017_PtNairob.Environment.Error_monad.error +=

| Run_operation_does_not_support_consensus_operations

val run_operation_service : 
  Tezos_protocol_017_PtNairob.Protocol.Services_registration.rpc_context ->
  unit ->
  (Tezos_protocol_017_PtNairob.Protocol.Alpha_context.packed_operation
   * Tezos_protocol_environment_017_PtNairob.Chain_id.t) ->
  (Tezos_protocol_017_PtNairob.Protocol.Alpha_context.packed_protocol_data
   * Tezos_raw_protocol_017_PtNairob.Apply_results.packed_operation_metadata,
    Tezos_protocol_017_PtNairob.Environment.Error_monad.error
      Tezos_protocol_017_PtNairob.Environment.Error_monad.trace)
    Tezos_protocol_environment_017_PtNairob.Pervasives.result
    Tezos_protocol_environment_017_PtNairob.Lwt.t

Validate and apply the operation but skip signature checks; do not support consensus operations.

Return the unchanged operation protocol data, and the operation receipt ie. metadata containing balance updates, consumed gas, application success or failure, etc.

val simulate_operation_service : 
  Tezos_protocol_017_PtNairob.Protocol.Services_registration.rpc_context ->
  < successor_level : bool > ->
  (int32 option
   * Tezos_protocol_017_PtNairob.Protocol.Alpha_context.packed_operation
   * Tezos_protocol_environment_017_PtNairob.Chain_id.t
   * int) ->
  (Tezos_protocol_017_PtNairob.Protocol.Alpha_context.packed_protocol_data
   * Tezos_raw_protocol_017_PtNairob.Apply_results.packed_operation_metadata,
    Tezos_protocol_017_PtNairob.Environment.Error_monad.error
      Tezos_protocol_017_PtNairob.Environment.Error_monad.trace)
    Tezos_protocol_environment_017_PtNairob.Pervasives.result
    Tezos_protocol_environment_017_PtNairob.Lwt.t

val default_from_context : 
  'a ->
  ('b ->
    ('c, 'd) Tezos_protocol_environment_017_PtNairob.Pervasives.result
      Tezos_protocol_environment_017_PtNairob.Lwt.t) ->
  'e option ->
  ('c, 'd) Tezos_protocol_environment_017_PtNairob.Pervasives.result
    Tezos_protocol_environment_017_PtNairob.Lwt.t

type run_code_config = {

balance : Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Tez.t;
self : Tezos_protocol_017_PtNairob.Protocol.Contract_hash.t;
payer : Tezos_protocol_017_PtNairob.Environment.Signature.public_key_hash;
source : Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Contract.t;

}

val default_balance : Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Tez.t

val register : unit -> unit

val run_code : 
  ?unparsing_mode:
    Tezos_protocol_017_PtNairob.Protocol.Script_ir_unparser.unparsing_mode ->
  ?gas:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Gas.Arith.integral ->
  ?entrypoint:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Entrypoint.t ->
  ?balance:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Tez.t ->
  script:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr ->
  storage:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr ->
  input:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr ->
  amount:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Tez.t ->
  chain_id:Tezos_protocol_017_PtNairob.Environment.Chain_id.t ->
  source:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Contract.t option ->
  payer:
    Tezos_protocol_environment_017_PtNairob.Signature.Public_key_hash.t option ->
  self:Tezos_raw_protocol_017_PtNairob.Contract_hash.t option ->
  now:Tezos_protocol_017_PtNairob.Protocol.Script_timestamp.t option ->
  level:
    Tezos_protocol_017_PtNairob.Protocol.Script_int.n
      Tezos_protocol_017_PtNairob.Protocol.Script_int.num
      option ->
  'a Tezos_protocol_017_PtNairob.Environment.RPC_context.simple ->
  'b ->
  (Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr
   * Tezos_protocol_017_PtNairob.Protocol.Apply_internal_results.packed_internal_operation
       list
   * Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Lazy_storage.diffs
       option)
    Tezos_protocol_environment_017_PtNairob.Error_monad.shell_tzresult
    Tezos_protocol_environment_017_PtNairob.Lwt.t

val trace_code : 
  ?unparsing_mode:
    Tezos_protocol_017_PtNairob.Protocol.Script_ir_unparser.unparsing_mode ->
  ?gas:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Gas.Arith.integral ->
  ?entrypoint:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Entrypoint.t ->
  ?balance:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Tez.t ->
  script:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr ->
  storage:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr ->
  input:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr ->
  amount:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Tez.t ->
  chain_id:Tezos_protocol_017_PtNairob.Environment.Chain_id.t ->
  source:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Contract.t option ->
  payer:
    Tezos_protocol_environment_017_PtNairob.Signature.Public_key_hash.t option ->
  self:Tezos_raw_protocol_017_PtNairob.Contract_hash.t option ->
  now:Tezos_protocol_017_PtNairob.Protocol.Script_timestamp.t option ->
  level:
    Tezos_protocol_017_PtNairob.Protocol.Script_int.n
      Tezos_protocol_017_PtNairob.Protocol.Script_int.num
      option ->
  'a Tezos_protocol_017_PtNairob.Environment.RPC_context.simple ->
  'b ->
  (Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr
   * Tezos_protocol_017_PtNairob.Protocol.Apply_internal_results.packed_internal_operation
       list
   * Tezos_protocol_017_PtNairob.Protocol.Script_typed_ir.execution_trace
   * Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Lazy_storage.diffs
       option)
    Tezos_protocol_environment_017_PtNairob.Error_monad.shell_tzresult
    Tezos_protocol_environment_017_PtNairob.Lwt.t

val run_tzip4_view : 
  ?gas:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Gas.Arith.integral ->
  contract:Tezos_raw_protocol_017_PtNairob.Contract_hash.t ->
  entrypoint:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Entrypoint.t ->
  input:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr ->
  chain_id:Tezos_protocol_017_PtNairob.Environment.Chain_id.t ->
  now:Tezos_protocol_017_PtNairob.Protocol.Script_timestamp.t option ->
  level:
    Tezos_protocol_017_PtNairob.Protocol.Script_int.n
      Tezos_protocol_017_PtNairob.Protocol.Script_int.num
      option ->
  ?source:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Contract.t ->
  ?payer:Tezos_protocol_environment_017_PtNairob.Signature.Public_key_hash.t ->
  unparsing_mode:
    Tezos_protocol_017_PtNairob.Protocol.Script_ir_unparser.unparsing_mode ->
  'a Tezos_protocol_017_PtNairob.Environment.RPC_context.simple ->
  'b ->
  Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr
    Tezos_protocol_environment_017_PtNairob.Error_monad.shell_tzresult
    Tezos_protocol_environment_017_PtNairob.Lwt.t

val run_script_view : 
  ?gas:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Gas.Arith.integral ->
  contract:Tezos_raw_protocol_017_PtNairob.Contract_hash.t ->
  view:string ->
  input:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr ->
  ?unlimited_gas:bool ->
  chain_id:Tezos_protocol_017_PtNairob.Environment.Chain_id.t ->
  now:Tezos_protocol_017_PtNairob.Protocol.Script_timestamp.t option ->
  level:
    Tezos_protocol_017_PtNairob.Protocol.Script_int.n
      Tezos_protocol_017_PtNairob.Protocol.Script_int.num
      option ->
  ?source:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Contract.t ->
  ?payer:Tezos_protocol_environment_017_PtNairob.Signature.Public_key_hash.t ->
  unparsing_mode:
    Tezos_protocol_017_PtNairob.Protocol.Script_ir_unparser.unparsing_mode ->
  'a Tezos_protocol_017_PtNairob.Environment.RPC_context.simple ->
  'b ->
  Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr
    Tezos_protocol_environment_017_PtNairob.Error_monad.shell_tzresult
    Tezos_protocol_environment_017_PtNairob.Lwt.t

run_script_view is an helper function to call the corresponding RPC. unlimited_gas is set to false by default.

val typecheck_code : 
  ?gas:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Gas.Arith.integral ->
  ?legacy:bool ->
  script:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr ->
  ?show_types:bool ->
  'a Tezos_protocol_017_PtNairob.Environment.RPC_context.simple ->
  'b ->
  ((Tezos_raw_protocol_017_PtNairob.Alpha_context.Script.location
    * (Tezos_raw_protocol_017_PtNairob.Alpha_context.Script.expr list
       * Tezos_raw_protocol_017_PtNairob.Alpha_context.Script.expr list))
     list
   * Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Gas.t)
    Tezos_protocol_environment_017_PtNairob.Error_monad.shell_tzresult
    Tezos_protocol_environment_017_PtNairob.Lwt.t

val script_size : 
  ?gas:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Gas.Arith.integral ->
  ?legacy:bool ->
  script:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr ->
  storage:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr ->
  'a Tezos_protocol_017_PtNairob.Environment.RPC_context.simple ->
  'b ->
  int Tezos_protocol_environment_017_PtNairob.Error_monad.shell_tzresult
    Tezos_protocol_environment_017_PtNairob.Lwt.t

val typecheck_data : 
  ?gas:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Gas.Arith.integral ->
  ?legacy:bool ->
  data:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr ->
  ty:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr ->
  'a Tezos_protocol_017_PtNairob.Environment.RPC_context.simple ->
  'b ->
  Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Gas.t
    Tezos_protocol_environment_017_PtNairob.Error_monad.shell_tzresult
    Tezos_protocol_environment_017_PtNairob.Lwt.t

val pack_data : 
  ?gas:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Gas.Arith.integral ->
  data:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr ->
  ty:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr ->
  'a Tezos_protocol_017_PtNairob.Environment.RPC_context.simple ->
  'b ->
  (Tezos_protocol_environment_017_PtNairob.Bytes.t
   * Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Gas.t)
    Tezos_protocol_environment_017_PtNairob.Error_monad.shell_tzresult
    Tezos_protocol_environment_017_PtNairob.Lwt.t

val normalize_data : 
  ?legacy:bool ->
  data:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr ->
  ty:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr ->
  unparsing_mode:
    Tezos_protocol_017_PtNairob.Protocol.Script_ir_unparser.unparsing_mode ->
  'a Tezos_protocol_017_PtNairob.Environment.RPC_context.simple ->
  'b ->
  Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr
    Tezos_protocol_environment_017_PtNairob.Error_monad.shell_tzresult
    Tezos_protocol_environment_017_PtNairob.Lwt.t

val normalize_stack : 
  ?legacy:bool ->
  stack:
    (Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr
     * Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr)
      list ->
  unparsing_mode:
    Tezos_protocol_017_PtNairob.Protocol.Script_ir_unparser.unparsing_mode ->
  'a Tezos_protocol_017_PtNairob.Environment.RPC_context.simple ->
  'b ->
  (Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr
   * Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr)
    list
    Tezos_protocol_environment_017_PtNairob.Error_monad.shell_tzresult
    Tezos_protocol_environment_017_PtNairob.Lwt.t

val normalize_script : 
  script:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr ->
  unparsing_mode:
    Tezos_protocol_017_PtNairob.Protocol.Script_ir_unparser.unparsing_mode ->
  'a Tezos_protocol_017_PtNairob.Environment.RPC_context.simple ->
  'b ->
  Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr
    Tezos_protocol_environment_017_PtNairob.Error_monad.shell_tzresult
    Tezos_protocol_environment_017_PtNairob.Lwt.t

val normalize_type : 
  ty:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr ->
  'a Tezos_protocol_017_PtNairob.Environment.RPC_context.simple ->
  'b ->
  Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr
    Tezos_protocol_environment_017_PtNairob.Error_monad.shell_tzresult
    Tezos_protocol_environment_017_PtNairob.Lwt.t

val run_operation : 
  op:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Operation.packed ->
  chain_id:Tezos_protocol_017_PtNairob.Environment.Chain_id.t ->
  'a Tezos_protocol_017_PtNairob.Environment.RPC_context.simple ->
  'b ->
  (Tezos_raw_protocol_017_PtNairob.Alpha_context.Operation.packed_protocol_data
   * Tezos_protocol_017_PtNairob.Protocol.Apply_results.packed_operation_metadata)
    Tezos_protocol_environment_017_PtNairob.Error_monad.shell_tzresult
    Tezos_protocol_environment_017_PtNairob.Lwt.t

val simulate_operation : 
  op:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Operation.packed ->
  chain_id:Tezos_protocol_017_PtNairob.Environment.Chain_id.t ->
  latency:int ->
  ?successor_level:bool ->
  ?blocks_before_activation:int32 ->
  'a Tezos_protocol_017_PtNairob.Environment.RPC_context.simple ->
  'b ->
  (Tezos_raw_protocol_017_PtNairob.Alpha_context.Operation.packed_protocol_data
   * Tezos_protocol_017_PtNairob.Protocol.Apply_results.packed_operation_metadata)
    Tezos_protocol_environment_017_PtNairob.Error_monad.shell_tzresult
    Tezos_protocol_environment_017_PtNairob.Lwt.t

val entrypoint_type : 
  script:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr ->
  entrypoint:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Entrypoint.t ->
  'a Tezos_protocol_017_PtNairob.Environment.RPC_context.simple ->
  'b ->
  Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr
    Tezos_protocol_environment_017_PtNairob.Error_monad.shell_tzresult
    Tezos_protocol_environment_017_PtNairob.Lwt.t

val list_entrypoints : 
  'a Tezos_protocol_017_PtNairob.Environment.RPC_context.simple ->
  'b ->
  script:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr ->
  (Tezos_protocol_017_PtNairob.Protocol.Michelson_v1_primitives.prim list list
   * (string * Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr)
       list)
    Tezos_protocol_environment_017_PtNairob.Error_monad.shell_tzresult
    Tezos_protocol_environment_017_PtNairob.Lwt.t