Darcs.Patch.Prim.FileUUID.Core

Documentation

data Prim wX wY where

Constructors

Hunk :: !UUID -> !(Hunk wX wY) -> Prim wX wY

HunkMove :: !(HunkMove wX wY) -> Prim wX wY

Manifest :: !UUID -> !Location -> Prim wX wY

Demanifest :: !UUID -> !Location -> Prim wX wY

Identity :: Prim wX wX

Instances

Eq2 Prim

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

Methods

showDict2 :: ShowDict (Prim wX wY)

Invert Prim

Methods

invert :: Prim wX wY -> Prim wY wX

PatchInspect Prim

Methods

listTouchedFiles :: Prim wX wY -> [FilePath]

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

IsHunk Prim

Methods

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

PrimConstruct Prim

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

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

Annotate Prim

Methods

annotate :: Prim wX wY -> AnnotatedM ()

Show1 (Prim wX)

Methods

showDict1 :: ShowDict (Prim wX wX)

Eq (Prim wX wY)

Methods

(==) :: Prim wX wY -> Prim wX wY -> Bool

(/=) :: Prim wX wY -> Prim wX wY -> Bool

Show (Prim wX wY)

Methods

showsPrec :: Int -> Prim wX wY -> ShowS

show :: Prim wX wY -> String

showList :: [Prim wX wY] -> ShowS

type ApplyState Prim

type ApplyState Prim = ObjectMap

type PrimOf Prim

type PrimOf Prim = Prim

data Hunk wX wY

Constructors

H !Int !FileContent !FileContent

Instances

Eq2 Hunk

Methods

unsafeCompare :: Hunk wA wB -> Hunk wC wD -> Bool

(=\/=) :: Hunk wA wB -> Hunk wA wC -> EqCheck wB wC

(=/\=) :: Hunk wA wC -> Hunk wB wC -> EqCheck wA wB

Show2 Hunk

Methods

showDict2 :: ShowDict (Hunk wX wY)

Show1 (Hunk wX)

Methods

showDict1 :: ShowDict (Hunk wX wX)

Eq (Hunk wX wY)

Methods

(==) :: Hunk wX wY -> Hunk wX wY -> Bool

(/=) :: Hunk wX wY -> Hunk wX wY -> Bool

Show (Hunk wX wY)

Methods

showsPrec :: Int -> Hunk wX wY -> ShowS

show :: Hunk wX wY -> String

showList :: [Hunk wX wY] -> ShowS

data HunkMove wX wY

Constructors

HM !UUID !Int !UUID !Int !FileContent

Instances

Eq2 HunkMove

Methods

unsafeCompare :: HunkMove wA wB -> HunkMove wC wD -> Bool

(=\/=) :: HunkMove wA wB -> HunkMove wA wC -> EqCheck wB wC

(=/\=) :: HunkMove wA wC -> HunkMove wB wC -> EqCheck wA wB

Eq (HunkMove wX wY)

Methods

(==) :: HunkMove wX wY -> HunkMove wX wY -> Bool

(/=) :: HunkMove wX wY -> HunkMove wX wY -> Bool

Show (HunkMove wX wY)

Methods

showsPrec :: Int -> HunkMove wX wY -> ShowS

show :: HunkMove wX wY -> String

showList :: [HunkMove wX wY] -> ShowS

data Object (m :: * -> *)

Constructors

Directory DirContent

Blob (m FileContent) !Hash

newtype UUID

Constructors

UUID ByteString

Instances

Eq UUID

Methods

(==) :: UUID -> UUID -> Bool

(/=) :: UUID -> UUID -> Bool

Ord UUID

Methods

compare :: UUID -> UUID -> Ordering

(<) :: UUID -> UUID -> Bool

(<=) :: UUID -> UUID -> Bool

(>) :: UUID -> UUID -> Bool

(>=) :: UUID -> UUID -> Bool

max :: UUID -> UUID -> UUID

min :: UUID -> UUID -> UUID

Show UUID

Methods

showsPrec :: Int -> UUID -> ShowS

show :: UUID -> String

showList :: [UUID] -> ShowS

data Location

An object is located by giving the UUID of the parent Directory and a Name.

Constructors

L !UUID !Name

Instances

Eq Location

Methods

(==) :: Location -> Location -> Bool

(/=) :: Location -> Location -> Bool

Show Location

Methods

showsPrec :: Int -> Location -> ShowS

show :: Location -> String

showList :: [Location] -> ShowS

data Name

Instances

Eq Name

Methods

(==) :: Name -> Name -> Bool

(/=) :: Name -> Name -> Bool

Ord Name

Methods

compare :: Name -> Name -> Ordering

(<) :: Name -> Name -> Bool

(<=) :: Name -> Name -> Bool

(>) :: Name -> Name -> Bool

(>=) :: Name -> Name -> Bool

max :: Name -> Name -> Name

min :: Name -> Name -> Name

Show Name

Methods

showsPrec :: Int -> Name -> ShowS

show :: Name -> String

showList :: [Name] -> ShowS

type FileContent = ByteString