package batteries
A community-maintained standard library extension
Install
dune-project
Dependency
Authors
Maintainers
Sources
v3.2.0.tar.gz
sha256=00f34b9aed4e47f314425b2ca9ceac206f112095a17ea9a7ffa6dac8cfccc492
md5=066051f9a210277710c54ad57c3b9568
doc/batteries.unthreaded/BatPathGen/Make/Operators/index.html
Module Make.Operators
Infix operators for path construction. They are in separate module, so one can open Path.Operators
to use them.
@documents Future.Path.Operators
path/:name
is a path of name
located in a directory path
. For example:
PathType.root
/:"var"/:"log"
builds absolute path "/var/log"[user]/:".ssh"
can be either:- absolute path "/.ssh" in case
user
is an empty string - relative path otherwise
- absolute path "/.ssh" in case
PathType.default_validator
is applied to the argument. name
must not contain path separator (causes Illegal_char exception).
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>