Darcs.Patch

Documentation

data RepoType

This type is intended to be used as a phantom type via the DataKinds extension. It tracks different types of repositories, e.g. to indicate when a rebase is in progress.

class IsRepoType (rt :: RepoType)

Minimal complete definition

singletonRepoType

Instances

IsRebaseType rebaseType => IsRepoType (RepoType rebaseType)

Defined in Darcs.Patch.RepoType

Methods

singletonRepoType :: SRepoType (RepoType rebaseType)

type family PrimOf (p :: * -> * -> *) :: * -> * -> *

Instances

type PrimOf Prim

Defined in Darcs.Patch.Prim.FileUUID

type PrimOf Prim = Prim

type PrimOf Prim

Defined in Darcs.Patch.V2.Prim

type PrimOf Prim = Prim

type PrimOf Prim

Defined in Darcs.Patch.V1.Prim

type PrimOf Prim = Prim

type PrimOf DummyPatch

Defined in Darcs.Patch.Dummy

type PrimOf DummyPatch

type PrimOf (RL p)

Defined in Darcs.Patch.Prim.Class

type PrimOf (RL p) = PrimOf p

type PrimOf (FL p)

Defined in Darcs.Patch.Prim.Class

type PrimOf (FL p) = PrimOf p

type PrimOf (Bracketed p)

Defined in Darcs.Patch.Bracketed.Instances

type PrimOf (Bracketed p) = PrimOf p

type PrimOf (RepoPatchV1 prim)

Defined in Darcs.Patch.V1.Core

type PrimOf (RepoPatchV1 prim) = prim

type PrimOf (Named p)

Defined in Darcs.Patch.Named

type PrimOf (Named p) = PrimOf p

type PrimOf (RebaseName p)

Defined in Darcs.Patch.Rebase.Name

type PrimOf (RebaseName p) = PrimOf p

type PrimOf (RebaseFixup p)

Defined in Darcs.Patch.Rebase.Fixup

type PrimOf (RebaseFixup p) = PrimOf p

type PrimOf (Suspended p)

Defined in Darcs.Patch.Rebase.Container

type PrimOf (Suspended p) = PrimOf p

type PrimOf (WithDroppedDeps p)

Defined in Darcs.Patch.Rebase.Viewing

type PrimOf (WithDroppedDeps p) = PrimOf p

type PrimOf (RebaseChange p)

Defined in Darcs.Patch.Rebase.Viewing

type PrimOf (RebaseChange p) = PrimOf p

type PrimOf (RebaseSelect p)

Defined in Darcs.Patch.Rebase.Viewing

type PrimOf (RebaseSelect p) = PrimOf p

type PrimOf (RepoPatchV2 prim)

Defined in Darcs.Patch.V2.RepoPatch

type PrimOf (RepoPatchV2 prim) = prim

type PrimOf (WrappedNamed rt p)

Defined in Darcs.Patch.Named.Wrapped

type PrimOf (WrappedNamed rt p) = PrimOf p

type PrimOf (PatchInfoAnd rt p)

Defined in Darcs.Patch.PatchInfoAnd

type PrimOf (PatchInfoAnd rt p) = PrimOf p

data Named p wX wY

The Named type adds a patch info about a patch, that is a name.

NamedP info deps p represents patch p with name info. deps is a list of dependencies added at the named patch level, compared with the unnamed level (ie, dependencies added with darcs record --ask-deps).

Instances

PatchListFormat (Named p)

Defined in Darcs.Patch.Named

Methods

patchListFormat :: ListFormat (Named p)

(Commute p, Eq2 p) => Eq2 (Named p)

Defined in Darcs.Patch.Named

Methods

unsafeCompare :: Named p wA wB -> Named p wC wD -> Bool

(=\/=) :: Named p wA wB -> Named p wA wC -> EqCheck wB wC

(=/\=) :: Named p wA wC -> Named p wB wC -> EqCheck wA wB

Show2 p => Show2 (Named p)

Defined in Darcs.Patch.Named

Methods

showDict2 :: ShowDict (Named p wX wY)

Invert p => Invert (Named p)

Defined in Darcs.Patch.Named

Methods

invert :: Named p wX wY -> Named p wY wX

PatchInspect p => PatchInspect (Named p)

Defined in Darcs.Patch.Named

Methods

listTouchedFiles :: Named p wX wY -> [FilePath]

hunkMatches :: (ByteString -> Bool) -> Named p wX wY -> Bool

PatchDebug p => PatchDebug (Named p)

Defined in Darcs.Patch.Named

Methods

patchDebugDummy :: Named p wX wY -> ()

Commute p => Commute (Named p)

Defined in Darcs.Patch.Named

Methods

commute :: (Named p :> Named p) wX wY -> Maybe ((Named p :> Named p) wX wY)

Merge p => Merge (Named p)

Defined in Darcs.Patch.Named

Methods

merge :: (Named p :\/: Named p) wX wY -> (Named p :/\: Named p) wX wY

(ReadPatch p, PatchListFormat p) => ReadPatch (Named p)

Defined in Darcs.Patch.Named

Methods

readPatch' :: ParserM m => m (Sealed (Named p wX))

Apply p => Apply (Named p)

Defined in Darcs.Patch.Named

Associated Types

type ApplyState (Named p) :: (Type -> Type) -> Type

Methods

apply :: ApplyMonad (ApplyState (Named p)) m => Named p wX wY -> m ()

(CommuteNoConflicts p, Conflict p, PatchListFormat p, PrimPatchBase p, ShowPatch p) => ShowPatch (Named p)

Defined in Darcs.Patch.Named

Methods

showNicely :: Named p wX wY -> Doc

description :: Named p wX wY -> Doc

summary :: Named p wX wY -> Doc

summaryFL :: FL (Named p) wX wY -> Doc

thing :: Named p wX wY -> String

things :: Named p wX wY -> String

(Apply p, IsHunk p, PatchListFormat p, ShowContextPatch p) => ShowContextPatch (Named p)

Defined in Darcs.Patch.Named

Methods

showContextPatch :: ApplyMonad (ApplyState (Named p)) m => ShowPatchFor -> Named p wX wY -> m Doc

(PatchListFormat p, ShowPatchBasic p) => ShowPatchBasic (Named p)

Defined in Darcs.Patch.Named

Methods

showPatch :: ShowPatchFor -> Named p wX wY -> Doc

IsHunk (Named p)

Defined in Darcs.Patch.Named

Methods

isHunk :: Named p wX wY -> Maybe (FileHunk wX wY)

RepairToFL p => Repair (Named p)

Defined in Darcs.Patch.Named

Methods

applyAndTryToFix :: ApplyMonad (ApplyState (Named p)) m => Named p wX wY -> m (Maybe (String, Named p wX wY))

Check p => Check (Named p)

Defined in Darcs.Patch.Named

Methods

isInconsistent :: Named p wX wY -> Maybe Doc

PrimPatchBase p => PrimPatchBase (Named p)

Defined in Darcs.Patch.Named

Associated Types

type PrimOf (Named p) :: Type -> Type -> Type

Effect p => Effect (Named p)

Defined in Darcs.Patch.Named

Methods

effect :: Named p wX wY -> FL (PrimOf (Named p)) wX wY

effectRL :: Named p wX wY -> RL (PrimOf (Named p)) wX wY

(CommuteNoConflicts p, Conflict p) => Conflict (Named p)

Defined in Darcs.Patch.Named

Methods

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

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

Annotate p => Annotate (Named p)

Defined in Darcs.Patch.Annotate

Methods

annotate :: Named p wX wY -> AnnotatedM ()

Show2 p => Show1 (Named p wX)

Defined in Darcs.Patch.Named

Methods

showDict1 :: ShowDict (Named p wX wX0)

Show2 p => Show (Named p wX wY)

Defined in Darcs.Patch.Named

Methods

showsPrec :: Int -> Named p wX wY -> ShowS

show :: Named p wX wY -> String

showList :: [Named p wX wY] -> ShowS

type ApplyState (Named p)

Defined in Darcs.Patch.Named

type ApplyState (Named p) = ApplyState p

type PrimOf (Named p)

Defined in Darcs.Patch.Named

type PrimOf (Named p) = PrimOf p

data WrappedNamed (rt :: RepoType) p wX wY

A layer inbetween the 'Named p' type and 'PatchInfoAnd p' design for holding "internal" patches such as the rebase container. Ideally these patches would be stored at the repository level but this would require some significant refactoring/cleaning up of that code.

Instances

PatchListFormat (WrappedNamed rt p)

Defined in Darcs.Patch.Named.Wrapped

Methods

patchListFormat :: ListFormat (WrappedNamed rt p)

Show2 p => Show2 (WrappedNamed rt p)

Defined in Darcs.Patch.Named.Wrapped

Methods

showDict2 :: ShowDict (WrappedNamed rt p wX wY)

Invert p => Invert (WrappedNamed rt p)

Defined in Darcs.Patch.Named.Wrapped

Methods

invert :: WrappedNamed rt p wX wY -> WrappedNamed rt p wY wX

PatchInspect p => PatchInspect (WrappedNamed rt p)

Defined in Darcs.Patch.Named.Wrapped

Methods

listTouchedFiles :: WrappedNamed rt p wX wY -> [FilePath]

hunkMatches :: (ByteString -> Bool) -> WrappedNamed rt p wX wY -> Bool

Commute p => Commute (WrappedNamed rt p)

Defined in Darcs.Patch.Named.Wrapped

Methods

commute :: (WrappedNamed rt p :> WrappedNamed rt p) wX wY -> Maybe ((WrappedNamed rt p :> WrappedNamed rt p) wX wY)

Merge p => Merge (WrappedNamed rt p)

Defined in Darcs.Patch.Named.Wrapped

Methods

merge :: (WrappedNamed rt p :\/: WrappedNamed rt p) wX wY -> (WrappedNamed rt p :/\: WrappedNamed rt p) wX wY

(ReadPatch p, PrimPatchBase p, FromPrim p, Effect p, PatchListFormat p, IsRepoType rt) => ReadPatch (WrappedNamed rt p)

Defined in Darcs.Patch.Named.Wrapped

Methods

readPatch' :: ParserM m => m (Sealed (WrappedNamed rt p wX))

Apply p => Apply (WrappedNamed rt p)

Defined in Darcs.Patch.Named.Wrapped

Associated Types

type ApplyState (WrappedNamed rt p) :: (Type -> Type) -> Type

Methods

apply :: ApplyMonad (ApplyState (WrappedNamed rt p)) m => WrappedNamed rt p wX wY -> m ()

(ShowPatch p, PatchListFormat p, Apply p, PrimPatchBase p, IsHunk p, Conflict p, CommuteNoConflicts p) => ShowPatch (WrappedNamed rt p)

Defined in Darcs.Patch.Named.Wrapped

Methods

showNicely :: WrappedNamed rt p wX wY -> Doc

description :: WrappedNamed rt p wX wY -> Doc

summary :: WrappedNamed rt p wX wY -> Doc

summaryFL :: FL (WrappedNamed rt p) wX wY -> Doc

thing :: WrappedNamed rt p wX wY -> String

things :: WrappedNamed rt p wX wY -> String

(ShowContextPatch p, PatchListFormat p, Apply p, PrimPatchBase p, IsHunk p) => ShowContextPatch (WrappedNamed rt p)

Defined in Darcs.Patch.Named.Wrapped

Methods

showContextPatch :: ApplyMonad (ApplyState (WrappedNamed rt p)) m => ShowPatchFor -> WrappedNamed rt p wX wY -> m Doc

(ShowPatchBasic p, PatchListFormat p) => ShowPatchBasic (WrappedNamed rt p)

Defined in Darcs.Patch.Named.Wrapped

Methods

showPatch :: ShowPatchFor -> WrappedNamed rt p wX wY -> Doc

IsHunk (WrappedNamed rt p)

Defined in Darcs.Patch.Named.Wrapped

Methods

isHunk :: WrappedNamed rt p wX wY -> Maybe (FileHunk wX wY)

RepairToFL p => Repair (WrappedNamed rt p)

Defined in Darcs.Patch.Named.Wrapped

Methods

applyAndTryToFix :: ApplyMonad (ApplyState (WrappedNamed rt p)) m => WrappedNamed rt p wX wY -> m (Maybe (String, WrappedNamed rt p wX wY))

Check p => Check (WrappedNamed rt p)

Defined in Darcs.Patch.Named.Wrapped

Methods

isInconsistent :: WrappedNamed rt p wX wY -> Maybe Doc

PrimPatchBase p => PrimPatchBase (WrappedNamed rt p)

Defined in Darcs.Patch.Named.Wrapped

Associated Types

type PrimOf (WrappedNamed rt p) :: Type -> Type -> Type

Effect p => Effect (WrappedNamed rt p)

Defined in Darcs.Patch.Named.Wrapped

Methods

effect :: WrappedNamed rt p wX wY -> FL (PrimOf (WrappedNamed rt p)) wX wY

effectRL :: WrappedNamed rt p wX wY -> RL (PrimOf (WrappedNamed rt p)) wX wY

(CommuteNoConflicts p, Conflict p) => Conflict (WrappedNamed rt p)

Defined in Darcs.Patch.Named.Wrapped

Methods

resolveConflicts :: WrappedNamed rt p wX wY -> [[Sealed (FL (PrimOf (WrappedNamed rt p)) wY)]]

conflictedEffect :: WrappedNamed rt p wX wY -> [IsConflictedPrim (PrimOf (WrappedNamed rt p))]

Annotate p => Annotate (WrappedNamed rt p)

Defined in Darcs.Patch.Annotate

Methods

annotate :: WrappedNamed rt p wX wY -> AnnotatedM ()

Show2 p => Show1 (WrappedNamed rt p wX)

Defined in Darcs.Patch.Named.Wrapped

Methods

showDict1 :: ShowDict (WrappedNamed rt p wX wX0)

Show2 p => Show (WrappedNamed rt p wX wY)

Defined in Darcs.Patch.Named.Wrapped

Methods

showsPrec :: Int -> WrappedNamed rt p wX wY -> ShowS

show :: WrappedNamed rt p wX wY -> String

showList :: [WrappedNamed rt p wX wY] -> ShowS

type ApplyState (WrappedNamed rt p)

Defined in Darcs.Patch.Named.Wrapped

type ApplyState (WrappedNamed rt p) = ApplyState p

type PrimOf (WrappedNamed rt p)

Defined in Darcs.Patch.Named.Wrapped

type PrimOf (WrappedNamed rt p) = PrimOf p

fromPrim :: FromPrim p => PrimOf p wX wY -> p wX wY

fromPrims :: FromPrims p => FL (PrimOf p) wX wY -> p wX wY

rmfile :: PrimConstruct prim => FilePath -> prim wX wY

addfile :: PrimConstruct prim => FilePath -> prim wX wY

rmdir :: PrimConstruct prim => FilePath -> prim wX wY

adddir :: PrimConstruct prim => FilePath -> prim wX wY

move :: PrimConstruct prim => FilePath -> FilePath -> prim wX wY

hunk :: PrimConstruct prim => FilePath -> Int -> [ByteString] -> [ByteString] -> prim wX wY

tokreplace :: PrimConstruct prim => FilePath -> String -> String -> String -> prim wX wY

namepatch :: String -> String -> String -> [String] -> FL p wX wY -> IO (Named p wX wY)

anonymous :: FL p wX wY -> IO (Named p wX wY)

binary :: PrimConstruct prim => FilePath -> ByteString -> ByteString -> prim wX wY

description :: ShowPatch p => p wX wY -> Doc

showContextPatch :: (ShowContextPatch p, ApplyMonad (ApplyState p) m) => ShowPatchFor -> p wX wY -> m Doc

showContextPatch is used to add context to a patch, as diff -u does. Thus, it differs from showPatch only for hunks. It is used for instance before putting it into a bundle. As this unified context is not included in patch representation, this requires access to the tree.

data ShowPatchFor

Constructors

ForDisplay

ForStorage

showPatch :: ShowPatchBasic p => ShowPatchFor -> p wX wY -> Doc

displayPatch :: ShowPatchBasic p => p wX wY -> Doc

showNicely :: ShowPatch p => p wX wY -> Doc

infopatch :: PatchInfo -> FL p wX wY -> Named p wX wY

changepref :: PrimConstruct prim => String -> String -> String -> prim wX wY

thing :: ShowPatch p => p wX wY -> String

things :: ShowPatch p => p wX wY -> String

primIsAddfile :: PrimClassify prim => prim wX wY -> Bool

primIsHunk :: PrimClassify prim => prim wX wY -> Bool

primIsSetpref :: PrimClassify prim => prim wX wY -> Bool

merge :: Merge p => (p :\/: p) wX wY -> (p :/\: p) wX wY

commute :: Commute p => (p :> p) wX wY -> Maybe ((p :> p) wX wY)

listTouchedFiles :: PatchInspect p => p wX wY -> [FilePath]

hunkMatches :: PatchInspect p => (ByteString -> Bool) -> p wX wY -> Bool

forceTokReplace :: String -> ByteString -> ByteString -> ByteString -> ByteString

forceTokReplace tokChars old new input replaces all occurrences of the old token with the new one, throughout the input.

class (PrimPatchCommon prim, ReadPatch prim, ShowPatch prim, ShowContextPatch prim, PatchListFormat prim) => PrimPatch prim

Instances

PrimPatch Prim

Defined in Darcs.Patch.Prim.FileUUID

PrimPatch Prim

Defined in Darcs.Patch.V2.Prim

PrimPatch Prim

Defined in Darcs.Patch.V1.Prim

for PatchTest

resolveConflicts :: Conflict p => p wX wY -> [[Sealed (FL (PrimOf p) wY)]]

class Effect p

Patches whose concrete effect which can be expressed as a list of primitive patches.

A minimal definition would be either of effect or effectRL.

Minimal complete definition

effect | effectRL

Instances

Effect DummyPatch

Defined in Darcs.Patch.Dummy

Methods

effect :: DummyPatch wX wY -> FL (PrimOf DummyPatch) wX wY

effectRL :: DummyPatch wX wY -> RL (PrimOf DummyPatch) wX wY

Effect p => Effect (RL p)

Defined in Darcs.Patch.Effect

Methods

effect :: RL p wX wY -> FL (PrimOf (RL p)) wX wY

effectRL :: RL p wX wY -> RL (PrimOf (RL p)) wX wY

Effect p => Effect (FL p)

Defined in Darcs.Patch.Effect

Methods

effect :: FL p wX wY -> FL (PrimOf (FL p)) wX wY

effectRL :: FL p wX wY -> RL (PrimOf (FL p)) wX wY

Effect p => Effect (Bracketed p)

Defined in Darcs.Patch.Bracketed.Instances

Methods

effect :: Bracketed p wX wY -> FL (PrimOf (Bracketed p)) wX wY

effectRL :: Bracketed p wX wY -> RL (PrimOf (Bracketed p)) wX wY

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

Effect p => Effect (Named p)

Defined in Darcs.Patch.Named

Methods

effect :: Named p wX wY -> FL (PrimOf (Named p)) wX wY

effectRL :: Named p wX wY -> RL (PrimOf (Named p)) wX wY

Effect (RebaseName p)

Defined in Darcs.Patch.Rebase.Name

Methods

effect :: RebaseName p wX wY -> FL (PrimOf (RebaseName p)) wX wY

effectRL :: RebaseName p wX wY -> RL (PrimOf (RebaseName p)) wX wY

Effect (RebaseFixup p)

Defined in Darcs.Patch.Rebase.Fixup

Methods

effect :: RebaseFixup p wX wY -> FL (PrimOf (RebaseFixup p)) wX wY

effectRL :: RebaseFixup p wX wY -> RL (PrimOf (RebaseFixup p)) wX wY

Effect (Suspended p)

Defined in Darcs.Patch.Rebase.Container

Methods

effect :: Suspended p wX wY -> FL (PrimOf (Suspended p)) wX wY

effectRL :: Suspended p wX wY -> RL (PrimOf (Suspended p)) wX wY

Effect p => Effect (WithDroppedDeps p)

Defined in Darcs.Patch.Rebase.Viewing

Methods

effect :: WithDroppedDeps p wX wY -> FL (PrimOf (WithDroppedDeps p)) wX wY

effectRL :: WithDroppedDeps p wX wY -> RL (PrimOf (WithDroppedDeps p)) wX wY

(PrimPatchBase p, Invert p, Effect p) => Effect (RebaseChange p)

Defined in Darcs.Patch.Rebase.Viewing

Methods

effect :: RebaseChange p wX wY -> FL (PrimOf (RebaseChange p)) wX wY

effectRL :: RebaseChange p wX wY -> RL (PrimOf (RebaseChange p)) wX wY

(PrimPatchBase p, Invert p, Effect p) => Effect (RebaseSelect p)

Defined in Darcs.Patch.Rebase.Viewing

Methods

effect :: RebaseSelect p wX wY -> FL (PrimOf (RebaseSelect p)) wX wY

effectRL :: RebaseSelect p wX wY -> RL (PrimOf (RebaseSelect p)) wX wY

PrimPatch prim => Effect (RepoPatchV2 prim)

Defined in Darcs.Patch.V2.RepoPatch

Methods

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

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

Effect p => Effect (WrappedNamed rt p)

Defined in Darcs.Patch.Named.Wrapped

Methods

effect :: WrappedNamed rt p wX wY -> FL (PrimOf (WrappedNamed rt p)) wX wY

effectRL :: WrappedNamed rt p wX wY -> RL (PrimOf (WrappedNamed rt p)) wX wY

Effect p => Effect (PatchInfoAnd rt p)

Defined in Darcs.Patch.PatchInfoAnd

Methods

effect :: PatchInfoAnd rt p wX wY -> FL (PrimOf (PatchInfoAnd rt p)) wX wY

effectRL :: PatchInfoAnd rt p wX wY -> RL (PrimOf (PatchInfoAnd rt p)) wX wY

effect :: Effect p => p wX wY -> FL (PrimOf p) wX wY

primIsBinary :: PrimClassify prim => prim wX wY -> Bool

primIsAdddir :: PrimClassify prim => prim wX wY -> Bool

invert :: Invert p => p wX wY -> p wY wX

invertFL :: Invert p => FL p wX wY -> RL p wY wX

invertRL :: Invert p => RL p wX wY -> FL p wY wX

commuteFL :: Commute p => (p :> FL p) wX wY -> Maybe ((FL p :> p) wX wY)

commuteFL commutes a single element past a FL.

commuteFLorComplain :: Commute p => (p :> FL p) wX wY -> Either (Sealed2 p) ((FL p :> p) wX wY)

commuteFLorComplain attempts to commute a single element past a FL. If any individual commute fails, then we return the patch that first patch that cannot be commuted past.

commuteRL :: Commute p => (RL p :> p) wX wY -> Maybe ((p :> RL p) wX wY)

commuteRL commutes a RL past a single element.

readPatch :: ReadPatch p => ByteString -> Maybe (Sealed (p wX))

readPatchPartial :: ReadPatch p => ByteString -> Maybe (Sealed (p wX), ByteString)

canonize :: PrimCanonize prim => DiffAlgorithm -> prim wX wY -> FL prim wX wY

It can sometimes be handy to have a canonical representation of a given patch. We achieve this by defining a canonical form for each patch type, and a function canonize which takes a patch and puts it into canonical form. This routine is used by the diff function to create an optimal patch (based on an LCS algorithm) from a simple hunk describing the old and new version of a file.

sortCoalesceFL :: PrimCanonize prim => FL prim wX wY -> FL prim wX wY

sortCoalesceFL ps coalesces as many patches in ps as possible, sorting the results in some standard order.

tryToShrink :: PrimCanonize prim => FL prim wX wY -> FL prim wX wY

tryToShrink ps simplifies ps by getting rid of self-cancellations or coalescing patches

Question (Eric Kow): what properties should this have? For example, the prim1 implementation only gets rid of the first self-cancellation it finds (as far as I can tell). Is that OK? Can we try harder?

patchname :: Named p wX wY -> String

patchcontents :: Named p wX wY -> FL p wX wY

applyToFilePaths :: (Apply p, ApplyState p ~ Tree) => p wX wY -> Maybe [(FilePath, FilePath)] -> [FilePath] -> ([FilePath], [FilePath], [(FilePath, FilePath)])

apply :: (Apply p, ApplyMonad (ApplyState p) m) => p wX wY -> m ()

applyToTree :: (Apply p, Monad m, ApplyState p ~ Tree) => p wX wY -> Tree m -> m (Tree m)

Apply a patch to a Tree, yielding a new Tree.

maybeApplyToTree :: (Apply p, ApplyState p ~ Tree) => p wX wY -> Tree IO -> IO (Maybe (Tree IO))

Attempts to apply a given replace patch to a Tree. If the apply fails (if the file the patch applies to already contains the target token), we return Nothing, otherwise we return the updated Tree.

effectOnFilePaths :: (Apply p, ApplyState p ~ Tree) => p wX wY -> [FilePath] -> [FilePath]

patch2patchinfo :: Named p wX wY -> PatchInfo

summary :: ShowPatch p => p wX wY -> Doc

summaryFL :: ShowPatch p => FL p wX wY -> Doc

plainSummary :: (Conflict e, PrimPatchBase e) => e wX wY -> Doc

xmlSummary :: (Conflict p, PrimPatchBase p) => p wX wY -> Doc

plainSummaryPrims :: PrimDetails prim => Bool -> FL prim wX wY -> Doc

adddeps :: Named p wX wY -> [PatchInfo] -> Named p wX wY

getdeps :: Named p wX wY -> [PatchInfo]

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

isInconsistent :: Check p => p wX wY -> Maybe Doc

class (Apply p, Commute p, Invert p, Merge p, Effect p, IsHunk p, PatchInspect p, ReadPatch p, ShowPatch p, ShowContextPatch p, FromPrim p, Conflict p, CommuteNoConflicts p, Check p, RepairToFL p, PatchListFormat p, PrimPatchBase p, IsHunk (PrimOf p), Matchable p, Annotate p, ApplyState p ~ ApplyState (PrimOf p)) => RepoPatch p

Instances

RepoPatch DummyPatch

Defined in Darcs.Patch.Dummy

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

Defined in Darcs.Patch.V1

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

Defined in Darcs.Patch.V2