Module Jenga_lib.Persist

The module that handles the jenga database, loading it on starting and saving it periodically, assuming something needs to be saved. Manipulation of the database is done in other places.

type t

val create_saving_periodically : Core.Time.Span.t ‑> t Core.Or_error.t Async.Deferred.t

val disable_periodic_saving_and_save_now : t ‑> unit Async.Deferred.t

tries to save; on error prints out the message and becomes determined

val re_enable_periodic_saving : t ‑> unit

module Quality : sig ... end

val quality : t ‑> Quality.t

val modify : string ‑> 'a ‑> 'a

val db : t ‑> Db.t

val load_db : unit ‑> Db.t Core.Or_error.t Async.Deferred.t

The interface below is meant for inspecting the database, not for use by the core of jenga.

val get_db_filename : unit ‑> string