rotor
Refactoring_depsA module to represent a collection of dependencies between refactorings. We have a model where particular refactorings depend upon other refactorings being applied in order to be correct themselves. We also keep various metadata about these dependencies, including provenance information - i.e. what generated a particular dependency.
module type S = sig ... endThe signature for Dependency collections, of which this module is the canonical implementation.
include S with module Repr := Refactoring_reprtype source = Compiler.Location.tThe source of a dependency.
module Elt : sig ... endThe Elt submodule represents refactoring dependencies.
val empty : tThe empty collection of dependencies.
val add : Refactoring_repr.t -> Elt.t -> t -> tadd r d deps adds a dependency of r upon d arising from to deps and returns the resulting dependency collection.
val add_all : Refactoring_repr.t -> Elt.Set.t -> t -> tadd_all r ds deps adds a dependency of r upon each of the dependencies in ds to deps and returns the resulting dependency collection.
val find : Refactoring_repr.t -> t -> Elt.Set.tfind r deps returns a set of all the dependencies of of r in deps.
val dependents : t -> Refactoring_repr.Set.tThe set of all dependents, i.e. all refactorings for which dependencies are registered.
val pp : t Containers.Format.printer