package dune-rpc-eio

  1. Overview
  2. Docs
Client for dune's RPC server using Eio

Install

dune-project
 Dependency

Authors

Maintainers

Sources

dune-rpc-eio-0.1.0.tbz
md5=5e2dc3cc049957ff80ce391eab708aa9
sha512=b6eb708b87bb511b7096b3cb9b8f3e1495562f2c41aca8c56aa59df8faf87a2d7ff3afaae5cce894cde7b02e21ef87d0bfeb8b95ca99043fbab82ecd94ca3f97

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

Module Dune_rpc_eioSource

Dune's RPC client over Eio.

Sourcemodule Chan : sig ... end
Sourcemodule Client : Dune_rpc.Private.Client.S with type 'a fiber := 'a and type chan := Chan.t

The client. It is exported at the private signature rather than at Dune_rpc.V1.Client.S so we can do per-test requests, which is not exposed in the public interface.

Sourcemodule Where : sig ... end

Where a server for a build directory listens.

Sourceval connect : sw:Eio.Switch.t -> net:_ Eio.Net.t -> Dune_rpc.V1.Where.t -> Chan.t

connect ~sw ~net where opens a connection to where.