Module RestoSource

Sourcemodule Utils : sig ... end
Sourcetype meth = [
  1. | `GET
  2. | `POST
  3. | `DELETE
  4. | `PUT
  5. | `PATCH
]
Sourceval string_of_meth : [< meth ] -> string
Sourceval meth_of_string : string -> [> meth ] option
Sourcemodule MethMap : Map.S with type key = meth
Sourcemodule StringMap : Map.S with type key = string
Sourcetype (_, _) eq =
  1. | Eq : ('a, 'a) eq

eq is an equality witness type. It is returned by some non-trivial equality-testing functions in the rest of this module. In general, it is intended to be used as follows:

match are_equal foo bar with | None -> (* values are not equal *) .. | Some Eq -> (* values are equal *) ..

Sourcemodule Arg : sig ... end

Typed path argument.

Sourcemodule Path : sig ... end

Parametrized path to services.

Sourcemodule Description : sig ... end

Service directory description

Sourcemodule Query : sig ... end
Sourcemodule type ENCODING = sig ... end

An ENCODING is a generic interface for modules that provide conversion from values to a different representation and back. This is used to abstract resto over specific representations of values.

Sourcemodule MakeService (Encoding : ENCODING) : sig ... end