Service (mavkit-shell-libs.Mavryk_mockup.Local

type (+'a, 'prefix, 'params, 'query, 'input, 'output, 'error) t =
  ('a, 'prefix, 'params, 'query, 'input, 'output, 'error)
    Resto.MakeService(Mavryk_rpc.Encoding).t constraint 'a = [< Resto.meth ]

type (+'a, 'prefix, 'params, 'query, 'input, 'output, 'error) service =
  ('a, 'prefix, 'params, 'query, 'input, 'output, 'error) t constraint 'a = [< Resto.meth ]

val meth : 
  ([< Resto.meth ] as 'a, 'prefix, 'params, 'query, 'input, 'output, 'error)
    service ->
  'a

val query : 
  ([< Resto.meth ], 'prefix, 'params, 'query, 'input, 'output, 'error) service ->
  'query Resto.Query.t

type !'a input = 'a Resto.MakeService(Mavryk_rpc.Encoding).input =

| No_input : unit input
| Input : 'input Mavryk_rpc.Encoding.t -> 'input input

val input_encoding : 
  ([< Resto.meth ], 'prefix, 'params, 'query, 'input, 'output, 'error) service ->
  'input input

val output_encoding : 
  ([< Resto.meth ], 'prefix, 'params, 'query, 'input, 'output, 'error) service ->
  'output Mavryk_rpc.Encoding.t

val error_encoding : 
  ([< Resto.meth ], 'prefix, 'params, 'query, 'input, 'output, 'error) service ->
  'error Mavryk_rpc.Encoding.t

val get_service : 
  ?description:string ->
  query:'query Resto.Query.t ->
  output:'output Mavryk_rpc.Encoding.t ->
  error:'error Mavryk_rpc.Encoding.t ->
  ('prefix, 'params) Resto.Path.t ->
  ([ `GET ], 'prefix, 'params, 'query, unit, 'output, 'error) service

val post_service : 
  ?description:string ->
  query:'query Resto.Query.t ->
  input:'input Mavryk_rpc.Encoding.t ->
  output:'output Mavryk_rpc.Encoding.t ->
  error:'error Mavryk_rpc.Encoding.t ->
  ('prefix, 'params) Resto.Path.t ->
  ([ `POST ], 'prefix, 'params, 'query, 'input, 'output, 'error) service

val delete_service : 
  ?description:string ->
  query:'query Resto.Query.t ->
  output:'output Mavryk_rpc.Encoding.t ->
  error:'error Mavryk_rpc.Encoding.t ->
  ('prefix, 'params) Resto.Path.t ->
  ([ `DELETE ], 'prefix, 'params, 'query, unit, 'output, 'error) service

val patch_service : 
  ?description:string ->
  query:'query Resto.Query.t ->
  input:'input Mavryk_rpc.Encoding.t ->
  output:'output Mavryk_rpc.Encoding.t ->
  error:'error Mavryk_rpc.Encoding.t ->
  ('prefix, 'params) Resto.Path.t ->
  ([ `PATCH ], 'prefix, 'params, 'query, 'input, 'output, 'error) service

val put_service : 
  ?description:string ->
  query:'query Resto.Query.t ->
  input:'input Mavryk_rpc.Encoding.t ->
  output:'output Mavryk_rpc.Encoding.t ->
  error:'error Mavryk_rpc.Encoding.t ->
  ('prefix, 'params) Resto.Path.t ->
  ([ `PUT ], 'prefix, 'params, 'query, 'input, 'output, 'error) service

val prefix : 
  ('prefix, 'inner_prefix) Resto.Path.t ->
  ([< Resto.meth ] as 'a,
    'inner_prefix,
    'params,
    'query,
    'input,
    'output,
    'error)
    service ->
  ('a, 'prefix, 'params, 'query, 'input, 'output, 'error) service

val subst0 : 
  ([< Resto.meth ] as 'a, 'p, 'p, 'q, 'i, 'o, 'e) service ->
  ('a, 'p2, 'p2, 'q, 'i, 'o, 'e) service

val subst1 : 
  ([< Resto.meth ] as 'b, 'p, 'p * 'a, 'q, 'i, 'o, 'e) service ->
  ('b, 'p2, 'p2 * 'a, 'q, 'i, 'o, 'e) service

val subst2 : 
  ([< Resto.meth ] as 'c, 'p, ('p * 'a) * 'b, 'q, 'i, 'o, 'e) service ->
  ('c, 'p2, ('p2 * 'a) * 'b, 'q, 'i, 'o, 'e) service

val subst3 : 
  ([< Resto.meth ] as 'd, 'p, (('p * 'a) * 'b) * 'c, 'q, 'i, 'o, 'e) service ->
  ('d, 'p2, (('p2 * 'a) * 'b) * 'c, 'q, 'i, 'o, 'e) service

type ('prefix, 'params, 'error) description_service =
  ([ `GET ],
    'prefix,
    'params * string list,
    Resto.Description.request,
    unit,
    Mavryk_rpc.Encoding.schema Resto.Description.directory,
    'error)
    service

val description_service : 
  ?description:string ->
  'error Mavryk_rpc.Encoding.t ->
  ('prefix, 'params) Resto.Path.t ->
  ('prefix, 'params, 'error) description_service

type !'input request = 'input Resto.MakeService(Mavryk_rpc.Encoding).request = {

meth : Resto.meth;
uri : Uri.t;
input : 'input input;

}

val forge_request : 
  ([< Resto.meth ], unit, 'params, 'query, 'input, 'output, 'error) service ->
  ?base:Uri.t ->
  'params ->
  'query ->
  'input request

val forge_partial_request : 
  ([< Resto.meth ], 'prefix, 'params, 'query, 'input, 'output, 'error) service ->
  ?base:Uri.t ->
  'params ->
  'query ->
  'input request

module Internal : sig ... end