Darcs.Patch.Prim.V1.Core

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

Show2 Prim

MyEq Prim

PatchListFormat Prim

PatchInspect Prim

PatchDebug Prim

ReadPatch Prim

Invert Prim

Commute Prim

Apply Prim

RepairToFL Prim

(~) ((* -> *) -> *) (ApplyState Prim) Tree => ShowPatch Prim

ShowPatchBasic Prim

Patchy Prim

IsHunk Prim

PrimApply Prim

PrimRead Prim

PrimShow Prim

PrimDetails Prim

PrimCanonize Prim

PrimConstruct Prim

PrimClassify Prim

FromPrim Prim

PrimPatchBase Prim

PrimPatch Prim

Show1 (Prim wX)

Eq (Prim wX wY)

Show (Prim wX wY)

type ApplyState Prim = Tree

type PrimOf Prim = Prim

data DirPatchType wX wY

Constructors

RmDir

AddDir

Instances

MyEq DirPatchType

Eq (DirPatchType wX wY)

Ord (DirPatchType wX wY)

Show (DirPatchType wX wY)

data FilePatchType wX wY

Constructors

RmFile

AddFile

Hunk !Int [ByteString] [ByteString]

TokReplace !String !String !String

Binary ByteString ByteString

Instances

MyEq FilePatchType

Eq (FilePatchType wX wY)

Ord (FilePatchType wX wY)

Show (FilePatchType wX wY)

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.