Client_proto_programs (mavkit-protocol-001-PtAtLas-libs.Mavryk_client_001_PtAtLas.Client_proto

module Program : 
  Mavryk_client_base.Client_aliases.Alias
    with type t =
           Michelson_v1_parser.parsed
             Mavryk_micheline.Micheline_parser.parsing_result

type simulation_params = {

input : Michelson_v1_parser.parsed;
unparsing_mode : Mavryk_protocol_001_PtAtLas.Protocol.Script_ir_unparser.unparsing_mode;
now : Mavryk_protocol_001_PtAtLas.Protocol.Script_timestamp.t option;
level : Mavryk_protocol_001_PtAtLas.Protocol.Script_int.n Mavryk_protocol_001_PtAtLas.Protocol.Script_int.num option;
sender : Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t option;
payer : Mavryk_base.TzPervasives.Signature.public_key_hash option;
gas : Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral option;
other_contracts : Mavryk_protocol_plugin_001_PtAtLas.RPC.Scripts.S.other_contract_description list option;
extra_big_maps : Mavryk_protocol_plugin_001_PtAtLas.RPC.Scripts.S.extra_big_map_description list option;

}

type run_view_params = {

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

}

type run_script_view_params = {

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

}

type run_params = {

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

}

type run_instr_params = {

shared_params : simulation_params;
amount : Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t;
balance : Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t option;
stack : (Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr) list;
self : Mavryk_protocol_001_PtAtLas.Protocol.Contract_hash.t option;
parameter : Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr option;
legacy : bool;

}

val run_view : 
  Protocol_client_context.rpc_context ->
  chain:Mavryk_shell_services.Shell_services.chain ->
  block:Mavryk_shell_services.Shell_services.block ->
  run_view_params ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
    Mavryk_base.TzPervasives.tzresult
    Lwt.t

Calls Mavryk_protocol_plugin_alpha.Plugin.RPC.Scripts.run_tzip4_view

val run_script_view : 
  Protocol_client_context.rpc_context ->
  chain:Mavryk_shell_services.Shell_services.chain ->
  block:Mavryk_shell_services.Shell_services.block ->
  run_script_view_params ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
    Mavryk_base.TzPervasives.tzresult
    Lwt.t

run_script_view cctxt ~chain ~block params executes Mavryk_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:Mavryk_shell_services.Shell_services.chain ->
  block:Mavryk_shell_services.Shell_services.block ->
  run_params ->
  (Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
   * Mavryk_protocol_001_PtAtLas.Protocol.Apply_internal_results.packed_internal_operation
       list
   * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Lazy_storage.diffs
       option)
    Mavryk_base.TzPervasives.tzresult
    Lwt.t

Calls Mavryk_protocol_plugin_alpha.Plugin.RPC.Scripts.run_code

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

Calls Mavryk_protocol_plugin_alpha.Plugin.RPC.Scripts.trace_code

val run_instr : 
  Protocol_client_context.rpc_context ->
  chain:Mavryk_shell_services.Shell_services.chain ->
  block:Mavryk_shell_services.Shell_services.block ->
  run_instr_params ->
  ((Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
    * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr)
     list
   * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.t)
    Mavryk_base.TzPervasives.tzresult
    Lwt.t

Calls Mavryk_protocol_plugin_alpha.Plugin.RPC.Scripts.run_instr

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

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

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

val print_run_instr_result : 
  Protocol_client_context.full ->
  show_source:bool ->
  parsed:Michelson_v1_parser.parsed ->
  ((Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
    * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr)
     list
   * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.t)
    Mavryk_base.TzPervasives.tzresult ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t

val typecheck_data : 
  Protocol_client_context.rpc_context ->
  chain:Mavryk_shell_services.Shell_services.chain ->
  block:Mavryk_shell_services.Shell_services.block ->
  gas:
    Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral
      option ->
  legacy:bool ->
  data:Michelson_v1_parser.parsed ->
  ty:Michelson_v1_parser.parsed ->
  unit ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.t
    Mavryk_base.TzPervasives.tzresult
    Lwt.t

Calls Mavryk_protocol_plugin_alpha.Plugin.RPC.Scripts.typecheck_data

val typecheck_program : 
  Protocol_client_context.rpc_context ->
  chain:Mavryk_shell_services.Shell_services.chain ->
  block:Mavryk_shell_services.Shell_services.block ->
  gas:
    Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral
      option ->
  legacy:bool ->
  show_types:bool ->
  Michelson_v1_parser.parsed ->
  (Mavryk_protocol_001_PtAtLas.Protocol.Script_tc_errors.type_map
   * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.t)
    Mavryk_base.TzPervasives.tzresult
    Lwt.t

Calls Mavryk_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 ->
  (Mavryk_protocol_001_PtAtLas.Protocol.Script_tc_errors.type_map
   * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.t)
    Mavryk_base.TzPervasives.tzresult ->
  Mavryk_client_base.Client_context.printer ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t

val script_size : 
  Protocol_client_context.rpc_context ->
  chain:Mavryk_shell_services.Shell_services.chain ->
  block:Mavryk_shell_services.Shell_services.block ->
  gas:
    Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral
      option ->
  legacy:bool ->
  program:Michelson_v1_parser.parsed ->
  storage:Michelson_v1_parser.parsed ->
  unit ->
  int Mavryk_base.TzPervasives.tzresult Lwt.t

Calls Mavryk_protocol_plugin_alpha.Plugin.RPC.Scripts.script_size

val entrypoint_type : 
  Protocol_client_context.rpc_context ->
  chain:Mavryk_shell_services.Shell_services.chain ->
  block:Mavryk_shell_services.Shell_services.block ->
  Michelson_v1_parser.parsed ->
  entrypoint:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Entrypoint.t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr option
    Mavryk_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:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Entrypoint.t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Script_repr.expr option
    Mavryk_base.TzPervasives.tzresult ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t

val list_entrypoints : 
  Protocol_client_context.rpc_context ->
  chain:Mavryk_shell_services.Shell_services.chain ->
  block:Mavryk_shell_services.Shell_services.block ->
  Michelson_v1_parser.parsed ->
  (string * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr)
    list
    Mavryk_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 * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr)
    list
    Mavryk_base.TzPervasives.tzresult ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t

val list_unreachables : 
  Protocol_client_context.rpc_context ->
  chain:Mavryk_shell_services.Shell_services.chain ->
  block:Mavryk_shell_services.Shell_services.block ->
  Michelson_v1_parser.parsed ->
  Mavryk_protocol_001_PtAtLas.Protocol.Michelson_v1_primitives.prim list list
    Mavryk_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 ->
  Mavryk_protocol_001_PtAtLas.Protocol.Michelson_v1_primitives.prim list list
    Mavryk_base.TzPervasives.tzresult ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t

Calls Michelson_v1_entrypoints.print_unreachables