Safe Haskell	None
Language	Haskell2010

Darcs.Patch.Conflict

Documentation

class (Effect p, PatchInspect (PrimOf p)) => Conflict p where Source #

Minimal complete definition

resolveConflicts, conflictedEffect

Methods

resolveConflicts :: p wX wY -> [[Sealed (FL (PrimOf p) wY)]] Source #

conflictedEffect :: p wX wY -> [IsConflictedPrim (PrimOf p)] Source #

Instances

Conflict DummyPatch Source #
Methods resolveConflicts :: DummyPatch wX wY -> [[Sealed (FL (PrimOf DummyPatch) wY)]] Source # conflictedEffect :: DummyPatch wX wY -> [IsConflictedPrim (PrimOf DummyPatch)] Source #
(CommuteNoConflicts p, Conflict p) => Conflict (RL p) Source #
Methods resolveConflicts :: RL p wX wY -> [[Sealed (FL (PrimOf (RL p)) wY)]] Source # conflictedEffect :: RL p wX wY -> [IsConflictedPrim (PrimOf (RL p))] Source #
(CommuteNoConflicts p, Conflict p) => Conflict (FL p) Source #
Methods resolveConflicts :: FL p wX wY -> [[Sealed (FL (PrimOf (FL p)) wY)]] Source # conflictedEffect :: FL p wX wY -> [IsConflictedPrim (PrimOf (FL p))] Source #
(CommuteNoConflicts p, Conflict p) => Conflict (Named p) Source #
Methods resolveConflicts :: Named p wX wY -> [[Sealed (FL (PrimOf (Named p)) wY)]] Source # conflictedEffect :: Named p wX wY -> [IsConflictedPrim (PrimOf (Named p))] Source #
Conflict p => Conflict (Suspended p) Source #
Methods resolveConflicts :: Suspended p wX wY -> [[Sealed (FL (PrimOf (Suspended p)) wY)]] Source # conflictedEffect :: Suspended p wX wY -> [IsConflictedPrim (PrimOf (Suspended p))] Source #
PrimPatch prim => Conflict (RepoPatchV2 prim) Source #
Methods resolveConflicts :: RepoPatchV2 prim wX wY -> [[Sealed (FL (PrimOf (RepoPatchV2 prim)) wY)]] Source # conflictedEffect :: RepoPatchV2 prim wX wY -> [IsConflictedPrim (PrimOf (RepoPatchV2 prim))] Source #
(PrimPatchBase p, Invert p, Effect p, FromPrim p, Merge p, Conflict p, CommuteNoConflicts p) => Conflict (RebaseChange p) Source #
Methods resolveConflicts :: RebaseChange p wX wY -> [[Sealed (FL (PrimOf (RebaseChange p)) wY)]] Source # conflictedEffect :: RebaseChange p wX wY -> [IsConflictedPrim (PrimOf (RebaseChange p))] Source #
(PrimPatchBase p, FromPrim p, Conflict p, CommuteNoConflicts p, Invert p) => Conflict (RebaseSelect p) Source #
Methods resolveConflicts :: RebaseSelect p wX wY -> [[Sealed (FL (PrimOf (RebaseSelect p)) wY)]] Source # conflictedEffect :: RebaseSelect p wX wY -> [IsConflictedPrim (PrimOf (RebaseSelect p))] Source #
(CommuteNoConflicts p, Conflict p) => Conflict (WrappedNamed rt p) Source #
Methods resolveConflicts :: WrappedNamed rt p wX wY -> [[Sealed (FL (PrimOf (WrappedNamed rt p)) wY)]] Source # conflictedEffect :: WrappedNamed rt p wX wY -> [IsConflictedPrim (PrimOf (WrappedNamed rt p))] Source #

class CommuteNoConflicts p where Source #

Minimal complete definition

commuteNoConflicts

Methods

commuteNoConflicts :: (p :> p) wX wY -> Maybe ((p :> p) wX wY) Source #

If commuteNoConflicts x :> y succeeds, we know that that x commutes past y without any conflicts. This function is useful for patch types for which commute is defined to always succeed; so we need some way to pick out the specific cases where commutation succeeds without any conflicts.

Instances

CommuteNoConflicts DummyPatch Source #
Methods commuteNoConflicts :: (DummyPatch :> DummyPatch) wX wY -> Maybe ((DummyPatch :> DummyPatch) wX wY) Source #
CommuteNoConflicts p => CommuteNoConflicts (RL p) Source #
Methods commuteNoConflicts :: (RL p :> RL p) wX wY -> Maybe ((RL p :> RL p) wX wY) Source #
CommuteNoConflicts p => CommuteNoConflicts (FL p) Source #
Methods commuteNoConflicts :: (FL p :> FL p) wX wY -> Maybe ((FL p :> FL p) wX wY) Source #
PrimPatch prim => CommuteNoConflicts (RepoPatchV2 prim) Source #
Methods commuteNoConflicts :: (RepoPatchV2 prim :> RepoPatchV2 prim) wX wY -> Maybe ((RepoPatchV2 prim :> RepoPatchV2 prim) wX wY) Source #
CommuteNoConflicts (RebaseChange p) Source #
Methods commuteNoConflicts :: (RebaseChange p :> RebaseChange p) wX wY -> Maybe ((RebaseChange p :> RebaseChange p) wX wY) Source #

listConflictedFiles :: Conflict p => p wX wY -> [FilePath] Source #

data IsConflictedPrim prim where Source #

Constructors

IsC :: !ConflictState -> !(prim wX wY) -> IsConflictedPrim prim

Instances

Show2 prim => Show (IsConflictedPrim prim) Source #
Methods showsPrec :: Int -> IsConflictedPrim prim -> ShowS # show :: IsConflictedPrim prim -> String # showList :: [IsConflictedPrim prim] -> ShowS #

data ConflictState Source #

Constructors

Okay
Conflicted
Duplicated

Instances

Eq ConflictState Source #
Methods (==) :: ConflictState -> ConflictState -> Bool # (/=) :: ConflictState -> ConflictState -> Bool #
Ord ConflictState Source #
Methods compare :: ConflictState -> ConflictState -> Ordering # (<) :: ConflictState -> ConflictState -> Bool # (<=) :: ConflictState -> ConflictState -> Bool # (>) :: ConflictState -> ConflictState -> Bool # (>=) :: ConflictState -> ConflictState -> Bool # max :: ConflictState -> ConflictState -> ConflictState # min :: ConflictState -> ConflictState -> ConflictState #
Read ConflictState Source #
Methods readsPrec :: Int -> ReadS ConflictState # readList :: ReadS [ConflictState] # readPrec :: ReadPrec ConflictState # readListPrec :: ReadPrec [ConflictState] #
Show ConflictState Source #
Methods showsPrec :: Int -> ConflictState -> ShowS # show :: ConflictState -> String # showList :: [ConflictState] -> ShowS #

mangleUnravelled :: PrimPatch prim => [Sealed (FL prim wX)] -> Sealed (FL prim wX) Source #