Module Irmin_pack_unix.RangesSource

Sourcetype t

An ordered set of disjoint (offset, length) ranges.

Sourceval make : unit -> t

make () returns a new empty set of ranges.

Sourceval add : off:Optint.Int63.t -> len:int -> t -> unit

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.

Sourceval iter : (off:Optint.Int63.t -> len:Optint.Int63.t -> unit) -> t -> unit

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').

Sourceval count : t -> int

count t returns the number of adds performed on t.