package irmin
Irmin, a distributed database that follows the same design principles as Git
Install
Dune Dependency
Authors
Maintainers
Sources
irmin-3.2.1.tbz
sha256=9cfb7291a7d90ca0e55ece33040ad41e74cadd8c6446e04c33558bc1a1951518
sha512=9605acd77de9aae70ae96554a28594e6ed5beba70a48145c0fc2204b32bb23b843ba98cf034e88391581d5f3495154195c644d64a3aa3f8d3994a9c5518c5cda
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