Module Vcs.MakeSource

Parameters

module K : Kind

Signature

Sourcemodule Branch : sig ... end
Sourcetype id = OT.t
Sourcetype 'a kind_gen = 'a K.t
Sourcetype branch_info = {
  1. kind : kind;
  2. root : id;
  3. pos : id;
}
Sourcetype ('diff, 'info, 'property_data) t
Sourceval empty : id -> ('diff, 'info, 'property_data) t
Sourceval current_branch : ('e, 'i, 'c) t -> Branch.t
Sourceval branches : ('e, 'i, 'c) t -> Branch.t list
Sourceval get_branch : ('e, 'i, 'c) t -> Branch.t -> branch_info
Sourceval reset_branch : ('e, 'i, 'c) t -> Branch.t -> id -> ('e, 'i, 'c) t
Sourceval branch : ('e, 'i, 'c) t -> ?root:id -> ?pos:id -> Branch.t -> kind -> ('e, 'i, 'c) t
Sourceval delete_branch : ('e, 'i, 'c) t -> Branch.t -> ('e, 'i, 'c) t
Sourceval merge : ('diff, 'i, 'c) t -> id -> ours:'diff -> theirs:'diff -> ?into:Branch.t -> Branch.t -> ('diff, 'i, 'c) t
Sourceval commit : ('diff, 'i, 'c) t -> id -> 'diff -> ('diff, 'i, 'c) t
Sourceval rewrite_merge : ('diff, 'i, 'c) t -> id -> ours:'diff -> theirs:'diff -> at:id -> Branch.t -> ('diff, 'i, 'c) t
Sourceval checkout : ('e, 'i, 'c) t -> Branch.t -> ('e, 'i, 'c) t
Sourceval set_info : ('e, 'info, 'c) t -> id -> 'info -> ('e, 'info, 'c) t
Sourceval get_info : ('e, 'info, 'c) t -> id -> 'info option
Sourcemodule Dag : Dag.S with type node = id with type node = OT.t with type NodeSet.t = Set.Make(OT).t with type NodeSet.elt = OT.t
Sourceval dag : ('diff, 'info, 'cdata) t -> ('diff, 'info, 'cdata) Dag.t
Sourceval create_property : ('e, 'i, 'c) t -> id list -> 'c -> ('e, 'i, 'c) t
Sourceval property_of : ('e, 'i, 'c) t -> id -> 'c Dag.Property.t list
Sourceval delete_property : ('e, 'i, 'c) t -> 'c Dag.Property.t -> ('e, 'i, 'c) t
Sourceval gc : ('e, 'info, 'c) t -> ('e, 'info, 'c) t * Dag.NodeSet.t
Sourceval reachable : ('e, 'info, 'c) t -> id -> Dag.NodeSet.t