Safe Haskell | None |
---|---|
Language | Haskell2010 |
Darcs.Patch.Repair
Synopsis
- class Repair p where
- applyAndTryToFix :: ApplyMonad (ApplyState p) m => p wX wY -> m (Maybe (String, p wX wY))
- class Apply p => RepairToFL p where
- applyAndTryToFixFL :: ApplyMonad (ApplyState p) m => p wX wY -> m (Maybe (String, FL p wX wY))
- mapMaybeSnd :: (a -> b) -> Maybe (c, a) -> Maybe (c, b)
- class Check p where
- isInconsistent :: p wX wY -> Maybe Doc
Documentation
Repair
and RepairToFL
deal with repairing old patches that were
were written out due to bugs or that we no longer wish to support.
Repair
is implemented by collections of patches (FL, Named, PatchInfoAnd) that
might need repairing.
Methods
applyAndTryToFix :: ApplyMonad (ApplyState p) m => p wX wY -> m (Maybe (String, p wX wY)) Source #
Instances
RepairToFL p => Repair (FL p) Source # | |
Defined in Darcs.Patch.Repair Methods applyAndTryToFix :: ApplyMonad (ApplyState (FL p)) m => FL p wX wY -> m (Maybe (String, FL p wX wY)) Source # | |
RepairToFL p => Repair (Named p) Source # | |
Defined in Darcs.Patch.Named Methods applyAndTryToFix :: ApplyMonad (ApplyState (Named p)) m => Named p wX wY -> m (Maybe (String, Named p wX wY)) Source # | |
RepairToFL p => Repair (PatchInfoAnd rt p) Source # | |
Defined in Darcs.Patch.PatchInfoAnd Methods applyAndTryToFix :: ApplyMonad (ApplyState (PatchInfoAnd rt p)) m => PatchInfoAnd rt p wX wY -> m (Maybe (String, PatchInfoAnd rt p wX wY)) Source # |
class Apply p => RepairToFL p where Source #
RepairToFL
is implemented by single patches that can be repaired (Prim, Patch, RepoPatchV2)
There is a default so that patch types with no current legacy problems don't need to
have an implementation.
Minimal complete definition
Nothing
Methods
applyAndTryToFixFL :: ApplyMonad (ApplyState p) m => p wX wY -> m (Maybe (String, FL p wX wY)) Source #
Instances
mapMaybeSnd :: (a -> b) -> Maybe (c, a) -> Maybe (c, b) Source #
Minimal complete definition
Nothing
Methods
isInconsistent :: p wX wY -> Maybe Doc Source #
Instances
Check p => Check (RL p) Source # | |
Defined in Darcs.Patch.Repair | |
Check p => Check (FL p) Source # | |
Defined in Darcs.Patch.Repair | |
Check (RepoPatchV1 prim) Source # | |
Defined in Darcs.Patch.V1.Core Methods isInconsistent :: RepoPatchV1 prim wX wY -> Maybe Doc Source # | |
PrimPatch prim => Check (RepoPatchV2 prim) Source # | |
Defined in Darcs.Patch.V2.RepoPatch Methods isInconsistent :: RepoPatchV2 prim wX wY -> Maybe Doc Source # | |
Check p => Check (Named p) Source # | |
Defined in Darcs.Patch.Named | |
PrimPatch prim => Check (RepoPatchV3 name prim) Source # | |
Defined in Darcs.Patch.V3.Core Methods isInconsistent :: RepoPatchV3 name prim wX wY -> Maybe Doc Source # |