Module TzPervasives.RPC_service

type meth = [
| `GET
| `POST
| `DELETE
| `PUT
| `PATCH
]
val string_of_meth : [< meth ] -> string
val meth_of_string : string -> [> meth ] option
val meth_encoding : meth Data_encoding.t
module MethMap = Resto.MethMap
type (+'m, 'pr, 'p, 'q, 'i, 'o, 'e) raw = ( 'm, 'pr, 'p, 'q, 'i, 'o, 'e ) Resto.MakeService(Tezos_rpc.RPC_encoding).t constraint 'meth = [< meth ]
type (+'meth, 'prefix, 'params, 'query, 'input, 'output) t = ( 'meth, 'prefix, 'params, 'query, 'input, 'output, error ) raw constraint 'meth = [< meth ]
type (+'meth, 'prefix, 'params, 'query, 'input, 'output) service = ( 'meth, 'prefix, 'params, 'query, 'input, 'output, error ) raw constraint 'meth = [< meth ]
include module type of struct include Resto.MakeService(Tezos_rpc.RPC_encoding) end with type (+'m, 'pr, 'p, 'q, 'i, 'o, 'e) t := ( 'm, 'pr, 'p, 'q, 'i, 'o, 'e ) raw and type (+'m, 'pr, 'p, 'q, 'i, 'o, 'e) service := ( 'm, 'pr, 'p, 'q, 'i, 'o, 'e ) raw
val meth : ( [< Resto.meth ] as 'a, 'prefix, 'params, 'query, 'input, 'output, 'error ) raw -> 'a
val query : ( [< Resto.meth ], 'prefix, 'params, 'query, 'input, 'output, 'error ) raw -> 'query Resto.Query.t
type !'a input = 'a Resto.MakeService(Tezos_rpc.RPC_encoding).input =
| No_input : unit input
| Input : 'input Tezos_rpc.RPC_encoding.t -> 'input input
val input_encoding : ( [< Resto.meth ], 'prefix, 'params, 'query, 'input, 'output, 'error ) raw -> 'input input
val output_encoding : ( [< Resto.meth ], 'prefix, 'params, 'query, 'input, 'output, 'error ) raw -> 'output Tezos_rpc.RPC_encoding.t
val prefix : ( 'prefix, 'inner_prefix ) Resto.Path.t -> ( [< Resto.meth ] as 'a, 'inner_prefix, 'params, 'query, 'input, 'output, 'error ) raw -> ( 'a, 'prefix, 'params, 'query, 'input, 'output, 'error ) raw
val subst0 : ( [< Resto.meth ] as 'a, 'p, 'p, 'q, 'i, 'o, 'e ) raw -> ( 'a, 'p2, 'p2, 'q, 'i, 'o, 'e ) raw
val subst1 : ( [< Resto.meth ] as 'b, 'p, 'p * 'a, 'q, 'i, 'o, 'e ) raw -> ( 'b, 'p2, 'p2 * 'a, 'q, 'i, 'o, 'e ) raw
val subst2 : ( [< Resto.meth ] as 'c, 'p, ('p * 'a) * 'b, 'q, 'i, 'o, 'e ) raw -> ( 'c, 'p2, ('p2 * 'a) * 'b, 'q, 'i, 'o, 'e ) raw
val subst3 : ( [< Resto.meth ] as 'd, 'p, (('p * 'a) * 'b) * 'c, 'q, 'i, 'o, 'e ) raw -> ( 'd, 'p2, (('p2 * 'a) * 'b) * 'c, 'q, 'i, 'o, 'e ) raw
type ('prefix, 'params, 'error) description_service = ( [ `GET ], 'prefix, 'params * string list, Resto.Description.request, unit, Tezos_rpc.RPC_encoding.schema Resto.Description.directory, 'error ) raw
type !'input request = 'input Resto.MakeService(Tezos_rpc.RPC_encoding).request = {
meth : Resto.meth;
uri : Uri.t;
input : 'input input;
}
val forge_request : ( [< Resto.meth ], unit, 'params, 'query, 'input, 'output, 'error ) raw -> ?base:Uri.t -> 'params -> 'query -> 'input request
val forge_partial_request : ( [< Resto.meth ], 'prefix, 'params, 'query, 'input, 'output, 'error ) raw -> ?base:Uri.t -> 'params -> 'query -> 'input request
module Internal : sig ... end
val get_service : ?description:string -> query:'query Tezos_rpc.RPC_query.t -> output:'output Data_encoding.t -> ( 'prefix, 'params ) Tezos_rpc.RPC_path.t -> ( [ `GET ], 'prefix, 'params, 'query, unit, 'output ) service
val post_service : ?description:string -> query:'query Tezos_rpc.RPC_query.t -> input:'input Data_encoding.t -> output:'output Data_encoding.t -> ( 'prefix, 'params ) Tezos_rpc.RPC_path.t -> ( [ `POST ], 'prefix, 'params, 'query, 'input, 'output ) service
val delete_service : ?description:string -> query:'query Tezos_rpc.RPC_query.t -> output:'output Data_encoding.t -> ( 'prefix, 'params ) Tezos_rpc.RPC_path.t -> ( [ `DELETE ], 'prefix, 'params, 'query, unit, 'output ) service
val patch_service : ?description:string -> query:'query Tezos_rpc.RPC_query.t -> input:'input Data_encoding.t -> output:'output Data_encoding.t -> ( 'prefix, 'params ) Tezos_rpc.RPC_path.t -> ( [ `PATCH ], 'prefix, 'params, 'query, 'input, 'output ) service
val put_service : ?description:string -> query:'query Tezos_rpc.RPC_query.t -> input:'input Data_encoding.t -> output:'output Data_encoding.t -> ( 'prefix, 'params ) Tezos_rpc.RPC_path.t -> ( [ `PUT ], 'prefix, 'params, 'query, 'input, 'output ) service