package irmin-pack
Irmin backend which stores values in a pack file
Install
Dune Dependency
Authors
Maintainers
Sources
irmin-3.7.2.tbz
sha256=6aa5ba4c6a0233747d4bd3ab396f2b3a33bb80f9d8ed4a178c83a035033c0e52
sha512=8a5506a57e8569a11c883ca25b3c60ae7a9a03c2da111668193d7b4296434c43f1a310e78f189e4b38c234da790259d2961c6a0ae481282c18bb97f618fccfb6
doc/irmin-pack.unix/Irmin_pack_unix/Ranges/index.html
Module Irmin_pack_unix.Ranges
Source
An ordered set of disjoint (offset, length)
ranges.
add ~off ~len t
inserts the range (off, len)
into t
. When add
is called multiple times sequentially, it is optimized for strictly decreasing offsets arguments.
iter fn t
calls fn ~off ~len
on every disjoint range (off, len)
in the set t
. The function fn ~off ~len
is called with strictly increasing offsets. If two or more consecutive ranges (off,len)
and (off+len,len')
were added to the set t
, a single call to fn
will be performed on the englobing interval (off,len+len')
.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>