package dune-rpc

  1. Overview
  2. Docs
Communicate with dune using rpc

Install

dune-project
 Dependency

Authors

Maintainers

Sources

dune-3.20.2.tbz
sha256=b1a86b2d60bdb4a8b9bb6861bdf2f9f28a6e7cb5d833ce81afecceb9ef9ca549
sha512=ed14df9163e487d4ae7d0a2427eaab7823ef1f0ef2d93f0b783e6f163bbd5b44ba73f055d60b84e76f476fe11d38e794013628a1da776d9ec13cca9666e7b7ff

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