Context (mavkit-libs.Mavryk

class type 'pr gen_simple = object ... end

class type 'pr gen_streamed = object ... end

class type 'pr gen = object ... end

class type simple = object ... end

class type streamed = object ... end

class type t = object ... end

type ('o, 'e) rest = [

| `Ok of 'o
| `Conflict of 'e
| `Error of 'e
| `Forbidden of 'e
| `Not_found of 'e
| `Gone of 'e
| `Unauthorized of 'e

]

'o is the type of the result (output) and 'e the type of the error

type ('o, 'e) rest_result =
  ('o, 'e) rest Mavryk_error_monad.Error_monad.tzresult

type generic_call_result = [

| `Json of (Data_encoding.json, Data_encoding.json option) rest
| `Binary of (string, string option) rest
| `Other of (string * string) option * (string, string option) rest

]

The type of a generic call result

class type generic = object ... end

class 'pr of_directory : 'pr Resto_directory.Make(Mavryk_rpc__.RPC_encoding).t -> 'pr gen

type Mavryk_error_monad.Error_monad.error +=

| Not_found of {
1. meth : [ `GET | `POST | `DELETE | `PUT | `PATCH ];
2. uri : Uri.t;
}
| Gone of {
1. meth : [ `GET | `POST | `DELETE | `PUT | `PATCH ];
2. uri : Uri.t;
}
| Generic_error of {
1. meth : [ `GET | `POST | `DELETE | `PUT | `PATCH ];
2. uri : Uri.t;
}

val make_call : 
  ([< Resto.meth ],
    unit,
    'p,
    'q,
    'i,
    'o,
    Mavryk_error_monad.Error_monad.error list)
    Resto.MakeService(Mavryk_rpc__.RPC_encoding).t ->
  simple ->
  'p ->
  'q ->
  'i ->
  'o Mavryk_error_monad.Error_monad.tzresult Lwt.t

val make_call1 : 
  ([< Resto.meth ],
    unit,
    unit * 'a,
    'q,
    'i,
    'o,
    Mavryk_error_monad.Error_monad.error list)
    Resto.MakeService(Mavryk_rpc__.RPC_encoding).t ->
  simple ->
  'a ->
  'q ->
  'i ->
  'o Mavryk_error_monad.Error_monad.tzresult Lwt.t

val make_call2 : 
  ([< Resto.meth ],
    unit,
    (unit * 'a) * 'b,
    'q,
    'i,
    'o,
    Mavryk_error_monad.Error_monad.error list)
    Resto.MakeService(Mavryk_rpc__.RPC_encoding).t ->
  simple ->
  'a ->
  'b ->
  'q ->
  'i ->
  'o Mavryk_error_monad.Error_monad.tzresult Lwt.t

val make_call3 : 
  ([< Resto.meth ],
    unit,
    ((unit * 'a) * 'b) * 'c,
    'q,
    'i,
    'o,
    Mavryk_error_monad.Error_monad.error list)
    Resto.MakeService(Mavryk_rpc__.RPC_encoding).t ->
  simple ->
  'a ->
  'b ->
  'c ->
  'q ->
  'i ->
  'o Mavryk_error_monad.Error_monad.tzresult Lwt.t

type stopper = unit -> unit

val make_streamed_call : 
  ([< Resto.meth ],
    unit,
    'p,
    'q,
    'i,
    'o,
    Mavryk_error_monad.Error_monad.error list)
    Resto.MakeService(Mavryk_rpc__.RPC_encoding).t ->
  streamed ->
  'p ->
  'q ->
  'i ->
  ('o Lwt_stream.t * stopper) Mavryk_error_monad.Error_monad.tzresult Lwt.t