Searched refs:applyAndTryToFix (Results 1 – 5 of 5) sorted by last modified time
20 import Darcs.Patch.Patchy ( applyAndTryToFix )69 (s', mp') <- run_slurpy s $ applyAndTryToFix p117 (s'', _) <- run_slurpy s $ applyAndTryToFix chk
24 applyAndTryToFix :: ApplyMonad (ApplyState p) m => p wX wY -> m (Maybe (String, p wX wY))45 applyAndTryToFix NilFL = return Nothing function46 applyAndTryToFix (p:>:ps) = do mp <- applyAndTryToFixFL p function47 mps <- applyAndTryToFix ps
144 applyAndTryToFix (NamedP n d p) = mapMaybeSnd (NamedP n d) `fmap` applyAndTryToFix p function
227 applyAndTryToFix p = do mp' <- applyAndTryToFix $ hopefully p function
37 import Darcs.Patch.Repair ( Repair(applyAndTryToFix) )111 mp' <- applyAndTryToFix p