package octez-libs
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=aa2f5bc99cc4ca2217c52a1af2a2cdfd3b383208cb859ca2e79ca0903396ca1d
sha512=d68bb3eb615e3dcccc845fddfc9901c95b3c6dc8e105e39522ce97637b1308a7fa7aa1d271351d5933febd7476b2819e1694f31198f1f0919681f1f9cc97cb3a
doc/octez-libs.rpc/Tezos_rpc/Query/index.html
Module Tezos_rpc.Query
Source
include module type of struct include Resto.Query end
A type for representing query parameters.
The type for key-value pairs that constitute a query. The first type parameter is for whole-query store and the second is for the type of value carried by the field.
field ?descr key arg default get
is a field for the query parameters, i.e., it describes one key-value pair.
The key is given by key
and the value is parsed as specified in arg
or, if absent from the URI suffix, default
.
Finally, get
is for retrieving the value from the whole-query store. More on the whole-query store below.
val opt_field :
?descr:string ->
string ->
'a Resto.Arg.t ->
('b -> 'a option) ->
('b, 'a option) field
val multi_field :
?descr:string ->
string ->
'a Resto.Arg.t ->
('b -> 'a list) ->
('b, 'a list) field
Queries are constructed by adding fields to an open query and sealing it into a query. This is done using the functions below. Typically, it is done as follow: query c |+ field1 |+ field2 |> seal
As the types require, you must provide the correct argument to the successive building steps. Here is an example: query (fun timeout shade -> (timeout, shade)) |+ field "timeout" Arg.float 10. (fun (timeout, _) -> timeout) |+ field "shade" Arg.string "fuchsia" (fun (_, shade) -> shade) |> seal
The initial query
function takes a whole-query store builder (a function that assemble all the fields into a single store of values), and each field takes a function to recover the value from the whole-query store.