package irmin
Irmin, a distributed database that follows the same design principles as Git
Install
Dune Dependency
Authors
Maintainers
Sources
irmin-3.4.1.tbz
sha256=922836116c30ec68068a38694a09bba521cf47edd0e4ae44e076b9b4963da180
sha512=30f6833157cab53cc285093d7f6a82492b9a3709c860160278b1e7b665a7640a0a4c6a0415df0c8127b3967a60146a6cbb99f1151476736afde6e2cf50a56890
doc/irmin.mem/Irmin_mem/KV/Make/Schema/Path/index.html
Module Schema.Path
Source
Path
The type for path values.
Type type for path's steps.
Deconstruct the first element of the path. Return None
if the path is empty.
Deconstruct the last element of the path. Return None
if the path is empty.
Value Types
t
is the value type for t
.
step_t
is the value type for step
.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page