package irmin-pack
Irmin backend which stores values in a pack file
Install
Dune Dependency
Authors
Maintainers
Sources
irmin-3.10.0.tbz
sha256=92a9de7a0a2a35c2feba0c35a806b1f0df24c1c0d15164eebf3f919296d26715
sha512=0203ec5117a851ad5afeb2f9091659b4e142e231b6b945caab93f4d7beb23397c8ac43f7056e91d18f4bff0be1062f6ae966d221f877c229328c0cbbf29fd9f0
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)"
>