Safe Haskell	Safe-Inferred
Language	Haskell2010

Darcs.Patch.Prim.FileUUID.Core

Synopsis

data Prim wX wY where
- 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
data Hunk wX wY = H !Int !FileContent !FileContent
data HunkMove wX wY = HM !UUID !Int !UUID !Int !FileContent
data Object (m :: * -> *)
- = Directory DirContent
- | Blob (m FileContent) !(Maybe Hash)
newtype UUID = UUID ByteString
data Location = L !UUID !Name
data Name
type FileContent = ByteString

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

Instances details

Annotate Prim Source #
Instance details Defined in Darcs.Patch.Annotate Methods annotate :: Prim wX wY -> AnnotatedM () Source #
Apply Prim Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Apply Associated Types type ApplyState Prim :: (Type -> Type) -> Type Source # Methods apply :: ApplyMonad (ApplyState Prim) m => Prim wX wY -> m () Source # unapply :: ApplyMonad (ApplyState Prim) m => Prim wX wY -> m () Source #
Commute Prim Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Commute Methods commute :: (Prim :> Prim) wX wY -> Maybe ((Prim :> Prim) wX wY) Source #
IsHunk Prim Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Core Methods isHunk :: Prim wX wY -> Maybe (FileHunk (ObjectIdOfPatch Prim) wX wY) Source #
PatchListFormat Prim Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Show Methods patchListFormat :: ListFormat Prim Source #
PatchInspect Prim Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Core Methods listTouchedFiles :: Prim wX wY -> [AnchoredPath] Source # hunkMatches :: (ByteString -> Bool) -> Prim wX wY -> Bool Source #
Invert Prim Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Core Methods invert :: Prim wX wY -> Prim wY wX Source #
CleanMerge Prim Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Commute Methods cleanMerge :: (Prim :\/: Prim) wX wY -> Maybe ((Prim :/\: Prim) wX wY) Source #
PrimApply Prim Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Apply Methods applyPrimFL :: ApplyMonad (ApplyState Prim) m => FL Prim wX wY -> m () Source #
PrimCoalesce Prim Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Coalesce Methods tryToShrink :: FL Prim wX wY -> Maybe (FL Prim wX wY) Source # sortCoalesceFL :: FL Prim wX wY -> FL Prim wX wY Source # primCoalesce :: Prim wX wY -> Prim wY wZ -> Maybe (Prim wX wZ) Source # isIdentity :: Prim wX wY -> EqCheck wX wY Source # comparePrim :: Prim wA wB -> Prim wC wD -> Ordering Source #
PrimConstruct Prim Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Core Methods addfile :: AnchoredPath -> Prim wX wY Source # rmfile :: AnchoredPath -> Prim wX wY Source # adddir :: AnchoredPath -> Prim wX wY Source # rmdir :: AnchoredPath -> Prim wX wY Source # move :: AnchoredPath -> AnchoredPath -> Prim wX wY Source # changepref :: String -> String -> String -> Prim wX wY Source # hunk :: AnchoredPath -> Int -> [ByteString] -> [ByteString] -> Prim wX wY Source # tokreplace :: AnchoredPath -> String -> String -> String -> Prim wX wY Source # binary :: AnchoredPath -> ByteString -> ByteString -> Prim wX wY Source # primFromHunk :: FileHunk (ObjectIdOfPatch Prim) wX wY -> Prim wX wY Source #
PrimDetails Prim Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Details Methods summarizePrim :: Prim wX wY -> [SummDetail] Source #
PrimMangleUnravelled Prim Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID Methods mangleUnravelled :: Unravelled Prim wX -> Maybe (Mangled Prim wX) Source #
PrimRead Prim Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Read Methods readPrim :: FileNameFormat -> Parser (Sealed (Prim wX)) Source #
PrimShow Prim Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Show Methods showPrim :: FileNameFormat -> Prim wA wB -> Doc Source # showPrimWithContextAndApply :: ApplyMonad (ApplyState Prim) m => FileNameFormat -> Prim wA wB -> m Doc Source #
PrimSift Prim Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Coalesce Methods primIsSiftable :: Prim wX wY -> Bool Source #
ReadPatch Prim Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Read Methods readPatch' :: Parser (Sealed (Prim wX)) Source #
RepairToFL Prim Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Apply Methods applyAndTryToFixFL :: ApplyMonad (ApplyState Prim) m => Prim wX wY -> m (Maybe (String, FL Prim wX wY)) Source #
Apply Prim => ShowContextPatch Prim Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Show Methods showPatchWithContextAndApply :: ApplyMonad (ApplyState Prim) m => ShowPatchFor -> Prim wX wY -> m Doc Source #
ShowPatch Prim Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Show Methods content :: Prim wX wY -> Doc Source # description :: Prim wX wY -> Doc Source # summary :: Prim wX wY -> Doc Source # summaryFL :: FL Prim wX wY -> Doc Source # thing :: Prim wX wY -> String Source # things :: Prim wX wY -> String Source #
ShowPatchBasic Prim Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Show Methods showPatch :: ShowPatchFor -> Prim wX wY -> Doc Source #
Eq2 Prim Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Core 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 #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Core Methods showDict2 :: ShowDict (Prim wX wY) Source #
Show1 (Prim wX) Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Core Methods showDict1 :: Dict (Show (Prim wX wX0)) Source #
Show (Prim wX wY) Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Core Methods showsPrec :: Int -> Prim wX wY -> ShowS # show :: Prim wX wY -> String # showList :: [Prim wX wY] -> ShowS #
Eq (Prim wX wY) Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Core Methods (==) :: Prim wX wY -> Prim wX wY -> Bool # (/=) :: Prim wX wY -> Prim wX wY -> Bool #
type ApplyState Prim Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Apply type ApplyState Prim = ObjectMap

data Hunk wX wY Source #

Constructors

H !Int !FileContent !FileContent

Instances

Instances details

Eq2 Hunk Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Core 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 #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Core Methods showDict2 :: ShowDict (Hunk wX wY) Source #
Show1 (Hunk wX) Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Core Methods showDict1 :: Dict (Show (Hunk wX wX0)) Source #
Show (Hunk wX wY) Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Core Methods showsPrec :: Int -> Hunk wX wY -> ShowS # show :: Hunk wX wY -> String # showList :: [Hunk wX wY] -> ShowS #
Eq (Hunk wX wY) Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Core Methods (==) :: Hunk wX wY -> Hunk wX wY -> Bool # (/=) :: Hunk wX wY -> Hunk wX wY -> Bool #

data HunkMove wX wY Source #

Constructors

HM !UUID !Int !UUID !Int !FileContent

Instances

Instances details

Eq2 HunkMove Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Core 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 #
Show (HunkMove wX wY) Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Core Methods showsPrec :: Int -> HunkMove wX wY -> ShowS # show :: HunkMove wX wY -> String # showList :: [HunkMove wX wY] -> ShowS #
Eq (HunkMove wX wY) Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Core Methods (==) :: HunkMove wX wY -> HunkMove wX wY -> Bool # (/=) :: HunkMove wX wY -> HunkMove wX wY -> Bool #

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

Constructors

Directory DirContent
Blob (m FileContent) !(Maybe Hash)

newtype UUID Source #

Constructors

UUID ByteString

Instances

Instances details

Show UUID Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.ObjectMap Methods showsPrec :: Int -> UUID -> ShowS # show :: UUID -> String # showList :: [UUID] -> ShowS #
Eq UUID Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.ObjectMap Methods (==) :: UUID -> UUID -> Bool # (/=) :: UUID -> UUID -> Bool #
Ord UUID Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.ObjectMap 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 #

data Location Source #

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

Constructors

L !UUID !Name

Instances

Instances details

Show Location Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.ObjectMap Methods showsPrec :: Int -> Location -> ShowS # show :: Location -> String # showList :: [Location] -> ShowS #
Eq Location Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.ObjectMap Methods (==) :: Location -> Location -> Bool # (/=) :: Location -> Location -> Bool #

data Name Source #

Instances

Instances details

Show Name Source #
Instance details Defined in Darcs.Util.Path Methods showsPrec :: Int -> Name -> ShowS # show :: Name -> String # showList :: [Name] -> ShowS #
Binary Name Source #
Instance details Defined in Darcs.Util.Path Methods put :: Name -> Put # get :: Get Name # putList :: [Name] -> Put #
Eq Name Source #
Instance details Defined in Darcs.Util.Path Methods (==) :: Name -> Name -> Bool # (/=) :: Name -> Name -> Bool #
Ord Name Source #
Instance details Defined in Darcs.Util.Path 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 #

type FileContent = ByteString Source #