package batteries
A community-maintained standard library extension
Install
Dune Dependency
Authors
Maintainers
Sources
v3.5.0.tar.gz
md5=e4b70d1a716f0aaba36f419f618d0a2e
sha512=a31f1f8cf2c7c3c6c757f3bfae98ff61bb32bab6a1f1e215937df42bcfa447aad41a37edb28d7bcecb88b3838ed8bd57142bcf8e2d28e09bb538055fd8a3b72d
doc/batteries.unthreaded/BatPathGen/OfString/OperatorLift/index.html
Module OfString.OperatorLift
Convenience operator for lifting primitive strings to ustring
type.
@documents Future.Path.OperatorLift
val (!!) : string -> ustring
Prefix operator that converts primitive string to ustring
. May raise some exceptions depending on actual strings implementation.
You might want to open Path.OperatorLift
to improve readability of path construction using string literals. Example: Path.root/:!!"foo"/:!!"bar"
= Path.root/:(S.lift "foo")/:(S.lift "bar")
(where S.lift
converts to ustring
type)
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>