package octez-protocol-008-PtEdo2Zk-libs

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Tezos_client_008_PtEdo2Zk.Client_proto_programsSource

Sourcemodule Program : Tezos_client_base.Client_aliases.Alias with type t = Michelson_v1_parser.parsed Tezos_micheline.Micheline_parser.parsing_result
Sourceval run_view : Protocol_client_context.rpc_context -> chain:Tezos_shell_services.Shell_services.chain -> block:Tezos_shell_services.Shell_services.block -> contract:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Contract.t -> entrypoint:string -> input:Michelson_v1_parser.parsed -> unparsing_mode: Tezos_protocol_008_PtEdo2Zk.Protocol.Script_ir_translator.unparsing_mode -> ?source:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Contract.t -> ?payer:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Contract.t -> ?gas:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Gas.Arith.integral -> unit -> Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Script.expr Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval run : Protocol_client_context.rpc_context -> chain:Tezos_shell_services.Shell_services.chain -> block:Tezos_shell_services.Shell_services.block -> ?amount:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Tez.t -> balance:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Tez.t -> program:Michelson_v1_parser.parsed -> storage:Michelson_v1_parser.parsed -> input:Michelson_v1_parser.parsed -> unparsing_mode: Tezos_protocol_008_PtEdo2Zk.Protocol.Script_ir_translator.unparsing_mode -> ?source:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Contract.t -> ?payer:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Contract.t -> ?gas:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Gas.Arith.integral -> ?entrypoint:string -> unit -> (Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Script.expr * Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.packed_internal_operation list * Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Lazy_storage.diffs option) Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval trace : Protocol_client_context.rpc_context -> chain:Tezos_shell_services.Shell_services.chain -> block:Tezos_shell_services.Shell_services.block -> ?amount:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Tez.t -> balance:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Tez.t -> program:Michelson_v1_parser.parsed -> storage:Michelson_v1_parser.parsed -> input:Michelson_v1_parser.parsed -> unparsing_mode: Tezos_protocol_008_PtEdo2Zk.Protocol.Script_ir_translator.unparsing_mode -> ?source:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Contract.t -> ?payer:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Contract.t -> ?gas:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Gas.Arith.integral -> ?entrypoint:string -> unit -> (Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Script.expr * Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.packed_internal_operation list * Tezos_protocol_008_PtEdo2Zk.Protocol.Script_interpreter.execution_trace * Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Lazy_storage.diffs option) Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval print_view_result : Tezos_client_base.Client_context.printer -> Tezos_protocol_008_PtEdo2Zk.Protocol.Script_repr.expr Tezos_base.TzPervasives.tzresult -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval print_run_result : Tezos_client_base.Client_context.printer -> show_source:bool -> parsed:Michelson_v1_parser.parsed -> (Tezos_protocol_008_PtEdo2Zk.Protocol.Script_repr.expr * Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.packed_internal_operation list * Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Lazy_storage.diffs option) Tezos_base.TzPervasives.tzresult -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval print_trace_result : Tezos_client_base.Client_context.printer -> show_source:bool -> parsed:Michelson_v1_parser.parsed -> (Tezos_protocol_008_PtEdo2Zk.Protocol.Script_repr.expr * Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.packed_internal_operation list * Tezos_protocol_008_PtEdo2Zk.Protocol.Script_interpreter.execution_trace * Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Lazy_storage.diffs option) Tezos_base.TzPervasives.tzresult -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval typecheck_data : Protocol_client_context.rpc_context -> chain:Tezos_shell_services.Shell_services.chain -> block:Tezos_shell_services.Shell_services.block -> ?gas:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Gas.Arith.integral -> ?legacy:bool -> data:Michelson_v1_parser.parsed -> ty:Michelson_v1_parser.parsed -> unit -> Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Gas.t Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval typecheck_program : Protocol_client_context.rpc_context -> chain:Tezos_shell_services.Shell_services.chain -> block:Tezos_shell_services.Shell_services.block -> ?gas:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Gas.Arith.integral -> ?legacy:bool -> Michelson_v1_parser.parsed -> (Tezos_protocol_008_PtEdo2Zk.Protocol.Script_tc_errors.type_map * Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Gas.t) Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval print_typecheck_result : emacs:bool -> show_types:bool -> print_source_on_error:bool -> Michelson_v1_parser.parsed -> (Tezos_protocol_008_PtEdo2Zk.Protocol.Script_tc_errors.type_map * Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Gas.t) Tezos_base.TzPervasives.tzresult -> Tezos_client_base.Client_context.printer -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval 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:string -> Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Script.expr option Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval print_entrypoint_type : Tezos_client_base.Client_context.printer -> emacs:bool -> ?script_name:string -> show_source:bool -> parsed:Michelson_v1_parser.parsed -> entrypoint:string -> Tezos_protocol_008_PtEdo2Zk.Protocol.Script_repr.expr option Tezos_base.TzPervasives.tzresult -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval 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_008_PtEdo2Zk.Protocol.Alpha_context.Script.expr) list Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval print_entrypoints_list : Tezos_client_base.Client_context.printer -> emacs:bool -> ?script_name:string -> show_source:bool -> parsed:Michelson_v1_parser.parsed -> (string * Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Script.expr) list Tezos_base.TzPervasives.tzresult -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval 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_008_PtEdo2Zk.Protocol.Michelson_v1_primitives.prim list list Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval print_unreachables : Tezos_client_base.Client_context.printer -> emacs:bool -> ?script_name:string -> show_source:bool -> parsed:Michelson_v1_parser.parsed -> Tezos_protocol_008_PtEdo2Zk.Protocol.Michelson_v1_primitives.prim list list Tezos_base.TzPervasives.tzresult -> unit Tezos_base.TzPervasives.tzresult Lwt.t
OCaml

Innovation. Community. Security.