recon.mli (1665B)
1 (* Unison file synchronizer: src/recon.mli *) 2 (* Copyright 1999-2020, Benjamin C. Pierce (see COPYING for details) *) 3 4 val reconcileAll : 5 ?allowPartial:bool (* whether we allow partial synchronization 6 of directories (default to false) *) 7 -> ((Path.local * Common.updateItem * Props.t list) * 8 (Path.local * Common.updateItem * Props.t list)) list 9 (* one updateItem per replica, per path *) 10 -> Common.reconItem list (* List of updates that need propagated *) 11 * bool (* Any file updated equally on all roots*) 12 * Path.t list (* Paths which have been emptied on one side*) 13 14 (* Use the current values of the '-prefer <ROOT>' and '-force <ROOT>' *) 15 (* preferences to override the reconciler's choices *) 16 val overrideReconcilerChoices : Common.reconItem list -> unit 17 18 (* If the given reconItem's default direction is Conflict (or the third *) 19 (* argument is `Force), then set it as specified by the second argument. *) 20 val setDirection : 21 Common.reconItem -> 22 [`Older | `Newer | `Merge | `Replica1ToReplica2 | `Replica2ToReplica1] -> 23 [`Force | `Prefer] -> 24 unit 25 26 (* Set the given reconItem's direction back to the default *) 27 val revertToDefaultDirection : Common.reconItem -> unit 28 29 (* Look up the preferred root and verify that it is OK (this is called at *) 30 (* the beginning of the run, before we do anything time consuming, so that *) 31 (* we don't have to wait to hear about errors *) 32 val checkThatPreferredRootIsValid : unit -> unit