package dune-rpc-eio
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
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.
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.
connect ~sw ~net where opens a connection to where.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>