package dune-rpc

  1. Overview
  2. Docs
Communicate with dune using rpc

Install

dune-project
 Dependency

Authors

Maintainers

Sources

dune-3.22.0.tbz
sha256=cb816b2e672ca6c6ea680133f01287bd95a58ca611cb476acff67b8adbacf722
sha512=c99102070a9c90b29ca4cac68bd2444c086dd0ac5b63515d561087509beff719c4c534ee844f25ce391d1c08080f9e78b7dd32ed14057c6b9cc7886f60337f3b

doc/dune-rpc.private/Dune_rpc_private/Public/Request/Initialize/index.html

Module Request.InitializeSource

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