package octez-protocol-017-PtNairob-libs

  1. Overview
  2. Docs
package octez-protocol-017-PtNairob-libs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Program : Tezos_client_base.Client_aliases.Alias with type t = Michelson_v1_parser.parsed Tezos_micheline.Micheline_parser.parsing_result
type run_script_view_params = {
  1. shared_params : simulation_params;
  2. contract : Tezos_protocol_017_PtNairob.Protocol.Contract_hash.t;
  3. view : string;
  4. unlimited_gas : bool;
}

Calls Tezos_protocol_plugin_alpha.Plugin.RPC.Scripts.run_tzip4_view

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.

Calls Tezos_protocol_plugin_alpha.Plugin.RPC.Scripts.run_code

Calls Tezos_protocol_plugin_alpha.Plugin.RPC.Scripts.trace_code

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.t

Calls Tezos_protocol_plugin_alpha.Plugin.RPC.Scripts.typecheck_data

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_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.t

Calls Tezos_protocol_plugin_alpha.Plugin.RPC.Scripts.script_size

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.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_017_PtNairob.Protocol.Alpha_context.Script.expr) list Tezos_base.TzPervasives.tzresult -> unit 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_017_PtNairob.Protocol.Michelson_v1_primitives.prim list list Tezos_base.TzPervasives.tzresult -> unit Tezos_base.TzPervasives.tzresult Lwt.t

Calls Michelson_v1_entrypoints.print_unreachables

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct