| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Darcs.Patch.Patchy
- class (Apply p, Commute p, Invert p) => Patchy p
- class Apply p where
- type ApplyState p :: (* -> *) -> *
- class Commute p where
- class Invert p where
- class PatchInspect p where
- class ReadPatch p where
- showPatch :: ShowPatchBasic p => p wX wY -> Doc
- class ShowPatchBasic p => ShowPatch p where
Documentation
class (Apply p, Commute p, Invert p) => Patchy p #
Instances
| Patchy DummyPatch # | |
| Apply p => Patchy (RebaseName p) # | |
| PrimPatch prim => Patchy (RepoPatchV2 prim) # | |
| (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))) => Patchy (RebaseSelect p) # | |
| (Patchy p, (~) ((* -> *) -> *) (ApplyState p) Tree) => Patchy (PatchInfoAnd rt p) # | |
Minimal complete definition
Associated Types
type ApplyState p :: (* -> *) -> * #
Methods
apply :: ApplyMonad (ApplyState p) m => p wX wY -> m () #
Instances
| 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) # | |
| Apply p => Apply (Suspended p) # | |
| PrimPatch prim => Apply (RepoPatchV2 prim) # | |
| (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) # | |
| Apply p => Apply (WrappedNamed rt p) # | |
| Apply p => Apply (PatchInfoAnd rt p) # | |
Commute represents things that can be (possibly) commuted.
Minimal complete definition
Instances
| Commute DummyPatch # | |
| Commute p => Commute (RL p) # | |
| Commute p => Commute (FL p) # | |
| Commute p => Commute (Named p) # | |
| Commute (RebaseName p) # | |
| PrimPatchBase p => Commute (RebaseFixup p) # | |
| PrimPatch prim => Commute (RepoPatchV2 prim) # | |
| Commute p => Commute (LabelledPatch p) # | |
| Commute (RebaseChange p) # | |
| (PrimPatchBase p, FromPrim p, Effect p, Commute p, Invert p) => Commute (RebaseSelect p) # | |
| Commute p => Commute (WrappedNamed rt p) # | |
| Commute p => Commute (PatchInfoAnd rt p) # | |
Minimal complete definition
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 (RepoPatchV2 prim) # | |
| Invert p => Invert (LabelledPatch p) # | |
| Invert (RebaseChange p) # | |
| Invert p => Invert (RebaseSelect p) # | |
| Invert p => Invert (WrappedNamed rt p) # | |
| Invert p => Invert (PatchInfoAnd rt p) # | |
class PatchInspect p where #
Minimal complete definition
Methods
listTouchedFiles :: p wX wY -> [FilePath] #
hunkMatches :: (ByteString -> Bool) -> p wX wY -> Bool #
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) # | |
| (PrimPatchBase p, PatchInspect p) => PatchInspect (RebaseItem p) # | |
| (PrimPatchBase p, PatchInspect p) => PatchInspect (Suspended p) # | |
| PatchInspect prim => PatchInspect (RepoPatchV2 prim) # | |
| PatchInspect p => PatchInspect (LabelledPatch p) # | |
| (PrimPatchBase p, PatchInspect p) => PatchInspect (RebaseChange p) # | |
| (PrimPatchBase p, PatchInspect p) => PatchInspect (RebaseSelect p) # | |
| PatchInspect p => PatchInspect (WrappedNamed rt p) # | |
| PatchInspect p => PatchInspect (PatchInfoAnd rt p) # | |
Minimal complete definition
Methods
readPatch' :: ParserM m => m (Sealed (p wX)) #
Instances
| 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) # | |
| (PrimPatchBase p, PatchListFormat p, ReadPatch p) => ReadPatch (RebaseItem p) # | |
| (PrimPatchBase p, PatchListFormat p, ReadPatch p) => ReadPatch (Suspended p) # | |
| PrimPatch prim => ReadPatch (RepoPatchV2 prim) # | |
| ReadPatch (RebaseChange p) # | |
| ReadPatch p => ReadPatch (RebaseSelect p) # | |
| (ReadPatch p, PrimPatchBase p, FromPrim p, Effect p, PatchListFormat p, IsRepoType rt) => ReadPatch (WrappedNamed rt p) # | |
| (ReadPatch p, PatchListFormat p, PrimPatchBase p, Effect p, FromPrim p, IsRepoType rt) => ReadPatch (PatchInfoAnd rt p) # | |
showPatch :: ShowPatchBasic p => p wX wY -> Doc #
class ShowPatchBasic p => ShowPatch p where #
Methods
showNicely :: p wX wY -> Doc #
showContextPatch :: (Monad m, ApplyMonad (ApplyState p) m) => 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.
description :: p wX wY -> Doc #
Instances