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

Safe HaskellNone
LanguageHaskell2010

Darcs.Patch.Prim.V1.Core

Synopsis

Documentation

data Prim wX wY where #

Constructors

Move :: !FileName -> !FileName -> Prim wX wY 
DP :: !FileName -> !(DirPatchType wX wY) -> Prim wX wY 
FP :: !FileName -> !(FilePatchType wX wY) -> Prim wX wY 
ChangePref :: !String -> !String -> !String -> Prim wX wY 
Instances
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) #

Invert Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Core

Methods

invert :: Prim wX wY -> Prim wY wX #

PatchInspect Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Core

Methods

listTouchedFiles :: Prim wX wY -> [FilePath] #

hunkMatches :: (ByteString -> Bool) -> Prim wX wY -> Bool #

PatchDebug Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Core

Methods

patchDebugDummy :: Prim wX wY -> () #

Commute Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Commute

Methods

commute :: (Prim :> Prim) wX wY -> Maybe ((Prim :> Prim) wX wY) #

Apply Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Apply

Associated Types

type ApplyState Prim :: (* -> *) -> * #

Methods

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

IsHunk Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Core

Methods

isHunk :: Prim wX wY -> Maybe (FileHunk wX wY) #

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)) #

PrimApply Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Apply

Methods

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

PrimRead Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Read

Methods

readPrim :: ParserM m => FileNameFormat -> m (Sealed (Prim wX)) #

ApplyState Prim ~ Tree => PrimShow Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Show

PrimDetails Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Details

Methods

summarizePrim :: Prim wX wY -> [SummDetail] #

PrimCanonize Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Coalesce

Methods

tryToShrink :: FL Prim wX wY -> FL Prim wX wY #

tryShrinkingInverse :: FL Prim wX wY -> Maybe (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) #

PrimConstruct Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Core

Methods

addfile :: FilePath -> Prim wX wY #

rmfile :: FilePath -> Prim wX wY #

adddir :: FilePath -> Prim wX wY #

rmdir :: FilePath -> Prim wX wY #

move :: FilePath -> FilePath -> Prim wX wY #

changepref :: String -> String -> String -> Prim wX wY #

hunk :: FilePath -> Int -> [ByteString] -> [ByteString] -> Prim wX wY #

tokreplace :: FilePath -> String -> String -> String -> Prim wX wY #

binary :: FilePath -> ByteString -> ByteString -> Prim wX wY #

primFromHunk :: FileHunk wX wY -> Prim wX wY #

anIdentity :: Prim wX wX #

PrimClassify Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Core

Methods

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 FileName #

PrimPatchCommon Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1

Annotate Prim # 
Instance details

Defined in Darcs.Patch.Annotate

Methods

annotate :: Prim wX wY -> AnnotatedM () #

Show1 (Prim wX) # 
Instance details

Defined in Darcs.Patch.Prim.V1.Show

Methods

showDict1 :: ShowDict (Prim wX wX0) #

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 #

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 #

type ApplyState Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Apply

data DirPatchType wX wY #

Constructors

RmDir 
AddDir 
Instances
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 #

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 #

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 #

data FilePatchType wX wY #

Instances
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 #

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 #

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 #

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

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

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.