Darcs.Patch.V1

Documentation

data RepoPatchV1 prim wX wY

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

PatchListFormat (RepoPatchV1 prim)

Defined in Darcs.Patch.V1.Core

Methods

patchListFormat :: ListFormat (RepoPatchV1 prim)

Eq2 prim => Eq2 (RepoPatchV1 prim)

Defined in Darcs.Patch.V1.Commute

Methods

unsafeCompare :: RepoPatchV1 prim wA wB -> RepoPatchV1 prim wC wD -> Bool

(=\/=) :: RepoPatchV1 prim wA wB -> RepoPatchV1 prim wA wC -> EqCheck wB wC

(=/\=) :: RepoPatchV1 prim wA wC -> RepoPatchV1 prim wB wC -> EqCheck wA wB

Show2 prim => Show2 (RepoPatchV1 prim)

Defined in Darcs.Patch.V1.Core

Methods

showDict2 :: ShowDict (RepoPatchV1 prim wX wY)

Invert prim => Invert (RepoPatchV1 prim)

Defined in Darcs.Patch.V1.Commute

Methods

invert :: RepoPatchV1 prim wX wY -> RepoPatchV1 prim wY wX

PrimPatch prim => PatchInspect (RepoPatchV1 prim)

Defined in Darcs.Patch.V1.Commute

Methods

listTouchedFiles :: RepoPatchV1 prim wX wY -> [FilePath]

hunkMatches :: (ByteString -> Bool) -> RepoPatchV1 prim wX wY -> Bool

PatchDebug prim => PatchDebug (RepoPatchV1 prim)

Defined in Darcs.Patch.V1.Core

Methods

patchDebugDummy :: RepoPatchV1 prim wX wY -> ()

PrimPatch prim => Commute (RepoPatchV1 prim)

Defined in Darcs.Patch.V1.Commute

Methods

commute :: (RepoPatchV1 prim :> RepoPatchV1 prim) wX wY -> Maybe ((RepoPatchV1 prim :> RepoPatchV1 prim) wX wY)

PrimPatch prim => Merge (RepoPatchV1 prim)

Defined in Darcs.Patch.V1.Commute

Methods

merge :: (RepoPatchV1 prim :\/: RepoPatchV1 prim) wX wY -> (RepoPatchV1 prim :/\: RepoPatchV1 prim) wX wY

PrimPatch prim => ReadPatch (RepoPatchV1 prim)

Defined in Darcs.Patch.V1.Read

Methods

readPatch' :: ParserM m => m (Sealed (RepoPatchV1 prim wX))

PrimPatch prim => Apply (RepoPatchV1 prim)

Defined in Darcs.Patch.V1.Apply

Associated Types

type ApplyState (RepoPatchV1 prim) :: (Type -> Type) -> Type

Methods

apply :: ApplyMonad (ApplyState (RepoPatchV1 prim)) m => RepoPatchV1 prim wX wY -> m ()

PrimPatch prim => ShowPatch (RepoPatchV1 prim)

Defined in Darcs.Patch.V1.Viewing

Methods

showNicely :: RepoPatchV1 prim wX wY -> Doc

description :: RepoPatchV1 prim wX wY -> Doc

summary :: RepoPatchV1 prim wX wY -> Doc

summaryFL :: FL (RepoPatchV1 prim) wX wY -> Doc

thing :: RepoPatchV1 prim wX wY -> String

things :: RepoPatchV1 prim wX wY -> String

PrimPatch prim => ShowContextPatch (RepoPatchV1 prim)

Defined in Darcs.Patch.V1.Viewing

Methods

showContextPatch :: ApplyMonad (ApplyState (RepoPatchV1 prim)) m => ShowPatchFor -> RepoPatchV1 prim wX wY -> m Doc

ShowPatchBasic prim => ShowPatchBasic (RepoPatchV1 prim)

Defined in Darcs.Patch.V1.Show

Methods

showPatch :: ShowPatchFor -> RepoPatchV1 prim wX wY -> Doc

IsHunk prim => IsHunk (RepoPatchV1 prim)

Defined in Darcs.Patch.V1.Commute

Methods

isHunk :: RepoPatchV1 prim wX wY -> Maybe (FileHunk wX wY)

PrimPatch prim => RepairToFL (RepoPatchV1 prim)

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))

Check (RepoPatchV1 prim)

Defined in Darcs.Patch.V1.Core

Methods

isInconsistent :: RepoPatchV1 prim wX wY -> Maybe Doc

FromPrim (RepoPatchV1 prim)

Defined in Darcs.Patch.V1.Core

Methods

fromPrim :: PrimOf (RepoPatchV1 prim) wX wY -> RepoPatchV1 prim wX wY

PrimPatch prim => PrimPatchBase (RepoPatchV1 prim)

Defined in Darcs.Patch.V1.Core

Associated Types

type PrimOf (RepoPatchV1 prim) :: Type -> Type -> Type

PrimPatch prim => Effect (RepoPatchV1 prim)

Defined in Darcs.Patch.V1.Commute

Methods

effect :: RepoPatchV1 prim wX wY -> FL (PrimOf (RepoPatchV1 prim)) wX wY

effectRL :: RepoPatchV1 prim wX wY -> RL (PrimOf (RepoPatchV1 prim)) wX wY

PrimPatch prim => CommuteNoConflicts (RepoPatchV1 prim)

Defined in Darcs.Patch.V1.Commute

Methods

commuteNoConflicts :: (RepoPatchV1 prim :> RepoPatchV1 prim) wX wY -> Maybe ((RepoPatchV1 prim :> RepoPatchV1 prim) wX wY)

PrimPatch prim => Conflict (RepoPatchV1 prim)

Defined in Darcs.Patch.V1.Commute

Methods

resolveConflicts :: RepoPatchV1 prim wX wY -> [[Sealed (FL (PrimOf (RepoPatchV1 prim)) wY)]]

conflictedEffect :: RepoPatchV1 prim wX wY -> [IsConflictedPrim (PrimOf (RepoPatchV1 prim))]

PrimPatch prim => Matchable (RepoPatchV1 prim)

Defined in Darcs.Patch.V1

(PrimPatch prim, Annotate prim) => Annotate (RepoPatchV1 prim)

Defined in Darcs.Patch.V1.Apply

Methods

annotate :: RepoPatchV1 prim wX wY -> AnnotatedM ()

(PrimPatch prim, Annotate prim) => RepoPatch (RepoPatchV1 prim)

Defined in Darcs.Patch.V1

Show2 prim => Show1 (RepoPatchV1 prim wX)

Defined in Darcs.Patch.V1.Core

Methods

showDict1 :: ShowDict (RepoPatchV1 prim wX wX0)

Eq2 prim => Eq (RepoPatchV1 prim wX wY)

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

Show2 prim => Show (RepoPatchV1 prim wX wY)

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

type ApplyState (RepoPatchV1 prim)

Defined in Darcs.Patch.V1.Apply

type ApplyState (RepoPatchV1 prim) = ApplyState prim

type PrimOf (RepoPatchV1 prim)

Defined in Darcs.Patch.V1.Core

type PrimOf (RepoPatchV1 prim) = prim

Orphan instances

PrimPatch prim => Matchable (RepoPatchV1 prim)

(PrimPatch prim, Annotate prim) => RepoPatch (RepoPatchV1 prim)