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

Module Dune_rpc_private.ProgressSource

Sourcetype t =
  1. | Waiting
  2. | In_progress of {
    1. complete : int;
    2. remaining : int;
    3. failed : int;
    }
  3. | Failed
  4. | Interrupted
  5. | Success
Sourceval sexp : t Conv.value