Safe Haskell	None
Language	Haskell2010

Darcs.Patch.Prim.FileUUID.Core

Synopsis

Documentation

data Prim wX wY where Source #

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 Source #
Methods unsafeCompare :: Prim wA wB -> Prim wC wD -> Bool Source # (=\/=) :: Prim wA wB -> Prim wA wC -> EqCheck wB wC Source # (=/\=) :: Prim wA wC -> Prim wB wC -> EqCheck wA wB Source #
Show2 Prim Source #
Methods showDict2 :: ShowDict (Prim wX wY) Source #
Invert Prim Source #
Methods invert :: Prim wX wY -> Prim wY wX Source #
PatchInspect Prim Source #
Methods listTouchedFiles :: Prim wX wY -> [FilePath] Source # hunkMatches :: (ByteString -> Bool) -> Prim wX wY -> Bool Source #
IsHunk Prim Source #
Methods isHunk :: Prim wX wY -> Maybe (FileHunk wX wY) Source #
PrimConstruct Prim Source #
Methods addfile :: FilePath -> Prim wX wY Source # rmfile :: FilePath -> Prim wX wY Source # adddir :: FilePath -> Prim wX wY Source # rmdir :: FilePath -> Prim wX wY Source # move :: FilePath -> FilePath -> Prim wX wY Source # changepref :: String -> String -> String -> Prim wX wY Source # hunk :: FilePath -> Int -> [ByteString] -> [ByteString] -> Prim wX wY Source # tokreplace :: FilePath -> String -> String -> String -> Prim wX wY Source # binary :: FilePath -> ByteString -> ByteString -> Prim wX wY Source # primFromHunk :: FileHunk wX wY -> Prim wX wY Source # anIdentity :: Prim wX wX Source #
PrimClassify Prim Source #
Methods primIsAddfile :: Prim wX wY -> Bool Source # primIsRmfile :: Prim wX wY -> Bool Source # primIsAdddir :: Prim wX wY -> Bool Source # primIsRmdir :: Prim wX wY -> Bool Source # primIsMove :: Prim wX wY -> Bool Source # primIsHunk :: Prim wX wY -> Bool Source # primIsTokReplace :: Prim wX wY -> Bool Source # primIsBinary :: Prim wX wY -> Bool Source # primIsSetpref :: Prim wX wY -> Bool Source # is_filepatch :: Prim wX wY -> Maybe FileName Source #
Annotate Prim Source #
Methods annotate :: Prim wX wY -> AnnotatedM () Source #
Show1 (Prim wX) Source #
Methods showDict1 :: ShowDict (Prim wX wX) Source #
Eq (Prim wX wY) Source #
Methods (==) :: Prim wX wY -> Prim wX wY -> Bool # (/=) :: Prim wX wY -> Prim wX wY -> Bool #
Show (Prim wX wY) Source #
Methods showsPrec :: Int -> Prim wX wY -> ShowS # show :: Prim wX wY -> String # showList :: [Prim wX wY] -> ShowS #
type ApplyState Prim Source #
type ApplyState Prim = ObjectMap
type PrimOf Prim Source #
type PrimOf Prim = Prim

data Hunk wX wY Source #

Constructors

H !Int !FileContent !FileContent

Instances

Eq2 Hunk Source #
Methods unsafeCompare :: Hunk wA wB -> Hunk wC wD -> Bool Source # (=\/=) :: Hunk wA wB -> Hunk wA wC -> EqCheck wB wC Source # (=/\=) :: Hunk wA wC -> Hunk wB wC -> EqCheck wA wB Source #
Show2 Hunk Source #
Methods showDict2 :: ShowDict (Hunk wX wY) Source #
Show1 (Hunk wX) Source #
Methods showDict1 :: ShowDict (Hunk wX wX) Source #
Eq (Hunk wX wY) Source #
Methods (==) :: Hunk wX wY -> Hunk wX wY -> Bool # (/=) :: Hunk wX wY -> Hunk wX wY -> Bool #
Show (Hunk wX wY) Source #
Methods showsPrec :: Int -> Hunk wX wY -> ShowS # show :: Hunk wX wY -> String # showList :: [Hunk wX wY] -> ShowS #

data HunkMove wX wY Source #

Constructors

HM !UUID !Int !UUID !Int !FileContent

Instances

Eq2 HunkMove Source #
Methods unsafeCompare :: HunkMove wA wB -> HunkMove wC wD -> Bool Source # (=\/=) :: HunkMove wA wB -> HunkMove wA wC -> EqCheck wB wC Source # (=/\=) :: HunkMove wA wC -> HunkMove wB wC -> EqCheck wA wB Source #
Eq (HunkMove wX wY) Source #
Methods (==) :: HunkMove wX wY -> HunkMove wX wY -> Bool # (/=) :: HunkMove wX wY -> HunkMove wX wY -> Bool #
Show (HunkMove wX wY) Source #
Methods showsPrec :: Int -> HunkMove wX wY -> ShowS # show :: HunkMove wX wY -> String # showList :: [HunkMove wX wY] -> ShowS #

data Object (m :: * -> *) Source #

Constructors

Directory DirContent
Blob (m FileContent) !Hash

newtype UUID Source #

Constructors

UUID ByteString

Instances

Eq UUID Source #
Methods (==) :: UUID -> UUID -> Bool # (/=) :: UUID -> UUID -> Bool #
Ord UUID Source #
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 Source #
Methods showsPrec :: Int -> UUID -> ShowS # show :: UUID -> String # showList :: [UUID] -> ShowS #

data Location Source #

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

Constructors

L !UUID !Name

Instances

Eq Location Source #
Methods (==) :: Location -> Location -> Bool # (/=) :: Location -> Location -> Bool #
Show Location Source #
Methods showsPrec :: Int -> Location -> ShowS # show :: Location -> String # showList :: [Location] -> ShowS #

data Name Source #

Instances

Eq Name Source #
Methods (==) :: Name -> Name -> Bool # (/=) :: Name -> Name -> Bool #
Ord Name Source #
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 Source #
Methods showsPrec :: Int -> Name -> ShowS # show :: Name -> String # showList :: [Name] -> ShowS #

type FileContent = ByteString Source #