Module TzPervasives.RPC_directory

include module type of struct include Resto_directory.Make(Tezos_rpc.RPC_encoding) end
module Service : sig ... end
type step = Resto_directory.Make(Tezos_rpc.RPC_encoding).step =
| Static of string
| Dynamic of Resto.Arg.descr
| DynamicTail of Resto.Arg.descr
type conflict = Resto_directory.Make(Tezos_rpc.RPC_encoding).conflict =
| CService of Resto.meth
| CDir
| CBuilder
| CDynDescr of string * string
| CTail
| CTypes of Resto.Arg.descr * Resto.Arg.descr
| CType of Resto.Arg.descr * string list
exception Conflict of step list * conflict
type (!'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_service
type 'prefix t = 'prefix Resto_directory.Make(Tezos_rpc.RPC_encoding).t
type 'prefix directory = 'prefix t
type lookup_error = [
| `Cannot_parse_path of string list * Resto.Arg.descr * string
| `Method_not_allowed of Resto.meth list
| `Not_found
]
val string_of_step : step -> string
val string_of_conflict_kind : conflict -> string
val string_of_conflict : (step list * conflict) -> string
val lookup : 'prefix directory -> 'prefix -> Resto.meth -> string list -> ( registered_service, [> lookup_error ] ) Stdlib.result Lwt.t
val lookup_uri_desc : 'prefix directory -> 'prefix -> Resto.meth -> string list -> ( string, [> lookup_error ] ) Stdlib.result Lwt.t
val allowed_methods : 'prefix directory -> 'prefix -> string list -> ( Resto.meth list, [> lookup_error ] ) Stdlib.result Lwt.t
val transparent_lookup : 'prefix directory -> ( [< Resto.meth ], 'prefix, 'params, 'query, 'input, 'output, 'error ) Service.t -> 'params -> 'query -> 'input -> [> ( 'output, 'error ) Resto_directory.Answer.t ] Lwt.t
val empty : 'prefix directory
val map : ( 'a -> 'b Lwt.t ) -> 'b directory -> 'a directory
val prefix : ( 'pr, 'p ) Resto.Path.path -> 'p directory -> 'pr directory
val merge : ?strategy:[ `Pick_left | `Pick_right | `Raise ] -> 'a directory -> 'a directory -> 'a directory
val register_dynamic_directory : ?descr:string -> 'prefix directory -> ( 'prefix, 'a ) Resto.Path.path -> ( 'a -> 'a directory Lwt.t ) -> 'prefix directory
val register_dynamic_directory1 : ?descr:string -> 'prefix directory -> ( 'prefix, unit * 'a ) Resto.Path.path -> ( 'a -> (unit * 'a) directory Lwt.t ) -> 'prefix directory
val register_dynamic_directory2 : ?descr:string -> 'prefix directory -> ( 'prefix, (unit * 'a) * 'b ) Resto.Path.path -> ( 'a -> 'b -> ((unit * 'a) * 'b) directory Lwt.t ) -> 'prefix directory
val 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 directory
val register_describe_directory_service : 'prefix directory -> ( 'prefix, 'prefix, 'error ) Service.description_service -> 'prefix directory
val describe_directory : recurse:bool -> ?arg:'a -> 'a directory -> Tezos_rpc.RPC_encoding.schema Resto.Description.directory Lwt.t
module Curry : sig ... end
val 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 directory

Registering 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 directory
val 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 directory
val 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 directory
val lwt_register : 'prefix directory -> ( [< Resto.meth ], 'prefix, 'p, 'q, 'i, 'o ) Tezos_rpc.RPC_service.t -> ( 'p -> 'q -> 'i -> 'o Lwt.t ) -> 'prefix directory

Registering 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 directory
val 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 directory
val 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 directory
val 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 directory
val 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 directory
val 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 directory
val 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 directory
val 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 directory
val 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 directory
val 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 directory
val 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 directory
val 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 directory
val 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 directory
val 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 directory
val 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 directory
val 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 directory
val 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 directory
val 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 directory
val 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 directory
val lwt_register0 : unit directory -> ( 'm, unit, unit, 'q, 'i, 'o ) Tezos_rpc.RPC_service.t -> ( 'q -> 'i -> 'o Lwt.t ) -> unit directory
val lwt_register1 : 'prefix directory -> ( 'm, 'prefix, unit * 'a, 'q, 'i, 'o ) Tezos_rpc.RPC_service.t -> ( 'a -> 'q -> 'i -> 'o Lwt.t ) -> 'prefix directory
val 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 directory
val 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 directory
val 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 directory
val 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