package dune-rpc-eio

You can search for identifiers within the package.

in-package search v0.2.0

Client for dune's RPC server using Eio

Install

dune-project

Dependency

tangled.org Readme Changelog ISC License Edit opam file Versions (1)

Authors

A

Anil Madhavapeddy

Maintainers

A

Anil Madhavapeddy <anil@recoil.org>

Sources

dune-rpc-eio-0.1.0.tbz

md5=5e2dc3cc049957ff80ce391eab708aa9

sha512=b6eb708b87bb511b7096b3cb9b8f3e1495562f2c41aca8c56aa59df8faf87a2d7ff3afaae5cce894cde7b02e21ef87d0bfeb8b95ca99043fbab82ecd94ca3f97

doc/dune-rpc-eio/Dune_rpc_eio/Where/index.html

Module `Dune_rpc_eio.Where`Source

Where a server for a build directory listens.

Source

val get : 
  env:(string -> string option) ->
  build_dir:_ Eio.Path.t ->
  (Dune_rpc.V1.Where.t option, exn) result

get ~env ~build_dir is the address a server for build_dir listens on, or None where build_dir names none. An entry in env settles the address and no file is read at all. Without one the socket under build_dir is read through build_dir's capability.

raises Eio.Io
if build_dir holds a socket and is not native.

Source

val default : 
  ?win32:bool ->
  build_dir:_ Eio.Path.t ->
  unit ->
  Dune_rpc.V1.Where.t

default ~build_dir () is the address a server for build_dir listens on when nothing has moved it, which is the unix socket _build/.rpc/dune under the workspace.

raises Eio.Io
if build_dir is not native.