package tezos-client-012-Psithaca
Tezos/Protocol: protocol specific library for `tezos-client`
Install
dune-project
Dependency
Authors
Maintainers
Sources
tezos-17.3.tar.gz
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc
doc/tezos-client-012-Psithaca/Tezos_client_012_Psithaca/Michelson_v1_entrypoints/index.html
Module Tezos_client_012_Psithaca.Michelson_v1_entrypointsSource
Source
val script_entrypoint_type :
Protocol_client_context.rpc_context ->
chain:Tezos_shell_services.Chain_services.chain ->
block:Tezos_shell_services.Block_services.block ->
Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.expr ->
entrypoint:string ->
Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.expr option
Tezos_base.TzPervasives.tzresult
Lwt.tReturns Some type if the contract has an entrypoint of type type. None if it does not exists.
Source
val contract_entrypoint_type :
Protocol_client_context.rpc_context ->
chain:Tezos_shell_services.Chain_services.chain ->
block:Tezos_shell_services.Block_services.block ->
contract:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Contract.t ->
entrypoint:string ->
Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.expr option
Tezos_base.TzPervasives.tzresult
Lwt.tReturns Some type if the script has an entrypoint of type type. None if it does not exists.
Source
val print_entrypoint_type :
Tezos_client_base.Client_context.printer ->
?on_errors:
(Tezos_base.TzPervasives.error list ->
unit Tezos_base.TzPervasives.tzresult Lwt.t) ->
emacs:bool ->
?contract:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Contract.t ->
?script_name:string ->
entrypoint:string ->
Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.expr option
Tezos_base.TzPervasives.tzresult ->
unit Tezos_base.TzPervasives.tzresult Lwt.tSource
val list_contract_unreachables :
Protocol_client_context.rpc_context ->
chain:Tezos_shell_services.Chain_services.chain ->
block:Tezos_shell_services.Block_services.block ->
contract:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Contract.t ->
Tezos_protocol_012_Psithaca.Protocol.Michelson_v1_primitives.prim list list
Tezos_base.TzPervasives.tzresult
Lwt.tList paths of unreachable parameters. Only useful to test the stitching, as no such parameter should be allowed in originated contracts.
Source
val list_unreachables :
Protocol_client_context.rpc_context ->
chain:Tezos_shell_services.Chain_services.chain ->
block:Tezos_shell_services.Block_services.block ->
Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.expr ->
Tezos_protocol_012_Psithaca.Protocol.Michelson_v1_primitives.prim list list
Tezos_base.TzPervasives.tzresult
Lwt.tSource
val print_unreachables :
Tezos_client_base.Client_context.printer ->
?on_errors:
(Tezos_base.TzPervasives.error list ->
unit Tezos_base.TzPervasives.tzresult Lwt.t) ->
emacs:bool ->
?contract:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Contract.t ->
?script_name:string ->
Tezos_protocol_012_Psithaca.Protocol.Michelson_v1_primitives.prim list list
Tezos_base.TzPervasives.tzresult ->
unit Tezos_base.TzPervasives.tzresult Lwt.tSource
val list_contract_entrypoints :
Protocol_client_context.rpc_context ->
chain:Tezos_shell_services.Chain_services.chain ->
block:Tezos_shell_services.Block_services.block ->
contract:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Contract.t ->
(string * Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.expr)
list
Tezos_base.TzPervasives.tzresult
Lwt.tList the contract entrypoints with their types. If their is no explicit default, th type of default entrypoint will still be given.
Source
val list_entrypoints :
Protocol_client_context.rpc_context ->
chain:Tezos_shell_services.Chain_services.chain ->
block:Tezos_shell_services.Block_services.block ->
Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.expr ->
(string * Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.expr)
list
Tezos_base.TzPervasives.tzresult
Lwt.tList the script entrypoints with their types.
Source
val print_entrypoints_list :
Tezos_client_base.Client_context.printer ->
?on_errors:
(Tezos_base.TzPervasives.error list ->
unit Tezos_base.TzPervasives.tzresult Lwt.t) ->
emacs:bool ->
?contract:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Contract.t ->
?script_name:string ->
(string * Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.expr)
list
Tezos_base.TzPervasives.tzresult ->
unit Tezos_base.TzPervasives.tzresult Lwt.tPrint the contract entrypoints with their types.