Up

module Progress

: sig
#
val persist_saves_done : Effort.Counter.t
#
val actions_run : Effort.Counter.t
#
val saves_run : Effort.Counter.t
#
val considerations_run : Effort.Counter.t
#
module Need : sig
#
type t
#
val goal : Goal.t -> t
#
val jengaroot : t
include Core.Std.Hashable_binable with type t := t
include Core.Std.Comparable_binable with type t := t
#
val to_string : t -> string
end
#
module Status : sig
#
type t =
# | Todo
# | Built
# | Error of Reason.t list
end
#
type t
#
val create : Config.t -> t
#
val enqueue_job : t -> (unit -> 'a Async.Std.Deferred.t) -> 'a Async.Std.Deferred.t
#
val set_status : t -> Need.t -> Status.t -> unit
#
val mask_unreachable : t -> is_reachable_error:(Need.t -> bool) -> unit
#
module Snap : sig
#
type t
#
val no_errors : t -> bool
#
val built : t -> int
#
val fraction : t -> int * int
#
val to_string : t -> [
| `omake_style
| `jem_style
] -> string
#
val to_effort_string : t -> string
#
val finished : t -> bool
#
val error_code : t -> int
#
val bin_t : t Core.Std.Bin_prot.Type_class.t
#
val bin_read_t : t Core.Std.Bin_prot.Read.reader
#
val __bin_read_t__ : (int -> t) Core.Std.Bin_prot.Read.reader
#
val bin_reader_t : t Core.Std.Bin_prot.Type_class.reader
#
val bin_size_t : t Core.Std.Bin_prot.Size.sizer
#
val bin_write_t : t Core.Std.Bin_prot.Write.writer
#
val bin_writer_t : t Core.Std.Bin_prot.Type_class.writer
end
#
val snap : t -> Snap.t
#
val reset_effort : unit -> unit
#
val readme : unit -> string
#
module Update : sig

A snapshot of the status table would be large.

#
type t =
# | Set of Need.t * Status.t
# | Remove of Need.t
#
module State : sig
#
type t
#
val create : unit -> t
end
#
val bin_t : t Core.Std.Bin_prot.Type_class.t
#
val bin_read_t : t Core.Std.Bin_prot.Read.reader
#
val __bin_read_t__ : (int -> t) Core.Std.Bin_prot.Read.reader
#
val bin_reader_t : t Core.Std.Bin_prot.Type_class.reader
#
val bin_size_t : t Core.Std.Bin_prot.Size.sizer
#
val bin_write_t : t Core.Std.Bin_prot.Write.writer
#
val bin_writer_t : t Core.Std.Bin_prot.Type_class.writer
end
#
module Updates : sig
#
type t = Update.t list
#
val bin_t : t Core.Std.Bin_prot.Type_class.t
#
val bin_read_t : t Core.Std.Bin_prot.Read.reader
#
val __bin_read_t__ : (int -> t) Core.Std.Bin_prot.Read.reader
#
val bin_reader_t : t Core.Std.Bin_prot.Type_class.reader
#
val bin_size_t : t Core.Std.Bin_prot.Size.sizer
#
val bin_write_t : t Core.Std.Bin_prot.Write.writer
#
val bin_writer_t : t Core.Std.Bin_prot.Type_class.writer
end
#
val updates : t -> Update.State.t -> Updates.t
end