package batteries
A community-maintained standard library extension
Install
Dune Dependency
Authors
Maintainers
Sources
v3.4.0.tar.gz
md5=66b6e0b25769fc2363972c6a6ab6ac33
sha256=584d314cbaa5485e26d08ce87f7d7ff49043d9096101f2641b59def9aa6d7d71
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)