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
tezos-octez-v20.1.tag.bz2
sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61
sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65
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)"
>