package dune-rpc
Communicate with dune using rpc
Install
dune-project
Dependency
Authors
Maintainers
Sources
dune-3.20.2.tbz
sha256=b1a86b2d60bdb4a8b9bb6861bdf2f9f28a6e7cb5d833ce81afecceb9ef9ca549
sha512=ed14df9163e487d4ae7d0a2427eaab7823ef1f0ef2d93f0b783e6f163bbd5b44ba73f055d60b84e76f476fe11d38e794013628a1da776d9ec13cca9666e7b7ff
doc/dune-rpc.private/Dune_rpc_private/index.html
Module Dune_rpc_private
Source
This is kept around for compatibility reasons. Before we serialised Pp.t
tags as (Tag pp)
but now we serialise them as Tag (pair tag pp)
.
A compound user error defineds an alternative format for error messages that retains more structure. This can be used to display the errors in richer form by RPC clients.
Describe what files should be promoted. The second argument of These
is a function that is called on files that cannot be promoted.
Notification sent from server to client
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>