package dune-rpc
Communicate with dune using rpc
Install
dune-project
Dependency
Authors
Maintainers
Sources
dune-3.20.0.tbz
sha256=767999da81e528484139ecfe927288ffe521ac2467462a40d6a760ed789ba086
sha512=18f6a293cb5d4423a3bf69ce9559b40e7075e49b13c79166f2aacfa55cbc2609e20938bad889b43df0d5a3396ea034e405631d3757da6164c51be375e5751632
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)"
>