RPC_service (mavryk-protocol-001-PtAtLas.Mavryk_protocol_environment_001_PtAtLas.RPC

type meth = Mavryk_rpc.Service.meth

type (+'a, 'pr, 'p, 'q, 'i, 'o) t =
  ('a, 'pr, 'p, 'q, 'i, 'o) Mavryk_rpc.Service.t constraint 'a = [< Resto.meth ]

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

val get_service : 
  ?description:string ->
  query:'query RPC_query.t ->
  output:'output Data_encoding.t ->
  ('prefix, 'params) RPC_path.t ->
  ([ `GET ], 'prefix, 'params, 'query, unit, 'output) service

val post_service : 
  ?description:string ->
  query:'query RPC_query.t ->
  input:'input Data_encoding.t ->
  output:'output Data_encoding.t ->
  ('prefix, 'params) RPC_path.t ->
  ([ `POST ], 'prefix, 'params, 'query, 'input, 'output) service

val delete_service : 
  ?description:string ->
  query:'query RPC_query.t ->
  output:'output Data_encoding.t ->
  ('prefix, 'params) RPC_path.t ->
  ([ `DELETE ], 'prefix, 'params, 'query, unit, 'output) service

val patch_service : 
  ?description:string ->
  query:'query RPC_query.t ->
  input:'input Data_encoding.t ->
  output:'output Data_encoding.t ->
  ('prefix, 'params) RPC_path.t ->
  ([ `PATCH ], 'prefix, 'params, 'query, 'input, 'output) service

val put_service : 
  ?description:string ->
  query:'query RPC_query.t ->
  input:'input Data_encoding.t ->
  output:'output Data_encoding.t ->
  ('prefix, 'params) RPC_path.t ->
  ([ `PUT ], 'prefix, 'params, 'query, 'input, 'output) service