Module Make_internal.RawSource

include Pack_value.S with type hash = hash with type key = key
include Irmin.Type.S
Sourcetype t
Sourceval t : t Repr__.Type.t
Sourcetype hash = hash
Sourcetype key = key
Sourceval hash : t -> hash
Sourceval length_header : Pack_value.Kind.t -> [ `Varint ] option

Describes the length header formats for the data sections of pack entries.

Sourceval weight : t -> Irmin_pack__.Pack_value_intf.weight

weight t is the t's LRU weight.

Sourceval encode_bin : dict:(string -> int option) -> offset_of_key:(key -> Optint.Int63.t option) -> hash -> t Irmin.Type.encode_bin
Sourceval decode_bin : dict:(int -> string option) -> key_of_offset:(Optint.Int63.t -> key) -> key_of_hash:(hash -> key) -> t Irmin.Type.decode_bin
Sourceval decode_bin_length : string -> int -> int
Sourceval to_kinded : t -> Irmin_pack__.Pack_value_intf.kinded

to_kinded t returns a kinded version of t.

Sourceval of_kinded : Irmin_pack__.Pack_value_intf.kinded -> t

of_kinded k is the inverse of to_kinded t.

It is expected that an implementation only works for k that is returned from to_kinded t and will raise an exception otherwise.

Sourceval depth : t -> int option
Sourceexception Invalid_depth of {
  1. expected : int;
  2. got : int;
  3. v : t;
}
Sourceval decode_children_offsets : entry_of_offset:(Optint.Int63.t -> 'a) -> entry_of_hash:(hash -> 'a) -> string -> int ref -> 'a list