package batteries
A community-maintained standard library extension
Install
dune-project
Dependency
Authors
Maintainers
Sources
v3.0.0.tar.gz
sha256=6a633ec390dcec24731b11cef396f1a19c63cac801114cff2970111af91fd395
md5=b4b8e7ed94b5db86f3bbda809dd42bab
doc/batteries/BatPathGen/Make/OperatorLift/index.html
Module Make.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)