include module type of struct include Resto_directory.Make(Tezos_rpc.RPC_encoding) endmodule Service = Resto_directory.Make(Tezos_rpc.RPC_encoding).Servicetype step = Resto_directory.Make(Tezos_rpc.RPC_encoding).step = | Static of string| Dynamic of Resto.Arg.descr| DynamicTail of Resto.Arg.descrPossible error while registring services.
type conflict = Resto_directory.Make(Tezos_rpc.RPC_encoding).conflict = | CService of Resto.meth| CDir| CBuilder| CTail| CTypes of Resto.Arg.descr * Resto.Arg.descr| CType of Resto.Arg.descr * string listtype ('query, 'input, 'output, 'error) types =
('query, 'input, 'output, 'error)
Resto_directory.Make(Tezos_rpc.RPC_encoding).types =
{query : 'query Resto.Query.t;input : 'input Service.input;output : 'output Tezos_rpc.RPC_encoding.t;error : 'error Tezos_rpc.RPC_encoding.t;}type registered_service =
Resto_directory.Make(Tezos_rpc.RPC_encoding).registered_service =
| Service : {types : ('q, 'i, 'o, 'e) types;handler : 'q -> 'i -> ('o, 'e) Resto_directory.Answer.t Lwt.t;} -> registered_servicetype 'prefix t = 'prefix Resto_directory.Make(Tezos_rpc.RPC_encoding).tDispatch tree
type 'prefix directory = 'prefix ttype lookup_error = [ | `Not_found| `Method_not_allowed of Resto.meth list| `Cannot_parse_path of string list * Resto.Arg.descr * string ]val lookup :
'prefix directory ->
'prefix ->
Resto.meth ->
string list ->
(registered_service, [> lookup_error ]) result Lwt.tResolve a service.
val allowed_methods :
'prefix directory ->
'prefix ->
string list ->
(Resto.meth list, [> lookup_error ]) result Lwt.tval transparent_lookup :
'prefix directory ->
('meth, 'prefix, 'params, 'query, 'input, 'output, 'error) Service.t ->
'params ->
'query ->
'input ->
[> ('output, 'error) Resto_directory.Answer.t ] Lwt.tval empty : 'prefix directoryEmpty tree
val prefix : ('pr, 'p) Resto.Path.path -> 'p directory -> 'pr directoryval register_dynamic_directory :
?descr:string ->
'prefix directory ->
('prefix, 'a) Resto.Path.path ->
('a -> 'a directory Lwt.t) ->
'prefix directoryRegistring dynamic subtree.
val register_dynamic_directory1 :
?descr:string ->
'prefix directory ->
('prefix, unit * 'a) Resto.Path.path ->
('a -> (unit * 'a) directory Lwt.t) ->
'prefix directoryRegistring dynamic subtree. (Curryfied variant)
val register_dynamic_directory2 :
?descr:string ->
'prefix directory ->
('prefix, (unit * 'a) * 'b) Resto.Path.path ->
('a -> 'b -> ((unit * 'a) * 'b) directory Lwt.t) ->
'prefix directoryval register_dynamic_directory3 :
?descr:string ->
'prefix directory ->
('prefix, ((unit * 'a) * 'b) * 'c) Resto.Path.path ->
('a -> 'b -> 'c -> (((unit * 'a) * 'b) * 'c) directory Lwt.t) ->
'prefix directoryval register_describe_directory_service :
'prefix directory ->
('prefix, 'prefix, 'error) Service.description_service ->
'prefix directoryRegistring a description service.
val describe_directory :
recurse:bool ->
?arg:'a ->
'a directory ->
Tezos_rpc.RPC_encoding.schema Resto.Description.directory Lwt.tval register :
'prefix directory ->
([< Resto.meth ], 'prefix, 'p, 'q, 'i, 'o) Tezos_rpc.RPC_service.t ->
('p -> 'q -> 'i -> 'o Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
'prefix directoryRegistering handler in service tree.
val register_chunked :
'prefix directory ->
([< Resto.meth ], 'prefix, 'p, 'q, 'i, 'o) Tezos_rpc.RPC_service.t ->
('p -> 'q -> 'i -> 'o Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
'prefix directoryval opt_register :
'prefix directory ->
([< Resto.meth ], 'prefix, 'p, 'q, 'i, 'o) Tezos_rpc.RPC_service.t ->
('p -> 'q -> 'i -> 'o option Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
'prefix directoryval gen_register :
'prefix directory ->
('meth, 'prefix, 'params, 'query, 'input, 'output) Tezos_rpc.RPC_service.t ->
('params -> 'query -> 'input -> [< 'output Tezos_rpc.RPC_answer.t ] Lwt.t) ->
'prefix directoryval lwt_register :
'prefix directory ->
([< Resto.meth ], 'prefix, 'p, 'q, 'i, 'o) Tezos_rpc.RPC_service.t ->
('p -> 'q -> 'i -> 'o Lwt.t) ->
'prefix directoryRegistering handler in service tree. Curryfied variant.
val register0 :
unit directory ->
('m, unit, unit, 'q, 'i, 'o) Tezos_rpc.RPC_service.t ->
('q -> 'i -> 'o Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
unit directoryval register0_chunked :
unit directory ->
('m, unit, unit, 'q, 'i, 'o) Tezos_rpc.RPC_service.t ->
('q -> 'i -> 'o Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
unit directoryval register1 :
'prefix directory ->
('m, 'prefix, unit * 'a, 'q, 'i, 'o) Tezos_rpc.RPC_service.t ->
('a -> 'q -> 'i -> 'o Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
'prefix directoryval register2 :
'prefix directory ->
('m, 'prefix, (unit * 'a) * 'b, 'q, 'i, 'o) Tezos_rpc.RPC_service.t ->
('a -> 'b -> 'q -> 'i -> 'o Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
'prefix directoryval register3 :
'prefix directory ->
('m, 'prefix, ((unit * 'a) * 'b) * 'c, 'q, 'i, 'o) Tezos_rpc.RPC_service.t ->
('a ->
'b ->
'c ->
'q ->
'i ->
'o Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
'prefix directoryval register4 :
'prefix directory ->
('m, 'prefix, (((unit * 'a) * 'b) * 'c) * 'd, 'q, 'i, 'o)
Tezos_rpc.RPC_service.t ->
('a ->
'b ->
'c ->
'd ->
'q ->
'i ->
'o Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
'prefix directoryval register5 :
'prefix directory ->
('m, 'prefix, ((((unit * 'a) * 'b) * 'c) * 'd) * 'e, 'q, 'i, 'o)
Tezos_rpc.RPC_service.t ->
('a ->
'b ->
'c ->
'd ->
'e ->
'q ->
'i ->
'o Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
'prefix directoryval opt_register0 :
unit directory ->
('m, unit, unit, 'q, 'i, 'o) Tezos_rpc.RPC_service.t ->
('q -> 'i -> 'o option Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
unit directoryval opt_register1 :
'prefix directory ->
('m, 'prefix, unit * 'a, 'q, 'i, 'o) Tezos_rpc.RPC_service.t ->
('a -> 'q -> 'i -> 'o option Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
'prefix directoryval opt_register2 :
'prefix directory ->
('m, 'prefix, (unit * 'a) * 'b, 'q, 'i, 'o) Tezos_rpc.RPC_service.t ->
('a ->
'b ->
'q ->
'i ->
'o option Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
'prefix directoryval opt_register3 :
'prefix directory ->
('m, 'prefix, ((unit * 'a) * 'b) * 'c, 'q, 'i, 'o) Tezos_rpc.RPC_service.t ->
('a ->
'b ->
'c ->
'q ->
'i ->
'o option Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
'prefix directoryval opt_register4 :
'prefix directory ->
('m, 'prefix, (((unit * 'a) * 'b) * 'c) * 'd, 'q, 'i, 'o)
Tezos_rpc.RPC_service.t ->
('a ->
'b ->
'c ->
'd ->
'q ->
'i ->
'o option Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
'prefix directoryval opt_register5 :
'prefix directory ->
('m, 'prefix, ((((unit * 'a) * 'b) * 'c) * 'd) * 'e, 'q, 'i, 'o)
Tezos_rpc.RPC_service.t ->
('a ->
'b ->
'c ->
'd ->
'e ->
'q ->
'i ->
'o option Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
'prefix directoryval gen_register0 :
unit directory ->
('m, unit, unit, 'q, 'i, 'o) Tezos_rpc.RPC_service.t ->
('q -> 'i -> [< 'o Tezos_rpc.RPC_answer.t ] Lwt.t) ->
unit directoryval gen_register1 :
'prefix directory ->
('m, 'prefix, unit * 'a, 'q, 'i, 'o) Tezos_rpc.RPC_service.t ->
('a -> 'q -> 'i -> [< 'o Tezos_rpc.RPC_answer.t ] Lwt.t) ->
'prefix directoryval gen_register2 :
'prefix directory ->
('m, 'prefix, (unit * 'a) * 'b, 'q, 'i, 'o) Tezos_rpc.RPC_service.t ->
('a -> 'b -> 'q -> 'i -> [< 'o Tezos_rpc.RPC_answer.t ] Lwt.t) ->
'prefix directoryval gen_register3 :
'prefix directory ->
('m, 'prefix, ((unit * 'a) * 'b) * 'c, 'q, 'i, 'o) Tezos_rpc.RPC_service.t ->
('a -> 'b -> 'c -> 'q -> 'i -> [< 'o Tezos_rpc.RPC_answer.t ] Lwt.t) ->
'prefix directoryval gen_register4 :
'prefix directory ->
('m, 'prefix, (((unit * 'a) * 'b) * 'c) * 'd, 'q, 'i, 'o)
Tezos_rpc.RPC_service.t ->
('a -> 'b -> 'c -> 'd -> 'q -> 'i -> [< 'o Tezos_rpc.RPC_answer.t ] Lwt.t) ->
'prefix directoryval gen_register5 :
'prefix directory ->
('m, 'prefix, ((((unit * 'a) * 'b) * 'c) * 'd) * 'e, 'q, 'i, 'o)
Tezos_rpc.RPC_service.t ->
('a ->
'b ->
'c ->
'd ->
'e ->
'q ->
'i ->
[< 'o Tezos_rpc.RPC_answer.t ] Lwt.t) ->
'prefix directoryval lwt_register0 :
unit directory ->
('m, unit, unit, 'q, 'i, 'o) Tezos_rpc.RPC_service.t ->
('q -> 'i -> 'o Lwt.t) ->
unit directoryval lwt_register1 :
'prefix directory ->
('m, 'prefix, unit * 'a, 'q, 'i, 'o) Tezos_rpc.RPC_service.t ->
('a -> 'q -> 'i -> 'o Lwt.t) ->
'prefix directoryval lwt_register2 :
'prefix directory ->
('m, 'prefix, (unit * 'a) * 'b, 'q, 'i, 'o) Tezos_rpc.RPC_service.t ->
('a -> 'b -> 'q -> 'i -> 'o Lwt.t) ->
'prefix directoryval lwt_register3 :
'prefix directory ->
('m, 'prefix, ((unit * 'a) * 'b) * 'c, 'q, 'i, 'o) Tezos_rpc.RPC_service.t ->
('a -> 'b -> 'c -> 'q -> 'i -> 'o Lwt.t) ->
'prefix directoryval lwt_register4 :
'prefix directory ->
('m, 'prefix, (((unit * 'a) * 'b) * 'c) * 'd, 'q, 'i, 'o)
Tezos_rpc.RPC_service.t ->
('a -> 'b -> 'c -> 'd -> 'q -> 'i -> 'o Lwt.t) ->
'prefix directoryval lwt_register5 :
'prefix directory ->
('m, 'prefix, ((((unit * 'a) * 'b) * 'c) * 'd) * 'e, 'q, 'i, 'o)
Tezos_rpc.RPC_service.t ->
('a -> 'b -> 'c -> 'd -> 'e -> 'q -> 'i -> 'o Lwt.t) ->
'prefix directory