package dune-rpc
Communicate with dune using rpc
Install
dune-project
Dependency
Authors
Maintainers
Sources
dune-3.20.1.tbz
sha256=f08e95de2828e891d68906e4430b5117032285207b5bc684fc5d45652eb30e0a
sha512=a45eb69c773396285f3785a1c2edb4644e376c02053ff23cbc39dd2244c9e99527bdaed34b10ad8a0f50a143ce22777a76a0cd19f3a2d313cea9560986fa6bb9
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)"
>