package dune-rpc

  1. Overview
  2. Docs
Communicate with dune using rpc

Install

dune-project
 Dependency

Authors

Maintainers

Sources

dune-3.21.1.tbz
sha256=84f7a82c6d80a7124f3847e9a489e80cfbeafb7bed3573ac01286ef56fd08d94
sha512=d9fa44e24036d2593adfe59e52e0ad64f3e7e973d23f84af57fc79e38fa210630b0cb55590f314d6ef455333b96a8e0ce188c2720eaae44576222541ba78efb3

doc/dune-rpc.private/Dune_rpc_private/Procedures/Poll/index.html

Module Procedures.PollSource

Sourcetype 'a t
Sourceval poll : 'a t -> (Id.t, 'a option) Decl.Request.t
Sourceval cancel : 'a t -> Id.t Decl.Notification.t
Sourcemodule Name : sig ... end
Sourceval name : 'a t -> Name.t
Sourceval make : Name.t -> (Id.t, 'a option) Decl.Request.gen list -> 'a t
Sourceval progress : Progress.t t
Sourceval diagnostic : Diagnostic.Event.t list t
Sourceval running_jobs : Job.Event.t list t