package tezos-lwt-result-stdlib
Tezos: error-aware stdlib replacement
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-v10.2.tar.bz2
sha256=6b33e0549574c89a63538c94ce5555dd141e3c0fb5d934abff07d702fa3244d2
sha512=681a197baabec6e2f806871d43490382243207518f8fcf932741cd314d8717e46db2b6a5adc222f8726083a5dd911083b4931b7e878ab815f8f1a32763d1bf93
doc/traces/Traces/index.html
Module Traces
module type S = Traced_sigs.Trace.S
module type EXTENDED = sig ... end
module SingletonR : EXTENDED
Singleton
is a trace implementation where a trace carries exactly one error. Additional information is discarded. The different variant discard additional information in different unspecified way. This is useful for testing purpose if you need to check that you do not depend on some unspecified behaviour. SingletonND
is even non-deterministic.
module SingletonL : EXTENDED
module SingletonND : EXTENDED
Flat
is a trace implementation where a trace carries a flat collection of errors. No error is discarded, but the structure (parallel vs sequential) is.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>