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/Client/Make/Stream/index.html

Module Make.StreamSource

Sourcetype nonrec 'a t = {
  1. poll : (Dune_rpc_private__.Types.Id.t, 'a option) Versioned.request;
  2. cancel : Dune_rpc_private__.Types.Id.t Versioned.notification;
  3. client : t;
  4. id : Dune_rpc_private__.Types.Id.t;
  5. mutable pending_request_id : Dune_rpc_private__.Types.Id.t option;
  6. counter : int;
  7. mutable active : bool;
}
Sourceval create : 'a Sub.t -> t -> Dune_rpc_private__.Types.Id.t -> ('a t, Version_error.t) result Fiber.t
Sourceval check_active : 'a t -> unit
Sourceval next : 'a t -> 'a option Fiber.t
Sourceval cancel : 'a t -> unit Fiber.t