darcs-2.18.5: a distributed, interactive, smart revision control system
Safe HaskellNone
LanguageHaskell2010

Darcs.Repository.Resolution

Synopsis

Documentation

standardResolution :: forall (p :: Type -> Type -> Type) wO wX wY. RepoPatch p => RL (PatchInfoAnd p) wO wX -> RL (PatchInfoAnd p) wX wY -> StandardResolution (PrimOf p) wY Source #

rebaseResolution :: forall (p :: Type -> Type -> Type) wO wX wY. (Conflict p, PrimPatch (PrimOf p)) => RL (PatchInfoAnd p) wO wX -> RL (Named p) wX wY -> StandardResolution (PrimOf p) wY Source #

Like standardResolution but it doesn't use the instance (Named p) because the traling list of patches may contain "fake" conflictors.

externalResolution Source #

Arguments

:: forall (p :: Type -> Type -> Type) wX wY wZ wA. (RepoPatch p, ApplyState p ~ Tree) 
=> DiffAlgorithm 
-> Tree IO

working tree

-> String

external merge tool command

-> WantGuiPause

tell whether we want GUI pause

-> FL (PrimOf p) wX wY

our effect

-> FL (PrimOf p) wX wZ

their effect

-> FL p wY wA

them merged

-> IO (Sealed (FL (PrimOf p) wA)) 

patchsetConflictResolutions :: forall (p :: Type -> Type -> Type) wX. RepoPatch p => PatchSet p Origin wX -> StandardResolution (PrimOf p) wX Source #

data StandardResolution (prim :: Type -> Type -> Type) wX Source #

Constructors

StandardResolution 

Fields

announceConflicts :: forall (prim :: Type -> Type -> Type) wX. PrimPatch prim => String -> AllowConflicts -> StandardResolution prim wX -> IO Bool Source #

haveConflicts :: forall (prim :: Type -> Type -> Type) wX. StandardResolution prim wX -> Bool Source #

warnUnmangled :: forall (prim :: Type -> Type -> Type) wX. PrimPatch prim => Maybe [AnchoredPath] -> StandardResolution prim wX -> IO () Source #

showUnmangled :: forall (prim :: Type -> Type -> Type) wX. PrimPatch prim => Maybe [AnchoredPath] -> [Unravelled prim wX] -> Doc Source #

showUnravelled :: forall (prim :: Type -> Type -> Type) wX. PrimPatch prim => Doc -> Unravelled prim wX -> Doc Source #