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/Initialize/Request/index.html

Module Initialize.RequestSource

Sourcetype t = {
  1. dune_version : int * int;
  2. protocol_version : int;
  3. id : Dune_rpc_private__.Types.Id.t;
}
Sourceval create : id:Dune_rpc_private__.Types.Id.t -> t
Sourceval of_call : Dune_rpc_private__.Types.Call.t -> version:(int * int) -> (t, Dune_rpc_private__.Types.Response.Error.t) result
Sourceval dune_version : t -> int * int
Sourceval protocol_version : t -> int
Sourceval id : t -> Dune_rpc_private__.Types.Id.t
Sourceval to_call : t -> Dune_rpc_private__.Types.Call.t