Up – Package index » dune-rpc » Library dune-rpc.private » Dune_rpc_private » Procedures » Public

Module `Procedures.Public`

Procedures with generations for server impl

val ping : (unit, unit) Decl.Request.t

val diagnostics : (unit, Diagnostic.t list) Decl.Request.t

val shutdown : unit Decl.Notification.t

val format_dune_file : 
  (Path.t * [ `Contents of string ], string) Decl.Request.t

val promote : (Path.t, unit) Decl.Request.t

val build_dir : (unit, Path.t) Decl.Request.t