darcs-2.16.3: a distributed, interactive, smart revision control system

Safe HaskellNone
LanguageHaskell2010

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 # 
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 #

PatchListFormat Prim Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Show

Show2 Prim Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Core

Methods

showDict2 :: ShowDict (Prim wX wY) Source #

Invert Prim Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Core

Methods

invert :: Prim wX wY -> Prim wY wX 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 #

CleanMerge Prim Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Commute

Methods

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

PatchInspect Prim Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Core

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 #

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 #

ShowContextPatch Prim Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Show

ShowPatchBasic Prim Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Show

Methods

showPatch :: ShowPatchFor -> Prim wX wY -> Doc Source #

IsHunk Prim Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Core

Methods

isHunk :: Prim wX wY -> Maybe (FileHunk wX wY) 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 #

PrimMangleUnravelled Prim Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID

PrimApply Prim Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Apply

Methods

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

PrimRead Prim Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Read

PrimShow Prim Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Show

PrimDetails Prim Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Details

Methods

summarizePrim :: Prim wX wY -> [SummDetail] Source #

PrimSift Prim Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Coalesce

Methods

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

PrimCanonize Prim Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Coalesce

Methods

tryToShrink :: FL Prim wX wY -> FL Prim wX wY Source #

sortCoalesceFL :: FL Prim wX wY -> FL Prim wX wY Source #

canonize :: DiffAlgorithm -> Prim wX wY -> FL Prim wX wY Source #

canonizeFL :: DiffAlgorithm -> FL Prim wX wY -> FL Prim wX wY Source #

coalesce :: (Prim :> Prim) wX wY -> Maybe (FL Prim wX wY) Source #

primCoalesce :: Prim wX wY -> Prim wY wZ -> Maybe (Prim wX wZ) Source #

primDecoalesce :: Prim wX wZ -> Prim wX wY -> Maybe (Prim wY wZ) Source #

PrimConstruct Prim Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Core

PrimClassify Prim Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Core

Annotate Prim Source # 
Instance details

Defined in Darcs.Patch.Annotate

Methods

annotate :: Prim wX wY -> AnnotatedM () Source #

Show1 (Prim wX) Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Core

Methods

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

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 #

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 #

type ApplyState Prim Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Apply

data Hunk wX wY Source #

Constructors

H !Int !FileContent !FileContent 
Instances
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 #

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 #

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 #

data HunkMove wX wY Source #

Constructors

HM !UUID !Int !UUID !Int !FileContent 
Instances
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 #

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 #

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 #

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

newtype UUID Source #

Constructors

UUID ByteString 
Instances
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 #

Show UUID Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.ObjectMap

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 # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.ObjectMap

Show Location Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.ObjectMap

data Name Source #

Instances
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 #

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 #