- class (Apply p, Commute p, ShowPatch p, ReadPatch p, Invert p) => Patchy p
- class Apply p where
- apply :: WriteableDirectory m => [DarcsFlag] -> p -> m ()
- applyAndTryToFix :: WriteableDirectory m => p -> m (Maybe (String, p))
- applyAndTryToFixFL :: WriteableDirectory m => p -> m (Maybe (String, FL p))
- mapMaybeSnd :: (a -> b) -> Maybe (c, a) -> Maybe (c, b)
- class Commute p where
- commute :: (p :> p) -> Maybe (p :> p)
- merge :: (p :\/: p) -> p :/\: p
- listTouchedFiles :: p -> [FilePath]
- hunkMatches :: (ByteString -> Bool) -> p -> Bool
- commuteFL :: Commute p => (p :> FL p) -> Either (Sealed2 p) (FL p :> p)
- commuteRL :: Commute p => (RL p :> p) -> Maybe (p :> RL p)
- commuteRLFL :: Commute p => (RL p :> FL p) -> Maybe (FL p :> RL p)
- mergeFL :: Commute p => (p :\/: FL p) -> FL p :/\: p
- toFwdCommute :: (Commute p, Commute q, Monad m) => ((p :< q) -> m (q :< p)) -> (q :> p) -> m (p :> q)
- toRevCommute :: (Commute p, Commute q, Monad m) => ((p :> q) -> m (q :> p)) -> (q :< p) -> m (p :< q)
- class Commute p => ShowPatch p where
- showPatch :: p -> Doc
- showNicely :: p -> Doc
- showContextPatch :: p -> TreeIO Doc
- description :: p -> Doc
- summary :: p -> Doc
- writePatch :: FilePath -> p -> IO ()
- gzWritePatch :: FilePath -> p -> IO ()
- thing :: p -> String
- things :: p -> String
- class ReadPatch p where
- readPatch' :: ParserM m => Bool -> m (Maybe (Sealed p))
- bracketedFL :: (ReadPatch p, ParserM m) => Word8 -> Word8 -> m (Maybe (Sealed (FL p)))
- peekfor :: ParserM m => String -> m a -> m a -> m a
- class MyEq p => Invert p where
- invert :: p -> p
- identity :: p
- sloppyIdentity :: p -> EqCheck
- invertFL :: Invert p => FL p -> RL p
- invertRL :: Invert p => RL p -> FL p
Documentation
apply :: WriteableDirectory m => [DarcsFlag] -> p -> m ()Source
applyAndTryToFix :: WriteableDirectory m => p -> m (Maybe (String, p))Source
applyAndTryToFixFL :: WriteableDirectory m => p -> m (Maybe (String, FL p))Source
mapMaybeSnd :: (a -> b) -> Maybe (c, a) -> Maybe (c, b)Source
Things that can commute.
toFwdCommute :: (Commute p, Commute q, Monad m) => ((p :< q) -> m (q :< p)) -> (q :> p) -> m (p :> q)Source
Swaps the ordered pair type so that commute can be called directly.
toRevCommute :: (Commute p, Commute q, Monad m) => ((p :> q) -> m (q :> p)) -> (q :< p) -> m (p :< q)Source
Swaps the ordered pair type from the order expected by commute to the reverse order.
class Commute p => ShowPatch p whereSource
showNicely :: p -> DocSource
showContextPatch :: p -> TreeIO DocSource
description :: p -> DocSource
writePatch :: FilePath -> p -> IO ()Source
gzWritePatch :: FilePath -> p -> IO ()Source