Module Irmin.Export_for_backendsSource

Helper module containing useful top-level types for defining Irmin backends. This module is relatively unstable.

Sourcemodule Store_properties : sig ... end
Sourcemodule Reversed_list : sig ... end

Reversed_list.t is constructed the same way as List.t, but needs to be reversed before it can be used as a regular list.

Sourcetype read = Perms.read
Sourcetype write = Perms.write
Sourcetype read_write = Perms.read_write

Lwt syntax

Sourceval (>>=) : 'a Lwt.t -> ('a -> 'b Lwt.t) -> 'b Lwt.t
Sourceval (>|=) : 'a Lwt.t -> ('a -> 'b) -> 'b Lwt.t
Sourceval (let*) : 'a Lwt.t -> ('a -> 'b Lwt.t) -> 'b Lwt.t
Sourceval (let+) : 'a Lwt.t -> ('a -> 'b) -> 'b Lwt.t

Dependency extensions

Sourcemodule Option : sig ... end
Sourcemodule List : sig ... end
Sourcemodule Seq : sig ... end
Sourceval shuffle : Random.State.t -> 'a array -> unit