package jenga

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

This module is the part of jenga that interprets the Dep monad, by running actions in topological order of dependency, rerunning as needed, creating the persistent state etc. This module is not meant to be used directly, except for the Jr_spec type.

module Jr_spec : sig ... end
val build_forever : Config.t -> Progress.t -> jr_spec:Jr_spec.t -> top_level_goals:Goal.t list -> Fs.t -> Persist.t -> save_db_now:(unit -> unit Async.Deferred.t) -> when_rebuilding:(unit -> unit Async.Deferred.t) -> Core.Nothing.t Async.Deferred.t
val exit_code_upon_control_c : int Core.ref