Safe Haskell	None
Language	Haskell2010

Darcs.Patch.Prim.V1.Core

Synopsis

data Prim wX wY where
- Move :: !AnchoredPath -> !AnchoredPath -> Prim wX wY
- DP :: !AnchoredPath -> !(DirPatchType wX wY) -> Prim wX wY
- FP :: !AnchoredPath -> !(FilePatchType wX wY) -> Prim wX wY
- ChangePref :: !String -> !String -> !String -> Prim wX wY
data DirPatchType wX wY
- = RmDir
- | AddDir
data FilePatchType wX wY
- = RmFile
- | AddFile
- | Hunk !Int [ByteString] [ByteString]
- | TokReplace !String !String !String
- | Binary ByteString ByteString
isIdentity :: Prim wX wY -> EqCheck wX wY
comparePrim :: Prim wX wY -> Prim wW wZ -> Ordering

Documentation

data Prim wX wY where Source #

Constructors

Move :: !AnchoredPath -> !AnchoredPath -> Prim wX wY
DP :: !AnchoredPath -> !(DirPatchType wX wY) -> Prim wX wY
FP :: !AnchoredPath -> !(FilePatchType wX wY) -> Prim wX wY
ChangePref :: !String -> !String -> !String -> Prim wX wY

Instances

Eq2 Prim Source #
Instance details 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 #
Show2 Prim Source #
Instance details Defined in Darcs.Patch.Prim.V1.Show Methods showDict2 :: ShowDict (Prim wX wY) Source #
Invert Prim Source #
Instance details Defined in Darcs.Patch.Prim.V1.Core Methods invert :: Prim wX wY -> Prim wY wX Source #
PatchDebug Prim Source #
Instance details Defined in Darcs.Patch.Prim.V1.Core Methods patchDebugDummy :: Prim wX wY -> () Source #
Commute Prim Source #
Instance details Defined in Darcs.Patch.Prim.V1.Commute Methods commute :: (Prim :> Prim) wX wY -> Maybe ((Prim :> Prim) wX wY) Source #
CleanMerge Prim Source #
Instance details Defined in Darcs.Patch.Prim.V1.Commute Methods cleanMerge :: (Prim :\/: Prim) wX wY -> Maybe ((Prim :/\: Prim) wX wY) Source #
PatchInspect Prim Source #
Instance details Defined in Darcs.Patch.Prim.V1.Core Methods listTouchedFiles :: Prim wX wY -> [AnchoredPath] Source # hunkMatches :: (ByteString -> Bool) -> Prim wX wY -> Bool Source #
Apply Prim Source #
Instance details Defined in Darcs.Patch.Prim.V1.Apply Associated Types type ApplyState Prim :: (Type -> Type) -> Type Source # Methods apply :: ApplyMonad (ApplyState Prim) m => Prim wX wY -> m () Source # unapply :: ApplyMonad (ApplyState Prim) m => Prim wX wY -> m () Source #
IsHunk Prim Source #
Instance details Defined in Darcs.Patch.Prim.V1.Core Methods isHunk :: Prim wX wY -> Maybe (FileHunk wX wY) Source #
RepairToFL Prim Source #
Instance details Defined in Darcs.Patch.Prim.V1.Apply Methods applyAndTryToFixFL :: ApplyMonad (ApplyState Prim) m => Prim wX wY -> m (Maybe (String, FL Prim wX wY)) Source #
PrimMangleUnravelled Prim Source #
Instance details Defined in Darcs.Patch.Prim.V1.Mangle Methods mangleUnravelled :: Unravelled Prim wX -> Maybe (Mangled Prim wX) Source #
PrimApply Prim Source #
Instance details Defined in Darcs.Patch.Prim.V1.Apply Methods applyPrimFL :: ApplyMonad (ApplyState Prim) m => FL Prim wX wY -> m () Source #
PrimRead Prim Source #
Instance details Defined in Darcs.Patch.Prim.V1.Read Methods readPrim :: FileNameFormat -> Parser (Sealed (Prim wX)) Source #
ApplyState Prim ~ Tree => PrimShow Prim Source #
Instance details Defined in Darcs.Patch.Prim.V1.Show Methods showPrim :: FileNameFormat -> Prim wA wB -> Doc Source # showPrimCtx :: ApplyMonad (ApplyState Prim) m => FileNameFormat -> Prim wA wB -> m Doc Source #
PrimDetails Prim Source #
Instance details Defined in Darcs.Patch.Prim.V1.Details Methods summarizePrim :: Prim wX wY -> [SummDetail] Source #
PrimSift Prim Source #
Instance details Defined in Darcs.Patch.Prim.V1 Methods siftForPending :: FL Prim wX wY -> Sealed (FL Prim wX) Source #
PrimCanonize Prim Source #
Instance details Defined in Darcs.Patch.Prim.V1.Coalesce Methods 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 #
PrimConstruct Prim Source #
Instance details Defined in Darcs.Patch.Prim.V1.Core Methods 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 #
PrimClassify Prim Source #
Instance details Defined in Darcs.Patch.Prim.V1.Core Methods 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 #
Annotate Prim Source #
Instance details Defined in Darcs.Patch.Annotate Methods annotate :: Prim wX wY -> AnnotatedM () Source #
Show1 (Prim wX) Source #
Instance details Defined in Darcs.Patch.Prim.V1.Show Methods showDict1 :: Dict (Show (Prim wX wX0)) Source #
Eq (Prim wX wY) Source #
Instance details Defined in Darcs.Patch.Prim.V1.Core Methods (==) :: Prim wX wY -> Prim wX wY -> Bool # (/=) :: Prim wX wY -> Prim wX wY -> Bool #
Show (Prim wX wY) Source #
Instance details Defined in Darcs.Patch.Prim.V1.Show Methods showsPrec :: Int -> Prim wX wY -> ShowS # show :: Prim wX wY -> String # showList :: [Prim wX wY] -> ShowS #
type ApplyState Prim Source #
Instance details Defined in Darcs.Patch.Prim.V1.Apply type ApplyState Prim = Tree

data DirPatchType wX wY Source #

Constructors

RmDir
AddDir

Instances

Eq2 DirPatchType Source #
Instance details Defined in Darcs.Patch.Prim.V1.Core Methods unsafeCompare :: DirPatchType wA wB -> DirPatchType wC wD -> Bool Source # (=\/=) :: DirPatchType wA wB -> DirPatchType wA wC -> EqCheck wB wC Source # (=/\=) :: DirPatchType wA wC -> DirPatchType wB wC -> EqCheck wA wB Source #
Invert DirPatchType Source #
Instance details Defined in Darcs.Patch.Prim.V1.Core Methods invert :: DirPatchType wX wY -> DirPatchType wY wX Source #
Eq (DirPatchType wX wY) Source #
Instance details Defined in Darcs.Patch.Prim.V1.Core Methods (==) :: DirPatchType wX wY -> DirPatchType wX wY -> Bool # (/=) :: DirPatchType wX wY -> DirPatchType wX wY -> Bool #
Ord (DirPatchType wX wY) Source #
Instance details Defined in Darcs.Patch.Prim.V1.Core Methods compare :: DirPatchType wX wY -> DirPatchType wX wY -> Ordering # (<) :: DirPatchType wX wY -> DirPatchType wX wY -> Bool # (<=) :: DirPatchType wX wY -> DirPatchType wX wY -> Bool # (>) :: DirPatchType wX wY -> DirPatchType wX wY -> Bool # (>=) :: DirPatchType wX wY -> DirPatchType wX wY -> Bool # max :: DirPatchType wX wY -> DirPatchType wX wY -> DirPatchType wX wY # min :: DirPatchType wX wY -> DirPatchType wX wY -> DirPatchType wX wY #
Show (DirPatchType wX wY) Source #
Instance details Defined in Darcs.Patch.Prim.V1.Show Methods showsPrec :: Int -> DirPatchType wX wY -> ShowS # show :: DirPatchType wX wY -> String # showList :: [DirPatchType wX wY] -> ShowS #

data FilePatchType wX wY Source #

Constructors

RmFile
AddFile
Hunk !Int [ByteString] [ByteString]
TokReplace !String !String !String
Binary ByteString ByteString

Instances

Eq2 FilePatchType Source #
Instance details Defined in Darcs.Patch.Prim.V1.Core Methods unsafeCompare :: FilePatchType wA wB -> FilePatchType wC wD -> Bool Source # (=\/=) :: FilePatchType wA wB -> FilePatchType wA wC -> EqCheck wB wC Source # (=/\=) :: FilePatchType wA wC -> FilePatchType wB wC -> EqCheck wA wB Source #
Invert FilePatchType Source #
Instance details Defined in Darcs.Patch.Prim.V1.Core Methods invert :: FilePatchType wX wY -> FilePatchType wY wX Source #
Eq (FilePatchType wX wY) Source #
Instance details Defined in Darcs.Patch.Prim.V1.Core Methods (==) :: FilePatchType wX wY -> FilePatchType wX wY -> Bool # (/=) :: FilePatchType wX wY -> FilePatchType wX wY -> Bool #
Ord (FilePatchType wX wY) Source #
Instance details Defined in Darcs.Patch.Prim.V1.Core Methods compare :: FilePatchType wX wY -> FilePatchType wX wY -> Ordering # (<) :: FilePatchType wX wY -> FilePatchType wX wY -> Bool # (<=) :: FilePatchType wX wY -> FilePatchType wX wY -> Bool # (>) :: FilePatchType wX wY -> FilePatchType wX wY -> Bool # (>=) :: FilePatchType wX wY -> FilePatchType wX wY -> Bool # max :: FilePatchType wX wY -> FilePatchType wX wY -> FilePatchType wX wY # min :: FilePatchType wX wY -> FilePatchType wX wY -> FilePatchType wX wY #
Show (FilePatchType wX wY) Source #
Instance details Defined in Darcs.Patch.Prim.V1.Show Methods showsPrec :: Int -> FilePatchType wX wY -> ShowS # show :: FilePatchType wX wY -> String # showList :: [FilePatchType wX wY] -> ShowS #

isIdentity :: Prim wX wY -> EqCheck wX wY Source #

comparePrim :: Prim wX wY -> Prim wW wZ -> Ordering Source #

comparePrim p1 p2 is used to provide an arbitrary ordering between p1 and p2. Basically, identical patches are equal and Move < DP < FP < ChangePref. Everything else is compared in dictionary order of its arguments.