Module TzPervasives.RPC_context

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 Tezos_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
type Tezos_error_monad.Error_monad.error +=
| Not_found of {
meth : Tezos_rpc.RPC_service.meth;
uri : Uri.t;
}
| Gone of {
meth : Tezos_rpc.RPC_service.meth;
uri : Uri.t;
}
| Generic_error of {
meth : Tezos_rpc.RPC_service.meth;
uri : Uri.t;
}
val make_call : ( [< Resto.meth ], unit, 'p, 'q, 'i, 'o ) Tezos_rpc.RPC_service.t -> simple -> 'p -> 'q -> 'i -> 'o Tezos_error_monad.Error_monad.tzresult Lwt.t
val make_call1 : ( [< Resto.meth ], unit, unit * 'a, 'q, 'i, 'o ) Tezos_rpc.RPC_service.t -> simple -> 'a -> 'q -> 'i -> 'o Tezos_error_monad.Error_monad.tzresult Lwt.t
val make_call2 : ( [< Resto.meth ], unit, (unit * 'a) * 'b, 'q, 'i, 'o ) Tezos_rpc.RPC_service.t -> simple -> 'a -> 'b -> 'q -> 'i -> 'o Tezos_error_monad.Error_monad.tzresult Lwt.t
val make_call3 : ( [< Resto.meth ], unit, ((unit * 'a) * 'b) * 'c, 'q, 'i, 'o ) Tezos_rpc.RPC_service.t -> simple -> 'a -> 'b -> 'c -> 'q -> 'i -> 'o Tezos_error_monad.Error_monad.tzresult Lwt.t
type stopper = unit -> unit
val make_streamed_call : ( [< Resto.meth ], unit, 'p, 'q, 'i, 'o ) Tezos_rpc.RPC_service.t -> streamed -> 'p -> 'q -> 'i -> ('o Lwt_stream.t * stopper) Tezos_error_monad.Error_monad.tzresult Lwt.t