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/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