package irmin-pack
Irmin backend which stores values in a pack file
Install
Dune Dependency
Authors
Maintainers
Sources
irmin-3.7.1.tbz
sha256=8d1a49318bda711ed44d9ea27ecd044b1d650390633d5b08f76590689c22056f
sha512=2995e6acc53dee2c59bf473c7c16c74daebfa193df552ec83ffe88fe598e26d4d8ff5da4f0cd575adaa49efa4b317d74f2c814c1b5601bed3833d76f377b6da7
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)"
>