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

Module Dune_rpc_private.JobSource

Sourcemodule Id : sig ... end
Sourcetype t = {
  1. id : Id.t;
  2. pid : int;
  3. description : unit Pp.t;
  4. started_at : float;
}
Sourceval id : t -> Id.t
Sourceval pid : t -> int
Sourceval description : t -> unit Pp.t
Sourceval started_at : t -> float
Sourcemodule Event : sig ... end