package octez-protocol-006-PsCARTHA-libs
Octez protocol 006-PsCARTHA libraries
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-18.0.tar.gz
sha256=dbc3b675aee59c2c574e5d0a771193a2ecfca31e7a5bc5aed66598080596ce1c
sha512=b97ed762b9d24744305c358af0d20f394376b64bfdd758dd4a81775326caf445caa57c4f6445da3dd6468ff492de18e4c14af6f374dfcbb7e4d64b7b720e5e2a
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