package uopt
An [option]-like type that incurs no allocation, without requiring a reserved value in the underlying type
Install
Dune Dependency
Authors
Maintainers
Sources
v0.17.0.tar.gz
sha256=a6534df59d54cfa50ac22c4406d425b098e94b198cee48c3d82e15a348577cc6
Description
Uopt_base provides an unboxed option type, for use in high-performance systems which avoid allocation. It has several downsides as compared to [option], and is not recommended for use in general-purpose software.
Published: 26 May 2024
Dependencies (4)
Dev Dependencies
None
Used by (3)
-
core_kernel
>= "v0.17.0"
-
core_unix
>= "v0.17.0"
-
incremental
>= "v0.17.0"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page