package batteries
A community-maintained standard library extension
Install
dune-project
Dependency
Authors
Maintainers
Sources
batteries-3.10.0.tar.gz
md5=b7f3b99f12f21b1da6b6aa13d993206d
sha512=8b7f2479eb0271bcfd9168887c1e4a9a815c512eab3ee61b150fc4dfa9ec803e4f73115155f20b3017e4a822148d0e6d1c1e8e5f96790fd691b419dd39a908a2
doc/batteries.unthreaded/BatPathGen/Make/OperatorLift/index.html
Module Make.OperatorLift
Source
Convenience operator for lifting primitive strings to ustring
type.
@documents Future.Path.OperatorLift
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)"
>