Module V0.RPC_directory

type 'a t = 'a Tezos_rpc.RPC_directory.t
type 'prefix directory = 'prefix t
val empty : 'prefix directory
val map : ('a -> 'b Lwt.t) -> 'b directory -> 'a directory
val prefix : ('pr'p) RPC_path.path -> 'p directory -> 'pr directory
val merge : 'a directory -> 'a directory -> 'a directory
type step =
| Static of string
| Dynamic of RPC_arg.descr
| DynamicTail of RPC_arg.descr
type conflict =
| CService of RPC_service.meth
| CDir
| CBuilder
| CTail
| CTypes of RPC_arg.descr * RPC_arg.descr
| CType of RPC_arg.descr * string list
exception Conflict of step list * conflict
val register : 'prefix directory -> ([< RPC_service.meth ]'prefix'params'query'input'output) RPC_service.t -> ('params -> 'query -> 'input -> 'output Error_monad.tzresult Lwt.t) -> 'prefix directory
val opt_register : 'prefix directory -> ([< RPC_service.meth ]'prefix'params'query'input'output) RPC_service.t -> ('params -> 'query -> 'input -> 'output option Error_monad.tzresult Lwt.t) -> 'prefix directory
val gen_register : 'prefix directory -> ([< RPC_service.meth ]'prefix'params'query'input'output) RPC_service.t -> ('params -> 'query -> 'input -> [< 'output RPC_answer.t ] Lwt.t) -> 'prefix directory
val lwt_register : 'prefix directory -> ([< RPC_service.meth ]'prefix'params'query'input'output) RPC_service.t -> ('params -> 'query -> 'input -> 'output Lwt.t) -> 'prefix directory
val register0 : unit directory -> ([< RPC_service.meth ], unit, unit, 'q'i'o) RPC_service.t -> ('q -> 'i -> 'o Error_monad.tzresult Lwt.t) -> unit directory
val register1 : 'prefix directory -> ([< RPC_service.meth ]'prefix, unit * 'a'q'i'o) RPC_service.t -> ('a -> 'q -> 'i -> 'o Error_monad.tzresult Lwt.t) -> 'prefix directory
val register2 : 'prefix directory -> ([< RPC_service.meth ]'prefix(unit * 'a) * 'b'q'i'o) RPC_service.t -> ('a -> 'b -> 'q -> 'i -> 'o Error_monad.tzresult Lwt.t) -> 'prefix directory
val register3 : 'prefix directory -> ([< RPC_service.meth ]'prefix((unit * 'a) * 'b) * 'c'q'i'o) RPC_service.t -> ('a -> 'b -> 'c -> 'q -> 'i -> 'o Error_monad.tzresult Lwt.t) -> 'prefix directory
val register4 : 'prefix directory -> ([< RPC_service.meth ]'prefix(((unit * 'a) * 'b) * 'c) * 'd'q'i'o) RPC_service.t -> ('a -> 'b -> 'c -> 'd -> 'q -> 'i -> 'o Error_monad.tzresult Lwt.t) -> 'prefix directory
val register5 : 'prefix directory -> ([< RPC_service.meth ]'prefix((((unit * 'a) * 'b) * 'c) * 'd) * 'e'q'i'o) RPC_service.t -> ('a -> 'b -> 'c -> 'd -> 'e -> 'q -> 'i -> 'o Error_monad.tzresult Lwt.t) -> 'prefix directory
val opt_register0 : unit directory -> ([< RPC_service.meth ], unit, unit, 'q'i'o) RPC_service.t -> ('q -> 'i -> 'o option Error_monad.tzresult Lwt.t) -> unit directory
val opt_register1 : 'prefix directory -> ([< RPC_service.meth ]'prefix, unit * 'a'q'i'o) RPC_service.t -> ('a -> 'q -> 'i -> 'o option Error_monad.tzresult Lwt.t) -> 'prefix directory
val opt_register2 : 'prefix directory -> ([< RPC_service.meth ]'prefix(unit * 'a) * 'b'q'i'o) RPC_service.t -> ('a -> 'b -> 'q -> 'i -> 'o option Error_monad.tzresult Lwt.t) -> 'prefix directory
val opt_register3 : 'prefix directory -> ([< RPC_service.meth ]'prefix((unit * 'a) * 'b) * 'c'q'i'o) RPC_service.t -> ('a -> 'b -> 'c -> 'q -> 'i -> 'o option Error_monad.tzresult Lwt.t) -> 'prefix directory
val opt_register4 : 'prefix directory -> ([< RPC_service.meth ]'prefix(((unit * 'a) * 'b) * 'c) * 'd'q'i'o) RPC_service.t -> ('a -> 'b -> 'c -> 'd -> 'q -> 'i -> 'o option Error_monad.tzresult Lwt.t) -> 'prefix directory
val opt_register5 : 'prefix directory -> ([< RPC_service.meth ]'prefix((((unit * 'a) * 'b) * 'c) * 'd) * 'e'q'i'o) RPC_service.t -> ('a -> 'b -> 'c -> 'd -> 'e -> 'q -> 'i -> 'o option Error_monad.tzresult Lwt.t) -> 'prefix directory
val gen_register0 : unit directory -> ([< RPC_service.meth ], unit, unit, 'q'i'o) RPC_service.t -> ('q -> 'i -> [< 'o RPC_answer.t ] Lwt.t) -> unit directory
val gen_register1 : 'prefix directory -> ([< RPC_service.meth ]'prefix, unit * 'a'q'i'o) RPC_service.t -> ('a -> 'q -> 'i -> [< 'o RPC_answer.t ] Lwt.t) -> 'prefix directory
val gen_register2 : 'prefix directory -> ([< RPC_service.meth ]'prefix(unit * 'a) * 'b'q'i'o) RPC_service.t -> ('a -> 'b -> 'q -> 'i -> [< 'o RPC_answer.t ] Lwt.t) -> 'prefix directory
val gen_register3 : 'prefix directory -> ([< RPC_service.meth ]'prefix((unit * 'a) * 'b) * 'c'q'i'o) RPC_service.t -> ('a -> 'b -> 'c -> 'q -> 'i -> [< 'o RPC_answer.t ] Lwt.t) -> 'prefix directory
val gen_register4 : 'prefix directory -> ([< RPC_service.meth ]'prefix(((unit * 'a) * 'b) * 'c) * 'd'q'i'o) RPC_service.t -> ('a -> 'b -> 'c -> 'd -> 'q -> 'i -> [< 'o RPC_answer.t ] Lwt.t) -> 'prefix directory
val gen_register5 : 'prefix directory -> ([< RPC_service.meth ]'prefix((((unit * 'a) * 'b) * 'c) * 'd) * 'e'q'i'o) RPC_service.t -> ('a -> 'b -> 'c -> 'd -> 'e -> 'q -> 'i -> [< 'o RPC_answer.t ] Lwt.t) -> 'prefix directory
val lwt_register0 : unit directory -> ([< RPC_service.meth ], unit, unit, 'q'i'o) RPC_service.t -> ('q -> 'i -> 'o Lwt.t) -> unit directory
val lwt_register1 : 'prefix directory -> ([< RPC_service.meth ]'prefix, unit * 'a'q'i'o) RPC_service.t -> ('a -> 'q -> 'i -> 'o Lwt.t) -> 'prefix directory
val lwt_register2 : 'prefix directory -> ([< RPC_service.meth ]'prefix(unit * 'a) * 'b'q'i'o) RPC_service.t -> ('a -> 'b -> 'q -> 'i -> 'o Lwt.t) -> 'prefix directory
val lwt_register3 : 'prefix directory -> ([< RPC_service.meth ]'prefix((unit * 'a) * 'b) * 'c'q'i'o) RPC_service.t -> ('a -> 'b -> 'c -> 'q -> 'i -> 'o Lwt.t) -> 'prefix directory
val lwt_register4 : 'prefix directory -> ([< RPC_service.meth ]'prefix(((unit * 'a) * 'b) * 'c) * 'd'q'i'o) RPC_service.t -> ('a -> 'b -> 'c -> 'd -> 'q -> 'i -> 'o Lwt.t) -> 'prefix directory
val lwt_register5 : 'prefix directory -> ([< RPC_service.meth ]'prefix((((unit * 'a) * 'b) * 'c) * 'd) * 'e'q'i'o) RPC_service.t -> ('a -> 'b -> 'c -> 'd -> 'e -> 'q -> 'i -> 'o Lwt.t) -> 'prefix directory
val register_dynamic_directory : ?⁠descr:string -> 'prefix directory -> ('prefix'a) RPC_path.t -> ('a -> 'a directory Lwt.t) -> 'prefix directory