Module State.Cluster


module Cluster: sig .. end
Cluster of states for grouping some states together.
Since Carbon-20101201

val create : string -> t list -> unit
Group togethers a list of states. Such a group is a so-called `cluster'. The given string is the cluster name. It must be distinct of each other cluster name. When one state of the cluster is updated, all the others are also automatically updated.
Since Carbon-20101201
val extend : string -> t list -> unit
Extend a cluster with some additional states.
Since Carbon-20101201
val states : t -> t list
Since Carbon-20101201
Returns all the states (included s) in the same cluster of s, if any. Otherwise, returns the empty list.
val name : t -> string option
cluster_name s returns the name of cluster of s, if any.
Since Carbon-20101201

Internal Stuff


val unmarshal : string option -> t -> unit
How to unmarshal a cluster stored in a state, previously marshaled with its name.
Since Carbon-20101201
val after_load : unit -> unit
Must be called after each project loading. Exported for breaking mutual dependencies with Project.
Since Carbon-20101201