Safe Haskell	None
Language	Haskell2010

Darcs.Patch.Patchy

Synopsis

Documentation

class (Apply p, Commute p, Invert p) => Patchy p Source

Instances

Patchy Prim
Patchy Prim
Patchy DummyPatch
(IsHunk p, PatchListFormat p, Patchy p) => Patchy (RL p)
(IsHunk p, PatchListFormat p, Patchy p) => Patchy (FL p)
(Patchy p, NameHack p, (~) ((* -> ) -> ) (ApplyState p) Tree) => Patchy (Named p)
Apply p => Patchy (RebaseName p)
PrimPatch prim => Patchy (Patch prim)
PrimPatch prim => Patchy (RealPatch prim)
(Patchy p, NameHack p, (~) ((* -> ) -> ) (ApplyState p) Tree) => Patchy (PatchInfoAnd p)
(PrimPatchBase p, PatchListFormat p, Patchy p, FromPrim p, Conflict p, Effect p, CommuteNoConflicts p, IsHunk p) => Patchy (Rebasing p)
(PrimPatchBase p, Apply p, (~) ((* -> ) -> ) (ApplyState p) (ApplyState (PrimOf p)), Invert p) => Patchy (RebaseChange p)
(PrimPatchBase p, PatchListFormat p, Conflict p, FromPrim p, Effect p, CommuteNoConflicts p, IsHunk p, Patchy p, (~) ((* -> ) -> ) (ApplyState p) (ApplyState (PrimOf p)), NameHack p) => Patchy (RebaseSelect p)

class Apply p where Source

Associated Types

type ApplyState p :: (* -> *) -> * Source

Methods

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

Instances

Apply Prim
Apply Prim
Apply DummyPatch
Apply p => Apply (RL p)
Apply p => Apply (FL p)
Apply p => Apply (Named p)
Apply p => Apply (RebaseName p)
(PrimPatchBase p, Apply p, (~) ((* -> ) -> ) (ApplyState p) (ApplyState (PrimOf p))) => Apply (RebaseFixup p)
PrimPatch prim => Apply (Patch prim)
PrimPatch prim => Apply (RealPatch prim)
Apply p => Apply (PatchInfoAnd p)
Apply p => Apply (Rebasing p)
(PrimPatchBase p, Invert p, Apply p, (~) ((* -> ) -> ) (ApplyState p) (ApplyState (PrimOf p))) => Apply (RebaseChange p)
(PrimPatchBase p, Invert p, Apply p, (~) ((* -> ) -> ) (ApplyState p) (ApplyState (PrimOf p))) => Apply (RebaseSelect p)

class Commute p where Source

Commute represents things that can be (possibly) commuted.

Methods

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

Instances

Commute Prim
Commute Prim
Commute DummyPatch
Commute p => Commute (RL p)
Commute p => Commute (FL p)
(Commute p, NameHack p) => Commute (Named p)
Commute (RebaseName p)
PrimPatchBase p => Commute (RebaseFixup p)
PrimPatch prim => Commute (Patch prim)
PrimPatch prim => Commute (RealPatch prim)
(Commute p, NameHack p) => Commute (PatchInfoAnd p)
(PrimPatchBase p, FromPrim p, Effect p, Invert p, Commute p) => Commute (Rebasing p)
Commute (RebaseChange p)
(PrimPatchBase p, FromPrim p, Effect p, Commute p, Invert p, NameHack p) => Commute (RebaseSelect p)
Commute p => Commute (LabelledPatch p)

class Invert p where Source

Methods

invert :: p wX wY -> p wY wX Source

Instances

Invert Prim
Invert Prim
Invert DummyPatch
Invert p => Invert (RL p)
Invert p => Invert (FL p)
Invert p => Invert (Named p)
Invert (RebaseName p)
Invert (PrimOf p) => Invert (RebaseFixup p)
Invert prim => Invert (Patch prim)
Invert prim => Invert (RealPatch prim)
Invert p => Invert (PatchInfoAnd p)
Invert p => Invert (Rebasing p)
Invert (RebaseChange p)
Invert p => Invert (RebaseSelect p)
Invert p => Invert (LabelledPatch p)

class PatchInspect p where Source

Methods

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

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

Instances

PatchInspect Prim
PatchInspect Prim
PatchInspect DummyPatch
PatchInspect p => PatchInspect (RL p)
PatchInspect p => PatchInspect (FL p)
PatchInspect p => PatchInspect (Named p)
PatchInspect (RebaseName p)
PatchInspect (PrimOf p) => PatchInspect (RebaseFixup p)
PrimPatch prim => PatchInspect (Patch prim)
PatchInspect prim => PatchInspect (RealPatch prim)
PatchInspect p => PatchInspect (PatchInfoAnd p)
(PrimPatchBase p, PatchInspect p) => PatchInspect (Rebasing p)
(PrimPatchBase p, PatchInspect p) => PatchInspect (RebaseChange p)
(PrimPatchBase p, PatchInspect p) => PatchInspect (RebaseSelect p)
PatchInspect p => PatchInspect (LabelledPatch p)

class ReadPatch p where Source

Methods

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

Instances

ReadPatch Prim
ReadPatch Prim
ReadPatch DummyPatch
(ReadPatch p, PatchListFormat p) => ReadPatch (RL p)
(ReadPatch p, PatchListFormat p) => ReadPatch (FL p)
ReadPatch p => ReadPatch (Bracketed p)
(ReadPatch p, PatchListFormat p) => ReadPatch (Named p)
ReadPatch (RebaseName p)
PrimPatch prim => ReadPatch (Patch prim)
PrimPatch prim => ReadPatch (RealPatch prim)
(ReadPatch p, PatchListFormat p) => ReadPatch (PatchInfoAnd p)
(PrimPatchBase p, PatchListFormat p, ReadPatch p) => ReadPatch (RebaseItem p)
(PrimPatchBase p, PatchListFormat p, ReadPatch p) => ReadPatch (Rebasing p)
ReadPatch (RebaseChange p)
ReadPatch p => ReadPatch (RebaseSelect p)

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

class ShowPatchBasic p => ShowPatch p where Source

Minimal complete definition

summary, summaryFL

Methods

showNicely :: p wX wY -> Doc Source

showContextPatch :: (Monad m, ApplyMonadTrans m (ApplyState p), ApplyMonad m (ApplyState p)) => p wX wY -> m Doc Source

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.

description :: p wX wY -> Doc Source

summary :: p wX wY -> Doc Source

summaryFL :: FL p wX wY -> Doc Source

thing :: p wX wY -> String Source

things :: p wX wY -> String Source

Instances

(~) ((* -> ) -> ) (ApplyState Prim) Tree => ShowPatch Prim
ShowPatch Prim
ShowPatch DummyPatch
(Apply p, IsHunk p, PatchListFormat p, ShowPatch p) => ShowPatch (RL p)
(Apply p, IsHunk p, PatchListFormat p, ShowPatch p) => ShowPatch (FL p)
(Apply p, CommuteNoConflicts p, Conflict p, IsHunk p, PatchListFormat p, PrimPatchBase p, ShowPatch p) => ShowPatch (Named p)
ShowPatch (RebaseName p)
PrimPatch prim => ShowPatch (Patch prim)
PrimPatch prim => ShowPatch (RealPatch prim)
(Apply p, Conflict p, CommuteNoConflicts p, IsHunk p, PatchListFormat p, PrimPatchBase p, ShowPatch p, (~) ((* -> ) -> ) (ApplyState p) Tree) => ShowPatch (PatchInfoAnd p)
(PrimPatchBase p, PatchListFormat p, Apply p, CommuteNoConflicts p, Conflict p, IsHunk p, ShowPatch p) => ShowPatch (RebaseItem p)
(PrimPatchBase p, PatchListFormat p, Apply p, CommuteNoConflicts p, Conflict p, IsHunk p, ShowPatch p) => ShowPatch (Rebasing p)
(PrimPatchBase p, PatchListFormat p, ShowPatchBasic p, Invert p, Effect p, Merge p, FromPrim p, Conflict p, CommuteNoConflicts p) => ShowPatch (RebaseChange p)
(PrimPatchBase p, PatchListFormat p, Apply p, CommuteNoConflicts p, Conflict p, IsHunk p, ShowPatch p) => ShowPatch (RebaseSelect p)