Darcs.Patch.Repair

Documentation

class Repair p where

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 m (ApplyState p) => p wX wY -> m (Maybe (String, p wX wY))

Instances

RepairToFL p => Repair (FL p)

RepairToFL p => Repair (Named p)

RepairToFL p => Repair (PatchInfoAnd p)

class Apply p => RepairToFL p where

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.

Minimal complete definition

Nothing

Methods

applyAndTryToFixFL :: ApplyMonad m (ApplyState p) => p wX wY -> m (Maybe (String, FL p wX wY))

Instances

RepairToFL DummyPatch

PrimPatch prim => RepairToFL (RealPatch prim)

RepairToFL p => RepairToFL (Rebasing p)

mapMaybeSnd :: (a -> b) -> Maybe (c, a) -> Maybe (c, b)

class Check p where

Minimal complete definition

Nothing

Methods

isInconsistent :: p wX wY -> Maybe Doc

Instances

Check DummyPatch

Check p => Check (RL p)

Check p => Check (FL p)

Check p => Check (Named p)

Check (Patch prim)

PrimPatch prim => Check (RealPatch prim)

Check p => Check (RebaseItem p)

Check p => Check (Rebasing p)