package octez-protocol-017-PtNairob-libs
 sectionYPositions = computeSectionYPositions($el), 10)"
  x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
  >
  
  
  Octez protocol 017-PtNairob libraries
Install
    
    dune-project
 Dependency
Authors
Maintainers
Sources
  
    
      octez-19.0.tar.gz
    
    
        
    
  
  
  
    
  
  
    
  
        sha256=c6df840ebbf115e454db949028c595bec558a59a66cade73b52a6d099d6fa4d4
    
    
  sha512=d8aee903b9fe130d73176bc8ec38b78c9ff65317da3cb4f3415f09af0c625b4384e7498201fdb61aa39086a7d5d409d0ab3423f9bc3ab989a680cf444a79bc13
    
    
  doc/octez-protocol-017-PtNairob-libs.client/Tezos_client_017_PtNairob/Client_proto_programs/index.html
Module Tezos_client_017_PtNairob.Client_proto_programsSource
Source
module Program : 
  Tezos_client_base.Client_aliases.Alias
    with type t =
           Michelson_v1_parser.parsed
             Tezos_micheline.Micheline_parser.parsing_resultSource
type simulation_params = {- input : Michelson_v1_parser.parsed;
- unparsing_mode : Tezos_protocol_017_PtNairob.Protocol.Script_ir_unparser.unparsing_mode;
- 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 option;
- payer : Tezos_base.TzPervasives.Signature.public_key_hash option;
- gas : Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Gas.Arith.integral option;
}Source
type run_view_params = {- contract : Tezos_protocol_017_PtNairob.Protocol.Contract_hash.t;
- entrypoint : Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Entrypoint.t;
}Source
type run_params = {- amount : Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Tez.t option;
- balance : Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Tez.t option;
- program : Michelson_v1_parser.parsed;
- storage : Michelson_v1_parser.parsed;
- entrypoint : Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Entrypoint.t option;
- self : Tezos_protocol_017_PtNairob.Protocol.Contract_hash.t option;
}Source
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_017_PtNairob.Protocol.Alpha_context.Script.expr
    Tezos_base.TzPervasives.tzresult
    Lwt.tCalls Tezos_protocol_plugin_alpha.Plugin.RPC.Scripts.run_tzip4_view
Source
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_017_PtNairob.Protocol.Alpha_context.Script.expr
    Tezos_base.TzPervasives.tzresult
    Lwt.trun_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.
Source
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_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_base.TzPervasives.tzresult
    Lwt.tCalls Tezos_protocol_plugin_alpha.Plugin.RPC.Scripts.run_code
Source
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_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_base.TzPervasives.tzresult
    Lwt.tCalls Tezos_protocol_plugin_alpha.Plugin.RPC.Scripts.trace_code
Source
val print_view_result : 
  Protocol_client_context.full ->
  Tezos_protocol_017_PtNairob.Protocol.Script_repr.expr
    Tezos_base.TzPervasives.tzresult ->
  unit Tezos_base.TzPervasives.tzresult Lwt.tSource
val print_run_result : 
  Protocol_client_context.full ->
  show_source:bool ->
  parsed:Michelson_v1_parser.parsed ->
  (Tezos_protocol_017_PtNairob.Protocol.Script_repr.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_base.TzPervasives.tzresult ->
  unit Tezos_base.TzPervasives.tzresult Lwt.tSource
val print_trace_result : 
  Protocol_client_context.full ->
  show_source:bool ->
  parsed:Michelson_v1_parser.parsed ->
  (Tezos_protocol_017_PtNairob.Protocol.Script_repr.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_base.TzPervasives.tzresult ->
  unit Tezos_base.TzPervasives.tzresult Lwt.tSource
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_017_PtNairob.Protocol.Alpha_context.Gas.Arith.integral ->
  ?legacy:bool ->
  data:Michelson_v1_parser.parsed ->
  ty:Michelson_v1_parser.parsed ->
  unit ->
  Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Gas.t
    Tezos_base.TzPervasives.tzresult
    Lwt.tCalls Tezos_protocol_plugin_alpha.Plugin.RPC.Scripts.typecheck_data
Source
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_017_PtNairob.Protocol.Alpha_context.Gas.Arith.integral ->
  ?legacy:bool ->
  show_types:bool ->
  Michelson_v1_parser.parsed ->
  (Tezos_protocol_017_PtNairob.Protocol.Script_tc_errors.type_map
   * Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Gas.t)
    Tezos_base.TzPervasives.tzresult
    Lwt.tCalls Tezos_protocol_plugin_alpha.Plugin.RPC.Scripts.typecheck_code
Source
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_017_PtNairob.Protocol.Script_tc_errors.type_map
   * Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Gas.t)
    Tezos_base.TzPervasives.tzresult ->
  Tezos_client_base.Client_context.printer ->
  unit Tezos_base.TzPervasives.tzresult Lwt.tSource
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_017_PtNairob.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.tCalls Tezos_protocol_plugin_alpha.Plugin.RPC.Scripts.script_size
Source
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_017_PtNairob.Protocol.Alpha_context.Entrypoint.t ->
  Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr option
    Tezos_base.TzPervasives.tzresult
    Lwt.tSource
val print_entrypoint_type : 
  Protocol_client_context.full ->
  emacs:bool ->
  ?script_name:string ->
  show_source:bool ->
  parsed:Michelson_v1_parser.parsed ->
  entrypoint:Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Entrypoint.t ->
  Tezos_protocol_017_PtNairob.Protocol.Script_repr.expr option
    Tezos_base.TzPervasives.tzresult ->
  unit Tezos_base.TzPervasives.tzresult Lwt.tSource
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_017_PtNairob.Protocol.Alpha_context.Script.expr)
    list
    Tezos_base.TzPervasives.tzresult
    Lwt.tSource
val print_entrypoints_list : 
  Protocol_client_context.full ->
  emacs:bool ->
  ?script_name:string ->
  show_source:bool ->
  parsed:Michelson_v1_parser.parsed ->
  (string * Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Script.expr)
    list
    Tezos_base.TzPervasives.tzresult ->
  unit Tezos_base.TzPervasives.tzresult Lwt.tSource
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_017_PtNairob.Protocol.Michelson_v1_primitives.prim list list
    Tezos_base.TzPervasives.tzresult
    Lwt.tSource
val print_unreachables : 
  Protocol_client_context.full ->
  emacs:bool ->
  ?script_name:string ->
  show_source:bool ->
  parsed:Michelson_v1_parser.parsed ->
  Tezos_protocol_017_PtNairob.Protocol.Michelson_v1_primitives.prim list list
    Tezos_base.TzPervasives.tzresult ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t sectionYPositions = computeSectionYPositions($el), 10)"
  x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
  >