Safe Haskell	Safe-Inferred
Language	Haskell2010

Darcs.Patch.V1

Synopsis

data RepoPatchV1 prim wX wY

Documentation

data RepoPatchV1 prim wX wY Source #

The format of a merger is Merger undos unwindings conflicting original.

undos = the effect of the merger

unwindings = TODO: eh?

conflicting = the patch we conflict with

original = the patch we really are

Instances

Instances details

PrimPatch prim => Apply (RepoPatchV1 prim) Source #
Instance details Defined in Darcs.Patch.V1.Apply Associated Types type ApplyState (RepoPatchV1 prim) :: (Type -> Type) -> Type Source # Methods apply :: ApplyMonad (ApplyState (RepoPatchV1 prim)) m => RepoPatchV1 prim wX wY -> m () Source # unapply :: ApplyMonad (ApplyState (RepoPatchV1 prim)) m => RepoPatchV1 prim wX wY -> m () Source #
PrimPatch prim => Commute (RepoPatchV1 prim) Source #
Instance details Defined in Darcs.Patch.V1.Commute Methods commute :: (RepoPatchV1 prim :> RepoPatchV1 prim) wX wY -> Maybe ((RepoPatchV1 prim :> RepoPatchV1 prim) wX wY) Source #
PrimPatch prim => CommuteNoConflicts (RepoPatchV1 prim) Source #
Instance details Defined in Darcs.Patch.V1.Commute Methods commuteNoConflicts :: (RepoPatchV1 prim :> RepoPatchV1 prim) wX wY -> Maybe ((RepoPatchV1 prim :> RepoPatchV1 prim) wX wY) Source #
PrimPatch prim => Conflict (RepoPatchV1 prim) Source #
Instance details Defined in Darcs.Patch.V1.Commute Methods isConflicted :: RepoPatchV1 prim wX wY -> Bool Source # resolveConflicts :: RL (RepoPatchV1 prim) wO wX -> RL (RepoPatchV1 prim) wX wY -> [ConflictDetails (PrimOf (RepoPatchV1 prim)) wY] Source #
PatchDebug prim => PatchDebug (RepoPatchV1 prim) Source #
Instance details Defined in Darcs.Patch.V1.Core Methods patchDebugDummy :: RepoPatchV1 prim wX wY -> () Source #
PrimPatch prim => Effect (RepoPatchV1 prim) Source #
Instance details Defined in Darcs.Patch.V1.Commute Methods effect :: RepoPatchV1 prim wX wY -> FL (PrimOf (RepoPatchV1 prim)) wX wY Source #
(PrimPatch prim, ApplyState prim ~ ApplyState (RepoPatchV1 prim)) => IsHunk (RepoPatchV1 prim) Source #
Instance details Defined in Darcs.Patch.V1.Commute Methods isHunk :: RepoPatchV1 prim wX wY -> Maybe (FileHunk (ObjectIdOfPatch (RepoPatchV1 prim)) wX wY) Source #
PatchListFormat (RepoPatchV1 prim) Source #
Instance details Defined in Darcs.Patch.V1.Core Methods patchListFormat :: ListFormat (RepoPatchV1 prim) Source #
FromPrim (RepoPatchV1 prim) Source #
Instance details Defined in Darcs.Patch.V1.Core Methods fromAnonymousPrim :: PrimOf (RepoPatchV1 prim) wX wY -> RepoPatchV1 prim wX wY Source # fromPrim :: PatchId (RepoPatchV1 prim) -> PrimOf (RepoPatchV1 prim) wX wY -> RepoPatchV1 prim wX wY Source # fromPrims :: PatchInfo -> FL (PrimOf (RepoPatchV1 prim)) wX wY -> FL (RepoPatchV1 prim) wX wY Source #
PrimPatch prim => PrimPatchBase (RepoPatchV1 prim) Source #
Instance details Defined in Darcs.Patch.V1.Core Associated Types type PrimOf (RepoPatchV1 prim) :: Type -> Type -> Type Source #
ToPrim (RepoPatchV1 prim) Source #
Instance details Defined in Darcs.Patch.V1.Core Methods toPrim :: RepoPatchV1 prim wX wY -> Maybe (PrimOf (RepoPatchV1 prim) wX wY) Source #
PrimPatch prim => PatchInspect (RepoPatchV1 prim) Source #
Instance details Defined in Darcs.Patch.V1.Commute Methods listTouchedFiles :: RepoPatchV1 prim wX wY -> [AnchoredPath] Source # hunkMatches :: (ByteString -> Bool) -> RepoPatchV1 prim wX wY -> Bool Source #
Invert prim => Invert (RepoPatchV1 prim) Source #
Instance details Defined in Darcs.Patch.V1.Commute Methods invert :: RepoPatchV1 prim wX wY -> RepoPatchV1 prim wY wX Source #
PrimPatch prim => CleanMerge (RepoPatchV1 prim) Source #
Instance details Defined in Darcs.Patch.V1.Commute Methods cleanMerge :: (RepoPatchV1 prim :\/: RepoPatchV1 prim) wX wY -> Maybe ((RepoPatchV1 prim :/\: RepoPatchV1 prim) wX wY) Source #
PrimPatch prim => Merge (RepoPatchV1 prim) Source #
Instance details Defined in Darcs.Patch.V1.Commute Methods merge :: (RepoPatchV1 prim :\/: RepoPatchV1 prim) wX wY -> (RepoPatchV1 prim :/\: RepoPatchV1 prim) wX wY Source #
PrimPatch prim => ReadPatch (RepoPatchV1 prim) Source #
Instance details Defined in Darcs.Patch.V1.Read Methods readPatch' :: Parser (Sealed (RepoPatchV1 prim wX)) Source #
Check (RepoPatchV1 prim) Source #
Instance details Defined in Darcs.Patch.V1.Core Methods isInconsistent :: RepoPatchV1 prim wX wY -> Maybe Doc Source #
PrimPatch prim => RepairToFL (RepoPatchV1 prim) Source #
Instance details Defined in Darcs.Patch.V1.Apply Methods applyAndTryToFixFL :: ApplyMonad (ApplyState (RepoPatchV1 prim)) m => RepoPatchV1 prim wX wY -> m (Maybe (String, FL (RepoPatchV1 prim) wX wY)) Source #
PrimPatch prim => ShowContextPatch (RepoPatchV1 prim) Source #
Instance details Defined in Darcs.Patch.V1.Viewing Methods showPatchWithContextAndApply :: ApplyMonad (ApplyState (RepoPatchV1 prim)) m => ShowPatchFor -> RepoPatchV1 prim wX wY -> m Doc Source #
PrimPatch prim => ShowPatch (RepoPatchV1 prim) Source #
Instance details Defined in Darcs.Patch.V1.Viewing Methods content :: RepoPatchV1 prim wX wY -> Doc Source # description :: RepoPatchV1 prim wX wY -> Doc Source # summary :: RepoPatchV1 prim wX wY -> Doc Source # summaryFL :: FL (RepoPatchV1 prim) wX wY -> Doc Source # thing :: RepoPatchV1 prim wX wY -> String Source # things :: RepoPatchV1 prim wX wY -> String Source #
ShowPatchBasic prim => ShowPatchBasic (RepoPatchV1 prim) Source #
Instance details Defined in Darcs.Patch.V1.Show Methods showPatch :: ShowPatchFor -> RepoPatchV1 prim wX wY -> Doc Source #
PrimPatch prim => Summary (RepoPatchV1 prim) Source #
Instance details Defined in Darcs.Patch.V1.Commute Methods conflictedEffect :: RepoPatchV1 prim wX wY -> [IsConflictedPrim (PrimOf (RepoPatchV1 prim))] Source #
PrimPatch prim => Unwind (RepoPatchV1 prim) Source #
Instance details Defined in Darcs.Patch.V1.Commute Methods fullUnwind :: RepoPatchV1 prim wX wY -> Unwound (PrimOf (RepoPatchV1 prim)) wX wY Source #
Eq2 prim => Eq2 (RepoPatchV1 prim) Source #
Instance details Defined in Darcs.Patch.V1.Commute Methods unsafeCompare :: RepoPatchV1 prim wA wB -> RepoPatchV1 prim wC wD -> Bool Source # (=\/=) :: RepoPatchV1 prim wA wB -> RepoPatchV1 prim wA wC -> EqCheck wB wC Source # (=/\=) :: RepoPatchV1 prim wA wC -> RepoPatchV1 prim wB wC -> EqCheck wA wB Source #
Show2 prim => Show2 (RepoPatchV1 prim) Source #
Instance details Defined in Darcs.Patch.V1.Core Methods showDict2 :: ShowDict (RepoPatchV1 prim wX wY) Source #
Show2 prim => Show1 (RepoPatchV1 prim wX) Source #
Instance details Defined in Darcs.Patch.V1.Core Methods showDict1 :: Dict (Show (RepoPatchV1 prim wX wX0)) Source #
Show2 prim => Show (RepoPatchV1 prim wX wY) Source #
Instance details Defined in Darcs.Patch.V1.Core Methods showsPrec :: Int -> RepoPatchV1 prim wX wY -> ShowS # show :: RepoPatchV1 prim wX wY -> String # showList :: [RepoPatchV1 prim wX wY] -> ShowS #
Eq2 prim => Eq (RepoPatchV1 prim wX wY) Source #
Instance details Defined in Darcs.Patch.V1.Commute Methods (==) :: RepoPatchV1 prim wX wY -> RepoPatchV1 prim wX wY -> Bool # (/=) :: RepoPatchV1 prim wX wY -> RepoPatchV1 prim wX wY -> Bool #
type ApplyState (RepoPatchV1 prim) Source #
Instance details Defined in Darcs.Patch.V1.Apply type ApplyState (RepoPatchV1 prim) = ApplyState prim
type PrimOf (RepoPatchV1 prim) Source #
Instance details Defined in Darcs.Patch.V1.Core type PrimOf (RepoPatchV1 prim) = prim
type PatchId (RepoPatchV1 prim) Source #
Instance details Defined in Darcs.Patch.V1.Core type PatchId (RepoPatchV1 prim) = ()