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 Logging : sig ... end

Logs tags attached to the log entries emitted by Irmin:

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

include module type of struct include Lwt.Syntax end

Monadic syntax

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

Syntax for bind.

Sourceval (and*) : 'a Lwt.t -> 'b Lwt.t -> ('a * 'b) Lwt.t

Syntax for both.

Applicative syntax

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

Syntax for map.

Sourceval (and+) : 'a Lwt.t -> 'b Lwt.t -> ('a * 'b) Lwt.t

Syntax for both.

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

Dependency extensions

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