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