Module Dec.IdxSource

Sourcetype 'uid idx
Sourcetype optint = Optint.t
Sourceval make : bigstring -> uid_ln:int -> uid_rw:('uid -> string) -> uid_wr:(string -> 'uid) -> 'uid idx
Sourceval find : 'uid idx -> 'uid -> (optint * int64) option
Sourceval iter : f:(uid:'uid -> offset:int64 -> crc:optint -> unit) -> 'uid idx -> unit
Sourceval exists : 'uid idx -> 'uid -> bool
Sourceval max : 'uid idx -> int
Sourceval get_uid : 'uid idx -> int -> 'uid
Sourceval get_offset : 'uid idx -> int -> int64
Sourceval get_crc : 'uid idx -> int -> optint
Sourcemodule type UID = sig ... end
Sourcetype 'uid entry = {
  1. crc : optint;
  2. offset : int64;
  3. uid : 'uid;
}
Sourcemodule N (Uid : UID) : sig ... end

Memory safe IDX decoder.

The goal of this library is to provide a way to decode the IDX file as a stream.

Sourcemodule Device : sig ... end
Sourcemodule M (IO : sig ... end) (Uid : sig ... end) : sig ... end