package batteries
A community-maintained standard library extension
Install
Dune Dependency
Authors
Maintainers
Sources
v3.3.0.tar.gz
sha256=40d18485911e343500a5636bbf1d84e2ee32f924fe87e5fd13a37641a4d8f226
md5=fe4da12b678a82faaeda4e58492ea871
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 -> ustringPrefix 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)