package dune-rpc

  1. Overview
  2. Docs
Communicate with dune using rpc

Install

dune-project
 Dependency

Authors

Maintainers

Sources

dune-3.22.1.tbz
sha256=0c0b98396c32ec426886c2c2294024fd687ac5114d4dda0af9dc8a2e584d47fd
sha512=4dc4ed45fb52a3017bc73fdbcb7b88c1710cebfdbb87ecb6f933582f8f0a27ef740f8c4009439ff6a878e1115c3f29d199e63d0367a88a09d2ea19b61517a814

doc/dune-rpc.private/Dune_rpc_private/Decl/Generation/index.html

Module Decl.GenerationSource

Sourcetype ('wire_req, 'wire_resp, 'real_req, 'real_resp) conv = {
  1. req : 'wire_req Conv.value;
  2. resp : 'wire_resp Conv.value;
  3. upgrade_req : 'wire_req -> 'real_req;
  4. downgrade_req : 'real_req -> 'wire_req;
  5. upgrade_resp : 'wire_resp -> 'real_resp;
  6. downgrade_resp : 'real_resp -> 'wire_resp;
}
Sourcetype (_, _) t =
  1. | T : ('wire_req, 'wire_resp, 'real_req, 'real_resp) conv -> ('real_req, 'real_resp) t