package octez-protocol-006-PsCARTHA-libs
Octez protocol 006-PsCARTHA libraries
Install
Dune Dependency
Authors
Maintainers
Sources
octez-19.1.tar.gz
sha256=55ea1fb8bb3273a7fc270ca8f650d45c56449665619482aad9bc12f3ea736b7e
sha512=fec850fc2d17d7490bbabd5147d62aad13b3aaed8774270f8a38ab419670ed03e0fd30cf8642a97984eca5c2446726fe590ad99c015f7ec50919dc7652f25053
doc/octez-protocol-006-PsCARTHA-libs.client/Tezos_client_006_PsCARTHA/Client_proto_programs/index.html
Module Tezos_client_006_PsCARTHA.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
val run :
Protocol_client_context.rpc_context ->
chain:Tezos_shell_services.Shell_services.chain ->
block:Tezos_shell_services.Shell_services.block ->
?amount:Tezos_protocol_006_PsCARTHA.Protocol.Alpha_context.Tez.t ->
program:Michelson_v1_parser.parsed ->
storage:Michelson_v1_parser.parsed ->
input:Michelson_v1_parser.parsed ->
?source:Tezos_protocol_006_PsCARTHA.Protocol.Alpha_context.Contract.t ->
?payer:Tezos_protocol_006_PsCARTHA.Protocol.Alpha_context.Contract.t ->
?gas:Z.t ->
?entrypoint:string ->
unit ->
(Tezos_protocol_006_PsCARTHA.Protocol.Alpha_context.Script.expr
* Tezos_protocol_006_PsCARTHA.Protocol.Alpha_context.packed_internal_operation
list
* Tezos_protocol_006_PsCARTHA.Protocol.Alpha_context.Contract.big_map_diff
option)
Tezos_base.TzPervasives.tzresult
Lwt.tSource
val trace :
Protocol_client_context.rpc_context ->
chain:Tezos_shell_services.Shell_services.chain ->
block:Tezos_shell_services.Shell_services.block ->
?amount:Tezos_protocol_006_PsCARTHA.Protocol.Alpha_context.Tez.t ->
program:Michelson_v1_parser.parsed ->
storage:Michelson_v1_parser.parsed ->
input:Michelson_v1_parser.parsed ->
?source:Tezos_protocol_006_PsCARTHA.Protocol.Alpha_context.Contract.t ->
?payer:Tezos_protocol_006_PsCARTHA.Protocol.Alpha_context.Contract.t ->
?gas:Z.t ->
?entrypoint:string ->
unit ->
(Tezos_protocol_006_PsCARTHA.Protocol.Alpha_context.Script.expr
* Tezos_protocol_006_PsCARTHA.Protocol.Alpha_context.packed_internal_operation
list
* Tezos_protocol_006_PsCARTHA.Protocol.Script_interpreter.execution_trace
* Tezos_protocol_006_PsCARTHA.Protocol.Alpha_context.Contract.big_map_diff
option)
Tezos_base.TzPervasives.tzresult
Lwt.tSource
val print_run_result :
Tezos_client_base.Client_context.printer ->
show_source:bool ->
parsed:Michelson_v1_parser.parsed ->
(Tezos_protocol_006_PsCARTHA.Protocol.Script_repr.expr
* Tezos_protocol_006_PsCARTHA.Protocol.Alpha_context.packed_internal_operation
list
* Tezos_protocol_006_PsCARTHA.Protocol.Alpha_context.Contract.big_map_diff
option)
Tezos_base.TzPervasives.tzresult ->
unit Tezos_base.TzPervasives.tzresult Lwt.tSource
val print_trace_result :
Tezos_client_base.Client_context.printer ->
show_source:bool ->
parsed:Michelson_v1_parser.parsed ->
(Tezos_protocol_006_PsCARTHA.Protocol.Script_repr.expr
* Tezos_protocol_006_PsCARTHA.Protocol.Alpha_context.packed_internal_operation
list
* Tezos_protocol_006_PsCARTHA.Protocol.Script_interpreter.execution_trace
* Tezos_protocol_006_PsCARTHA.Protocol.Alpha_context.Contract.big_map_diff
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:Z.t ->
data:Michelson_v1_parser.parsed ->
ty:Michelson_v1_parser.parsed ->
unit ->
Tezos_protocol_006_PsCARTHA.Protocol.Alpha_context.Gas.t
Tezos_base.TzPervasives.tzresult
Lwt.tSource
val typecheck_program :
Protocol_client_context.rpc_context ->
chain:Tezos_shell_services.Shell_services.chain ->
block:Tezos_shell_services.Shell_services.block ->
?gas:Z.t ->
Michelson_v1_parser.parsed ->
(Tezos_protocol_006_PsCARTHA.Protocol.Script_tc_errors.type_map
* Tezos_protocol_006_PsCARTHA.Protocol.Alpha_context.Gas.t)
Tezos_base.TzPervasives.tzresult
Lwt.tSource
val print_typecheck_result :
emacs:bool ->
show_types:bool ->
print_source_on_error:bool ->
Michelson_v1_parser.parsed ->
(Tezos_protocol_006_PsCARTHA.Protocol.Script_tc_errors.type_map
* Tezos_protocol_006_PsCARTHA.Protocol.Alpha_context.Gas.t)
Tezos_base.TzPervasives.tzresult ->
Tezos_client_base.Client_context.printer ->
unit Tezos_base.TzPervasives.tzresult Lwt.tSource
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:string ->
Tezos_protocol_006_PsCARTHA.Protocol.Alpha_context.Script.expr option
Tezos_base.TzPervasives.tzresult
Lwt.tSource
val 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_006_PsCARTHA.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_006_PsCARTHA.Protocol.Alpha_context.Script.expr)
list
Tezos_base.TzPervasives.tzresult
Lwt.tSource
val 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_006_PsCARTHA.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_006_PsCARTHA.Protocol.Michelson_v1_primitives.prim list list
Tezos_base.TzPervasives.tzresult
Lwt.tSource
val print_unreachables :
Tezos_client_base.Client_context.printer ->
emacs:bool ->
?script_name:string ->
show_source:bool ->
parsed:Michelson_v1_parser.parsed ->
Tezos_protocol_006_PsCARTHA.Protocol.Michelson_v1_primitives.prim list list
Tezos_base.TzPervasives.tzresult ->
unit Tezos_base.TzPervasives.tzresult Lwt.t