package dune-rpc

  1. Overview
  2. Docs
Communicate with dune using rpc

Install

dune-project
 Dependency

Authors

Maintainers

Sources

dune-3.21.0.tbz
sha256=e76d4d89368a0a70025193aeaf4f7c5b54031dba3f59bf9d2af1971dc0eceddd
sha512=a7531de073a47f644bd1e06bfb424c50a61d34245e5e0a1f32d8da920437e8fe59246304cb7aec25f797a8dafea876feceeccfe5139502ead4d1ba5c45773ef3

doc/dune-rpc.private/Dune_rpc_private/Public/Request/index.html

Module Public.RequestSource

Public requests and notifications

Sourcetype ('a, 'b) t = ('a, 'b) Decl.Request.witness
Sourceval ping : (unit, unit) t
Sourceval diagnostics : (unit, Diagnostic.t list) t
Sourceval format : (unit, unit) t
Sourceval format_dune_file : (Path.t * [ `Contents of string ], string) t
Sourceval promote : (Path.t, unit) t
Sourceval build_dir : (unit, Path.t) t
Sourceval runtest : (string list, Build_outcome_with_diagnostics.t) t