Darcs.Patch.Prim.V1
Contents
data Prim wX wY Source #
Defined in Darcs.Patch.Prim.V1.Core
Methods
unsafeCompare :: Prim wA wB -> Prim wC wD -> Bool Source #
(=\/=) :: Prim wA wB -> Prim wA wC -> EqCheck wB wC Source #
(=/\=) :: Prim wA wC -> Prim wB wC -> EqCheck wA wB Source #
Defined in Darcs.Patch.Prim.V1.Show
showDict2 :: ShowDict (Prim wX wY) Source #
invert :: Prim wX wY -> Prim wY wX Source #
patchDebugDummy :: Prim wX wY -> () Source #
Defined in Darcs.Patch.Prim.V1.Commute
commute :: (Prim :> Prim) wX wY -> Maybe ((Prim :> Prim) wX wY) Source #
cleanMerge :: (Prim :\/: Prim) wX wY -> Maybe ((Prim :/\: Prim) wX wY) Source #
listTouchedFiles :: Prim wX wY -> [AnchoredPath] Source #
hunkMatches :: (ByteString -> Bool) -> Prim wX wY -> Bool Source #
Defined in Darcs.Patch.Prim.V1.Apply
Associated Types
type ApplyState Prim :: (Type -> Type) -> Type Source #
apply :: ApplyMonad (ApplyState Prim) m => Prim wX wY -> m () Source #
unapply :: ApplyMonad (ApplyState Prim) m => Prim wX wY -> m () Source #
isHunk :: Prim wX wY -> Maybe (FileHunk wX wY) Source #
applyAndTryToFixFL :: ApplyMonad (ApplyState Prim) m => Prim wX wY -> m (Maybe (String, FL Prim wX wY)) Source #
Defined in Darcs.Patch.Prim.V1.Mangle
mangleUnravelled :: Unravelled Prim wX -> Maybe (Mangled Prim wX) Source #
applyPrimFL :: ApplyMonad (ApplyState Prim) m => FL Prim wX wY -> m () Source #
Defined in Darcs.Patch.Prim.V1.Read
readPrim :: FileNameFormat -> Parser (Sealed (Prim wX)) Source #
showPrim :: FileNameFormat -> Prim wA wB -> Doc Source #
showPrimCtx :: ApplyMonad (ApplyState Prim) m => FileNameFormat -> Prim wA wB -> m Doc Source #
Defined in Darcs.Patch.Prim.V1.Details
summarizePrim :: Prim wX wY -> [SummDetail] Source #
Defined in Darcs.Patch.Prim.V1
siftForPending :: FL Prim wX wY -> Sealed (FL Prim wX) Source #
Defined in Darcs.Patch.Prim.V1.Coalesce
tryToShrink :: FL Prim wX wY -> FL Prim wX wY Source #
sortCoalesceFL :: FL Prim wX wY -> FL Prim wX wY Source #
canonize :: DiffAlgorithm -> Prim wX wY -> FL Prim wX wY Source #
canonizeFL :: DiffAlgorithm -> FL Prim wX wY -> FL Prim wX wY Source #
coalesce :: (Prim :> Prim) wX wY -> Maybe (FL Prim wX wY) Source #
primCoalesce :: Prim wX wY -> Prim wY wZ -> Maybe (Prim wX wZ) Source #
primDecoalesce :: Prim wX wZ -> Prim wX wY -> Maybe (Prim wY wZ) Source #
addfile :: AnchoredPath -> Prim wX wY Source #
rmfile :: AnchoredPath -> Prim wX wY Source #
adddir :: AnchoredPath -> Prim wX wY Source #
rmdir :: AnchoredPath -> Prim wX wY Source #
move :: AnchoredPath -> AnchoredPath -> Prim wX wY Source #
changepref :: String -> String -> String -> Prim wX wY Source #
hunk :: AnchoredPath -> Int -> [ByteString] -> [ByteString] -> Prim wX wY Source #
tokreplace :: AnchoredPath -> String -> String -> String -> Prim wX wY Source #
binary :: AnchoredPath -> ByteString -> ByteString -> Prim wX wY Source #
primFromHunk :: FileHunk wX wY -> Prim wX wY Source #
primIsAddfile :: Prim wX wY -> Bool Source #
primIsRmfile :: Prim wX wY -> Bool Source #
primIsAdddir :: Prim wX wY -> Bool Source #
primIsRmdir :: Prim wX wY -> Bool Source #
primIsMove :: Prim wX wY -> Bool Source #
primIsHunk :: Prim wX wY -> Bool Source #
primIsTokReplace :: Prim wX wY -> Bool Source #
primIsBinary :: Prim wX wY -> Bool Source #
primIsSetpref :: Prim wX wY -> Bool Source #
is_filepatch :: Prim wX wY -> Maybe AnchoredPath Source #
Defined in Darcs.Patch.Annotate
annotate :: Prim wX wY -> AnnotatedM () Source #
showDict1 :: Dict (Show (Prim wX wX0)) Source #
(==) :: Prim wX wY -> Prim wX wY -> Bool #
(/=) :: Prim wX wY -> Prim wX wY -> Bool #
showsPrec :: Int -> Prim wX wY -> ShowS #
show :: Prim wX wY -> String #
showList :: [Prim wX wY] -> ShowS #