| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Darcs.Patch.Repair
- class Repair p where
- class Apply p => RepairToFL p where
- mapMaybeSnd :: (a -> b) -> Maybe (c, a) -> Maybe (c, b)
- class Check p where
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.
Minimal complete definition
Methods
applyAndTryToFix :: ApplyMonad (ApplyState p) m => p wX wY -> m (Maybe (String, p wX wY)) #
Instances
| RepairToFL p => Repair (FL p) # | |
| RepairToFL p => Repair (Named p) # | |
| Apply p => Repair (Suspended p) # | |
| RepairToFL p => Repair (WrappedNamed rt p) # | |
| RepairToFL p => Repair (PatchInfoAnd rt p) # | |
class Apply p => RepairToFL p where #
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.
Methods
applyAndTryToFixFL :: ApplyMonad (ApplyState p) m => p wX wY -> m (Maybe (String, FL p wX wY)) #
Instances
| RepairToFL DummyPatch # | |
| Apply p => RepairToFL (Suspended p) # | |
| PrimPatch prim => RepairToFL (RepoPatchV2 prim) # | |
mapMaybeSnd :: (a -> b) -> Maybe (c, a) -> Maybe (c, b) #
Methods
isInconsistent :: p wX wY -> Maybe Doc #