Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class Repair p where
- applyAndTryToFix :: ApplyMonad m (ApplyState p) => p wX wY -> m (Maybe (String, p wX wY))
- class Apply p => RepairToFL p where
- applyAndTryToFixFL :: ApplyMonad m (ApplyState p) => 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.
applyAndTryToFix :: ApplyMonad m (ApplyState p) => p wX wY -> m (Maybe (String, p wX wY)) Source
RepairToFL p => Repair (FL p) | |
RepairToFL p => Repair (Named p) | |
RepairToFL p => Repair (PatchInfoAnd p) |
class Apply p => RepairToFL p where Source
RepairToFL
is implemented by single patches that can be repaired (Prim, Patch, RealPatch)
There is a default so that patch types with no current legacy problems don't need to
have an implementation.
Nothing
applyAndTryToFixFL :: ApplyMonad m (ApplyState p) => p wX wY -> m (Maybe (String, FL p wX wY)) Source
RepairToFL Prim | |
RepairToFL Prim | |
RepairToFL DummyPatch | |
PrimPatch prim => RepairToFL (Patch prim) | |
PrimPatch prim => RepairToFL (RealPatch prim) | |
RepairToFL p => RepairToFL (Rebasing p) |
mapMaybeSnd :: (a -> b) -> Maybe (c, a) -> Maybe (c, b) Source