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.22.1.tbz
sha256=0c0b98396c32ec426886c2c2294024fd687ac5114d4dda0af9dc8a2e584d47fd
sha512=4dc4ed45fb52a3017bc73fdbcb7b88c1710cebfdbb87ecb6f933582f8f0a27ef740f8c4009439ff6a878e1115c3f29d199e63d0367a88a09d2ea19b61517a814
doc/dune-rpc.private/Dune_rpc_private/Compound_user_error/index.html
Module Dune_rpc_private.Compound_user_errorSource
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.
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.
Source
type t = Stdune.User_message.Compound.t = {main : Stdune.User_message.t;severity : Stdune.User_message.Severity.t;
}Make a t with severity as Error.
Source
val make_with_severity :
main:Stdune.User_message.t ->
related:Stdune.User_message.t list ->
severity:Stdune.User_message.Severity.t ->
t sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>