darcs-2.12.5: a distributed, interactive, smart revision control system

Safe HaskellNone
LanguageHaskell2010

Darcs.Patch.Show

Documentation

class ShowPatchBasic p where #

Minimal complete definition

showPatch

Methods

showPatch :: p wX wY -> Doc #

class ShowPatchBasic p => ShowPatch p where #

Minimal complete definition

summary, summaryFL

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 #

summary :: p wX wY -> Doc #

summaryFL :: FL p wX wY -> Doc #

thing :: p wX wY -> String #

things :: p wX wY -> String #

Instances

ShowPatch DummyPatch # 
(Apply p, CommuteNoConflicts p, Conflict p, IsHunk p, PatchListFormat p, PrimPatchBase p, ShowPatch p) => ShowPatch (Named p) # 

Methods

showNicely :: Named p wX wY -> Doc #

showContextPatch :: (Monad m, ApplyMonad (ApplyState (Named p)) m) => Named p wX wY -> m 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 #

ShowPatch (RebaseName p) # 

Methods

showNicely :: RebaseName p wX wY -> Doc #

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

description :: RebaseName p wX wY -> Doc #

summary :: RebaseName p wX wY -> Doc #

summaryFL :: FL (RebaseName p) wX wY -> Doc #

thing :: RebaseName p wX wY -> String #

things :: RebaseName p wX wY -> String #

(PrimPatchBase p, PatchListFormat p, Apply p, CommuteNoConflicts p, Conflict p, IsHunk p, ShowPatch p) => ShowPatch (RebaseItem p) # 

Methods

showNicely :: RebaseItem p wX wY -> Doc #

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

description :: RebaseItem p wX wY -> Doc #

summary :: RebaseItem p wX wY -> Doc #

summaryFL :: FL (RebaseItem p) wX wY -> Doc #

thing :: RebaseItem p wX wY -> String #

things :: RebaseItem p wX wY -> String #

(PrimPatchBase p, PatchListFormat p, Apply p, CommuteNoConflicts p, Conflict p, IsHunk p, ShowPatch p) => ShowPatch (Suspended p) # 

Methods

showNicely :: Suspended p wX wY -> Doc #

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

description :: Suspended p wX wY -> Doc #

summary :: Suspended p wX wY -> Doc #

summaryFL :: FL (Suspended p) wX wY -> Doc #

thing :: Suspended p wX wY -> String #

things :: Suspended p wX wY -> String #

PrimPatch prim => ShowPatch (RepoPatchV2 prim) # 

Methods

showNicely :: RepoPatchV2 prim wX wY -> Doc #

showContextPatch :: (Monad m, ApplyMonad (ApplyState (RepoPatchV2 prim)) m) => RepoPatchV2 prim wX wY -> m Doc #

description :: RepoPatchV2 prim wX wY -> Doc #

summary :: RepoPatchV2 prim wX wY -> Doc #

summaryFL :: FL (RepoPatchV2 prim) wX wY -> Doc #

thing :: RepoPatchV2 prim wX wY -> String #

things :: RepoPatchV2 prim wX wY -> String #

(PrimPatchBase p, PatchListFormat p, ShowPatchBasic p, Invert p, Effect p, Merge p, FromPrim p, Conflict p, CommuteNoConflicts p) => ShowPatch (RebaseChange p) # 

Methods

showNicely :: RebaseChange p wX wY -> Doc #

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

description :: RebaseChange p wX wY -> Doc #

summary :: RebaseChange p wX wY -> Doc #

summaryFL :: FL (RebaseChange p) wX wY -> Doc #

thing :: RebaseChange p wX wY -> String #

things :: RebaseChange p wX wY -> String #

(PrimPatchBase p, PatchListFormat p, Apply p, CommuteNoConflicts p, Conflict p, IsHunk p, ShowPatch p) => ShowPatch (RebaseSelect p) # 

Methods

showNicely :: RebaseSelect p wX wY -> Doc #

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

description :: RebaseSelect p wX wY -> Doc #

summary :: RebaseSelect p wX wY -> Doc #

summaryFL :: FL (RebaseSelect p) wX wY -> Doc #

thing :: RebaseSelect p wX wY -> String #

things :: RebaseSelect p wX wY -> String #

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

Methods

showNicely :: WrappedNamed rt p wX wY -> Doc #

showContextPatch :: (Monad m, ApplyMonad (ApplyState (WrappedNamed rt p)) m) => WrappedNamed rt p wX wY -> m 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 #

(Apply p, Conflict p, CommuteNoConflicts p, IsHunk p, PatchListFormat p, PrimPatchBase p, ShowPatch p, (~) ((* -> *) -> *) (ApplyState p) Tree) => ShowPatch (PatchInfoAnd rt p) # 

Methods

showNicely :: PatchInfoAnd rt p wX wY -> Doc #

showContextPatch :: (Monad m, ApplyMonad (ApplyState (PatchInfoAnd rt p)) m) => PatchInfoAnd rt p wX wY -> m Doc #

description :: PatchInfoAnd rt p wX wY -> Doc #

summary :: PatchInfoAnd rt p wX wY -> Doc #

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

thing :: PatchInfoAnd rt p wX wY -> String #

things :: PatchInfoAnd rt p wX wY -> String #