module type S = sig
.. end
Operations over selections which depend on a State Dependency Graph
implementation.
Since Carbon-20101201
Builders from dependencies
val with_dependencies : State.t -> State_selection.t
The selection containing the given state and all its dependencies.
Since Carbon-20101201
Consult the Plugin Development Guide for additional details.
val only_dependencies : State.t -> State_selection.t
The selection containing all the dependencies of the given state (but not
this state itself).
Since Carbon-20101201
val with_codependencies : State.t -> State_selection.t
The selection containing the given state and all its co-dependencies.
Since Carbon-20101201
val only_codependencies : State.t -> State_selection.t
The selection containing all the co-dependencies of the given state (but
not this state itself).
Since Carbon-20101201
Builders by operations over sets
val union : State_selection.t -> State_selection.t -> State_selection.t
Union of two selections.
Since Carbon-20101201
val list_union : State_selection.t list -> State_selection.t
Union of an arbitrary number of selection (0 gives an empty selection)
Since Oxygen-20120901
val list_state_union : ?deps:(State.t -> State_selection.t) -> State.t list -> State_selection.t
Union of an arbitrary number of states (0 gives an empty selection).
Optional
deps
arguments indicates how to handle dependencies. Defaults
to
State_selection.singleton
Since Oxygen-20120901
val diff : State_selection.t -> State_selection.t -> State_selection.t
Difference between two selections.
Since Carbon-20101201
Specific Getters
val cardinal : State_selection.t -> int
Size of a selection.
Since Carbon-20101201
val to_list : State_selection.t -> State.t list
Convert a selection into a list of states.
Since Fluorine-20130401
val pretty : Format.formatter -> State_selection.t -> unit
Display a selection iff kernel debug mode is on.
Since Carbon-20101201
Iterators
val iter_succ : (State.t -> unit) -> State_selection.t -> State.t -> unit
Iterate over the successor of a state in a selection.
The order is unspecified.
Since Carbon-20101201
val fold_succ : (State.t -> 'a -> 'a) -> State_selection.t -> State.t -> 'a -> 'a
Iterate over the successor of a state in a selection.
The order is unspecified.
Since Carbon-20101201
val iter : (State.t -> unit) -> State_selection.t -> unit
Iterate over a selection. The order is unspecified.
Since Carbon-20101201
val fold : (State.t -> 'a -> 'a) -> State_selection.t -> 'a -> 'a
Fold over a selection. The order is unspecified.
Since Carbon-20101201
val iter_in_order : (State.t -> unit) -> State_selection.t -> unit
Iterate over a selection in a topological ordering compliant with the
State Dependency Graph. Less efficient that
State_selection.S.iter
.
Since Carbon-20101201
val fold_in_order : (State.t -> 'a -> 'a) -> State_selection.t -> 'a -> 'a
Fold over a selection in a topological ordering compliant with the
State Dependency Graph. Less efficient that
State_selection.S.iter
.
Since Carbon-20101201