package dune-rpc
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
Communicate with dune using rpc
Install
dune-project
Dependency
Authors
Maintainers
Sources
dune-3.21.1.tbz
sha256=84f7a82c6d80a7124f3847e9a489e80cfbeafb7bed3573ac01286ef56fd08d94
sha512=d9fa44e24036d2593adfe59e52e0ad64f3e7e973d23f84af57fc79e38fa210630b0cb55590f314d6ef455333b96a8e0ce188c2720eaae44576222541ba78efb3
doc/dune-rpc.private/Dune_rpc_private/index.html
Module Dune_rpc_privateSource
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 defines 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)"
>