package dune-rpc

  1. Overview
  2. Docs
Communicate with dune using rpc

Install

dune-project
 Dependency

Authors

Maintainers

Sources

dune-3.22.2.tbz
sha256=c2ccf8bc6b17afa47c450297357496303aa7c8680e329b79d98c68e35013a118
sha512=26d3df56a509c6e8937a9333944303bdd8800a41e1b869c3adfb76d1e1fe615b6ec41491d596bd5982e338dcf70b97c18f963f37bfbf2bd581cbd356f3d5f4e5

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