package batteries

  1. Overview
  2. Docs
A community-maintained standard library extension

Install

dune-project
 Dependency

Authors

Maintainers

Sources

batteries-3.11.0.tar.gz
md5=096be9e83e347b4c7b5b6e5b2af22992
sha512=621dca842c4a7adf0ac1e907bf44c1405e0b66a088987a138a4f4e98ca744815913bf87fd780619151cb049a07d7fdb1e8adb7b65698ab46b8c2dfe46cd7119d

doc/batteries.unthreaded/BatPathGen/OfString/OperatorLift/index.html

Module OfString.OperatorLiftSource

Convenience operator for lifting primitive strings to ustring type.

@documents Future.Path.OperatorLift

Sourceval (!!) : 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)