sig
val self : Project.Computation.t
val select :
Kind.how ->
Project.Computation.selection -> Project.Computation.selection
val depend : Project.Computation.t -> unit
val name : string
val mark_as_computed : ?project:Project.project -> unit -> unit
val is_computed : ?project:Project.project -> unit -> bool
val do_not_save : unit -> unit
module Datatype : Project.Datatype.S
val howto_marshal : (Datatype.t -> 'a) -> ('a -> Datatype.t) -> unit
type key
type data
val add :
Computation.DASHTBL_OUTPUT.key ->
Project.Computation.t list -> Computation.DASHTBL_OUTPUT.data -> unit
val replace :
reset:bool ->
Computation.DASHTBL_OUTPUT.key ->
Project.Computation.t list -> Computation.DASHTBL_OUTPUT.data -> unit
val memo :
reset:bool ->
(Computation.DASHTBL_OUTPUT.data list -> Computation.DASHTBL_OUTPUT.data) ->
Computation.DASHTBL_OUTPUT.key ->
Project.Computation.t list -> Computation.DASHTBL_OUTPUT.data
val clear : reset:bool -> unit -> unit
val remove :
reset:bool ->
Computation.DASHTBL_OUTPUT.key -> Project.Computation.t -> unit
val remove_all : reset:bool -> Computation.DASHTBL_OUTPUT.key -> unit
val filter :
reset:bool ->
(Computation.DASHTBL_OUTPUT.key ->
Project.Computation.t -> Computation.DASHTBL_OUTPUT.data -> bool) ->
Computation.DASHTBL_OUTPUT.key -> unit
val mem : Computation.DASHTBL_OUTPUT.key -> bool
val find :
?who:Project.Computation.t list ->
Computation.DASHTBL_OUTPUT.key ->
Project.Computation.t ->
Computation.DASHTBL_OUTPUT.data * Project.Computation.t
val find_data :
?who:Project.Computation.t list ->
Computation.DASHTBL_OUTPUT.key ->
Project.Computation.t -> Computation.DASHTBL_OUTPUT.data
val find_state :
?who:Project.Computation.t list ->
Computation.DASHTBL_OUTPUT.key ->
Project.Computation.t -> Project.Computation.t
val find_all_local :
?who:Project.Computation.t list ->
Computation.DASHTBL_OUTPUT.key ->
Project.Computation.t ->
(Computation.DASHTBL_OUTPUT.data * Project.Computation.t) list
val find_all_local_data :
?who:Project.Computation.t list ->
Computation.DASHTBL_OUTPUT.key ->
Project.Computation.t -> Computation.DASHTBL_OUTPUT.data list
val find_all_local_state :
?who:Project.Computation.t list ->
Computation.DASHTBL_OUTPUT.key ->
Project.Computation.t -> Project.Computation.t list
val find_all :
?who:Project.Computation.t list ->
Computation.DASHTBL_OUTPUT.key ->
(Computation.DASHTBL_OUTPUT.data * Project.Computation.t) list
val find_all_data :
?who:Project.Computation.t list ->
Computation.DASHTBL_OUTPUT.key -> Computation.DASHTBL_OUTPUT.data list
val find_all_states :
?who:Project.Computation.t list ->
Computation.DASHTBL_OUTPUT.key -> Project.Computation.t list
val iter :
(Computation.DASHTBL_OUTPUT.key ->
Project.Computation.t -> Computation.DASHTBL_OUTPUT.data -> unit) ->
unit
val iter_key :
(Project.Computation.t -> Computation.DASHTBL_OUTPUT.data -> unit) ->
Computation.DASHTBL_OUTPUT.key -> unit
val fold :
(Computation.DASHTBL_OUTPUT.key ->
Project.Computation.t -> Computation.DASHTBL_OUTPUT.data -> 'a -> 'a) ->
'a -> 'a
val fold_key :
(Project.Computation.t -> Computation.DASHTBL_OUTPUT.data -> 'a -> 'a) ->
Computation.DASHTBL_OUTPUT.key -> 'a -> 'a
val length : unit -> int
val add_dependency : Project.Computation.t -> Project.Computation.t -> unit
end