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

Module Dune_rpc_private.DiagnosticSource

Sourcetype severity =
  1. | Error
  2. | Warning
Sourcemodule Promotion : sig ... end
Sourcemodule Id : sig ... end
Sourcetype t = {
  1. targets : Target.t list;
  2. id : Id.t;
  3. message : User_message.Style.t Pp.t;
  4. loc : Loc.t option;
  5. severity : severity option;
  6. promotion : Promotion.t list;
  7. directory : string option;
  8. related : Related.t list;
}
Sourceval id : t -> Id.t
Sourceval loc : t -> Loc.t option
Sourceval message : t -> unit Pp.t
Sourceval message_with_style : t -> User_message.Style.t Pp.t
Sourceval severity : t -> severity option
Sourceval promotion : t -> Promotion.t list
Sourceval targets : t -> Target.t list
Sourceval directory : t -> string option
Sourceval to_dyn : t -> Dyn.t
Sourceval to_user_message : t -> Stdune.User_message.t
Sourcemodule Event : sig ... end
Sourceval sexp : t Conv.value