Darcs.Patch.Prim.V1.Core

Documentation

data Prim wX wY where

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

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

Defined in Darcs.Patch.Prim.V1.Show

Methods

showDict2 :: ShowDict (Prim wX wY)

Invert Prim

Defined in Darcs.Patch.Prim.V1.Core

Methods

invert :: Prim wX wY -> Prim wY wX

PatchDebug Prim

Defined in Darcs.Patch.Prim.V1.Core

Methods

patchDebugDummy :: Prim wX wY -> ()

Commute Prim

Defined in Darcs.Patch.Prim.V1.Commute

Methods

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

CleanMerge Prim

Defined in Darcs.Patch.Prim.V1.Commute

Methods

cleanMerge :: (Prim :\/: Prim) wX wY -> Maybe ((Prim :/\: Prim) wX wY)

PatchInspect Prim

Defined in Darcs.Patch.Prim.V1.Core

Methods

listTouchedFiles :: Prim wX wY -> [AnchoredPath]

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

Apply Prim

Defined in Darcs.Patch.Prim.V1.Apply

Associated Types

type ApplyState Prim :: (Type -> Type) -> Type

Methods

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

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

IsHunk Prim

Defined in Darcs.Patch.Prim.V1.Core

Methods

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

RepairToFL Prim

Defined in Darcs.Patch.Prim.V1.Apply

Methods

applyAndTryToFixFL :: ApplyMonad (ApplyState Prim) m => Prim wX wY -> m (Maybe (String, FL Prim wX wY))

PrimMangleUnravelled Prim

Defined in Darcs.Patch.Prim.V1.Mangle

Methods

mangleUnravelled :: Unravelled Prim wX -> Maybe (Mangled Prim wX)

PrimApply Prim

Defined in Darcs.Patch.Prim.V1.Apply

Methods

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

PrimRead Prim

Defined in Darcs.Patch.Prim.V1.Read

Methods

readPrim :: FileNameFormat -> Parser (Sealed (Prim wX))

ApplyState Prim ~ Tree => PrimShow Prim

Defined in Darcs.Patch.Prim.V1.Show

Methods

showPrim :: FileNameFormat -> Prim wA wB -> Doc

showPrimCtx :: ApplyMonad (ApplyState Prim) m => FileNameFormat -> Prim wA wB -> m Doc

PrimDetails Prim

Defined in Darcs.Patch.Prim.V1.Details

Methods

summarizePrim :: Prim wX wY -> [SummDetail]

PrimSift Prim

Defined in Darcs.Patch.Prim.V1

Methods

siftForPending :: FL Prim wX wY -> Sealed (FL Prim wX)

PrimCanonize Prim

Defined in Darcs.Patch.Prim.V1.Coalesce

Methods

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)

PrimConstruct Prim

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 wX wY -> Prim wX wY

PrimClassify Prim

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 AnchoredPath

Annotate Prim

Defined in Darcs.Patch.Annotate

Methods

annotate :: Prim wX wY -> AnnotatedM ()

Show1 (Prim wX)

Defined in Darcs.Patch.Prim.V1.Show

Methods

showDict1 :: Dict (Show (Prim wX wX0))

Eq (Prim wX wY)

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)

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

Defined in Darcs.Patch.Prim.V1.Apply

type ApplyState Prim = Tree

data DirPatchType wX wY

Constructors

RmDir

AddDir

Instances

Eq2 DirPatchType

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

Invert DirPatchType

Defined in Darcs.Patch.Prim.V1.Core

Methods

invert :: DirPatchType wX wY -> DirPatchType wY wX

Eq (DirPatchType wX wY)

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)

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)

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

Constructors

RmFile

AddFile

Hunk !Int [ByteString] [ByteString]

TokReplace !String !String !String

Binary ByteString ByteString

Instances

Eq2 FilePatchType

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

Invert FilePatchType

Defined in Darcs.Patch.Prim.V1.Core

Methods

invert :: FilePatchType wX wY -> FilePatchType wY wX

Eq (FilePatchType wX wY)

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)

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)

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.