darcs-2.18.2: a distributed, interactive, smart revision control system

Safe Haskell | None
Language | Haskell2010

Darcs.Patch.Prim.V1.Core

# Documentation

data Prim wX wY where #

Constructors

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

#### Instances

Instances details

Annotate Prim # |
Instance details Defined in Darcs.Patch.Annotate Methods annotate :: Prim wX wY -> AnnotatedM () #
Apply Prim # |

Instance details

Defined in Darcs.Patch.Prim.V1.Apply

Associated Types

type ApplyState Prim |
Instance details Defined in Darcs.Patch.Prim.V1.Apply type ApplyState Prim = Tree

Methods

apply :: ApplyMonad (ApplyState Prim) m => Prim wX wY -> m () #

unapply :: ApplyMonad (ApplyState Prim) m => Prim wX wY -> m () #

Commute Prim # |
Instance details Defined in Darcs.Patch.Prim.V1.Commute Methods commute :: (Prim :> Prim) wX wY -> Maybe ((Prim :> Prim) wX wY) #
PatchDebug Prim # |
Instance details Defined in Darcs.Patch.Prim.V1.Core Methods patchDebugDummy :: Prim wX wY -> () #
ObjectIdOf (ApplyState Prim) ~ AnchoredPath => IsHunk Prim # |
Instance details Defined in Darcs.Patch.Prim.V1.Core Methods isHunk :: Prim wX wY -> Maybe (FileHunk (ObjectIdOfPatch Prim) wX wY) #
PatchInspect Prim # |
Instance details Defined in Darcs.Patch.Prim.V1.Core Methods listTouchedFiles :: Prim wX wY -> [AnchoredPath] # hunkMatches :: (ByteString -> Bool) -> Prim wX wY -> Bool #
Invert Prim # |
Instance details Defined in Darcs.Patch.Prim.V1.Core Methods invert :: Prim wX wY -> Prim wY wX #
CleanMerge Prim # |
Instance details Defined in Darcs.Patch.Prim.V1.Commute Methods cleanMerge :: (Prim :\/: Prim) wX wY -> Maybe ((Prim :/\: Prim) wX wY) #
PrimApply Prim # |
Instance details Defined in Darcs.Patch.Prim.V1.Apply Methods applyPrimFL :: ApplyMonad (ApplyState Prim) m => FL Prim wX wY -> m () #
PrimCoalesce Prim # |
Instance details Defined in Darcs.Patch.Prim.V1.Coalesce Methods tryToShrink :: FL Prim wX wY -> Maybe (FL Prim wX wY) # sortCoalesceFL :: FL Prim wX wY -> FL Prim wX wY # primCoalesce :: Prim wX wY -> Prim wY wZ -> Maybe (Prim wX wZ) # isIdentity :: Prim wX wY -> EqCheck wX wY # comparePrim :: Prim wA wB -> Prim wC wD -> Ordering #
ObjectIdOf (ApplyState Prim) ~ AnchoredPath => PrimConstruct Prim # |

Instance details

Defined in Darcs.Patch.Prim.V1.Core

Methods

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 (ObjectIdOfPatch Prim) wX wY -> Prim wX wY #

PrimDetails Prim # |
Instance details Defined in Darcs.Patch.Prim.V1.Details Methods summarizePrim :: Prim wX wY -> [SummDetail] #
PrimMangleUnravelled Prim # |
Instance details Defined in Darcs.Patch.Prim.V1.Mangle Methods mangleUnravelled :: Unravelled Prim wX -> Maybe (Mangled Prim wX) #
PrimRead Prim # |
Instance details Defined in Darcs.Patch.Prim.V1.Read Methods readPrim :: FileNameFormat -> Parser (Sealed (Prim wX)) #
(Apply Prim, ApplyState Prim ~ Tree, ObjectIdOfPatch Prim ~ AnchoredPath) => PrimShow Prim # |
Instance details Defined in Darcs.Patch.Prim.V1.Show Methods showPrim :: FileNameFormat -> Prim wA wB -> Doc # showPrimWithContextAndApply :: ApplyMonad (ApplyState Prim) m => FileNameFormat -> Prim wA wB -> m Doc #
PrimSift Prim # |
Instance details Defined in Darcs.Patch.Prim.V1.Core Methods primIsSiftable :: Prim wX wY -> Bool #
RepairToFL Prim # |
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)) #
Eq2 Prim # |
Instance details Defined in Darcs.Patch.Prim.V1.Core Methods 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 #
Show2 Prim # |
Instance details Defined in Darcs.Patch.Prim.V1.Show Methods showDict2 :: ShowDict (Prim wX wY) #
Show1 (Prim wX) # |
Instance details Defined in Darcs.Patch.Prim.V1.Show Methods showDict1 :: Dict (Show (Prim wX wX0)) #
Show (Prim wX wY) # |
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 #
Eq (Prim wX wY) # |
Instance details Defined in Darcs.Patch.Prim.V1.Core Methods (==) :: Prim wX wY -> Prim wX wY -> Bool # (/=) :: Prim wX wY -> Prim wX wY -> Bool #
type ApplyState Prim # |
Instance details Defined in Darcs.Patch.Prim.V1.Apply type ApplyState Prim = Tree

data DirPatchType wX wY #

Constructors

RmDir |
AddDir |

#### Instances

Instances details

Invert DirPatchType # |
Instance details Defined in Darcs.Patch.Prim.V1.Core Methods invert :: DirPatchType wX wY -> DirPatchType wY wX #
Eq2 DirPatchType # |
Instance details Defined in Darcs.Patch.Prim.V1.Core Methods unsafeCompare :: DirPatchType wA wB -> DirPatchType wC wD -> Bool # (=\/=) :: DirPatchType wA wB -> DirPatchType wA wC -> EqCheck wB wC # (=/\=) :: DirPatchType wA wC -> DirPatchType wB wC -> EqCheck wA wB #
Show (DirPatchType wX wY) # |
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 #
Eq (DirPatchType wX wY) # |
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) # |

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 #

data FilePatchType wX wY #

Constructors

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

#### Instances

Instances details

Invert FilePatchType # |
Instance details Defined in Darcs.Patch.Prim.V1.Core Methods invert :: FilePatchType wX wY -> FilePatchType wY wX #
Eq2 FilePatchType # |
Instance details Defined in Darcs.Patch.Prim.V1.Core Methods unsafeCompare :: FilePatchType wA wB -> FilePatchType wC wD -> Bool # (=\/=) :: FilePatchType wA wB -> FilePatchType wA wC -> EqCheck wB wC # (=/\=) :: FilePatchType wA wC -> FilePatchType wB wC -> EqCheck wA wB #
Show (FilePatchType wX wY) # |
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 #
Eq (FilePatchType wX wY) # |
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) # |

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 #