Darcs.Patch.Prim.WithName

Generic wrapper for prim patches to give them an identity.

Documentation

data PrimWithName name p wX wY

A PrimWithName is a general way of associating an identity with an underlying (presumably unnamed) primitive type. This is required, for example, for V3 patches. Normally the members of the name type will be generated in some way when a patch is initially created, to guarantee global unqiueness across all repositories.

Constructors

PrimWithName

Fields

• wnName :: !name
• wnPatch :: !(p wX wY)

Instances

(Eq name, Eq2 p) => Eq2 (PrimWithName name p)

Defined in Darcs.Patch.Prim.WithName

Methods

unsafeCompare :: PrimWithName name p wA wB -> PrimWithName name p wC wD -> Bool

(=\/=) :: PrimWithName name p wA wB -> PrimWithName name p wA wC -> EqCheck wB wC

(=/\=) :: PrimWithName name p wA wC -> PrimWithName name p wB wC -> EqCheck wA wB

PatchListFormat (PrimWithName name p)

Defined in Darcs.Patch.Prim.WithName

Methods

patchListFormat :: ListFormat (PrimWithName name p)

(Show2 p, Show name) => Show2 (PrimWithName name p)

Defined in Darcs.Patch.Prim.WithName

Methods

showDict2 :: ShowDict (PrimWithName name p wX wY)

(Invert p, SignedId name) => Invert (PrimWithName name p)

Defined in Darcs.Patch.Prim.WithName

Methods

invert :: PrimWithName name p wX wY -> PrimWithName name p wY wX

(SignedId name, Commute p) => Commute (PrimWithName name p)

Defined in Darcs.Patch.Prim.WithName

Methods

commute :: (PrimWithName name p :> PrimWithName name p) wX wY -> Maybe ((PrimWithName name p :> PrimWithName name p) wX wY)

(SignedId name, CleanMerge p) => CleanMerge (PrimWithName name p)

Defined in Darcs.Patch.Prim.WithName

Methods

cleanMerge :: (PrimWithName name p :\/: PrimWithName name p) wX wY -> Maybe ((PrimWithName name p :/\: PrimWithName name p) wX wY)

PatchInspect p => PatchInspect (PrimWithName name p)

Defined in Darcs.Patch.Prim.WithName

Methods

listTouchedFiles :: PrimWithName name p wX wY -> [AnchoredPath]

hunkMatches :: (ByteString -> Bool) -> PrimWithName name p wX wY -> Bool

Apply p => Apply (PrimWithName name p)

Defined in Darcs.Patch.Prim.WithName

Associated Types

type ApplyState (PrimWithName name p) :: (Type -> Type) -> Type

Methods

apply :: ApplyMonad (ApplyState (PrimWithName name p)) m => PrimWithName name p wX wY -> m ()

unapply :: ApplyMonad (ApplyState (PrimWithName name p)) m => PrimWithName name p wX wY -> m ()

(StorableId name, PrimDetails p, ShowPatchBasic p) => ShowPatch (PrimWithName name p)

Defined in Darcs.Patch.Prim.WithName

Methods

content :: PrimWithName name p wX wY -> Doc

description :: PrimWithName name p wX wY -> Doc

summary :: PrimWithName name p wX wY -> Doc

summaryFL :: FL (PrimWithName name p) wX wY -> Doc

thing :: PrimWithName name p wX wY -> String

things :: PrimWithName name p wX wY -> String

(StorableId name, ShowContextPatch p) => ShowContextPatch (PrimWithName name p)

Defined in Darcs.Patch.Prim.WithName

Methods

showContextPatch :: ApplyMonad (ApplyState (PrimWithName name p)) m => ShowPatchFor -> PrimWithName name p wX wY -> m Doc

(StorableId name, ShowPatchBasic p) => ShowPatchBasic (PrimWithName name p)

Defined in Darcs.Patch.Prim.WithName

Methods

showPatch :: ShowPatchFor -> PrimWithName name p wX wY -> Doc

(SignedId name, Eq2 p) => IdEq2 (PrimWithName name p)

Defined in Darcs.Patch.Prim.WithName

Methods

(=\^/=) :: PrimWithName name p wA wB -> PrimWithName name p wA wC -> EqCheck wB wC

(=/^\=) :: PrimWithName name p wA wC -> PrimWithName name p wB wC -> EqCheck wA wB

SignedId name => Ident (PrimWithName name p)

Defined in Darcs.Patch.Prim.WithName

Methods

ident :: PrimWithName name p wX wY -> PatchId (PrimWithName name p)

IsHunk p => IsHunk (PrimWithName name p)

Defined in Darcs.Patch.Prim.WithName

Methods

isHunk :: PrimWithName name p wX wY -> Maybe (FileHunk wX wY)

(StorableId name, ReadPatch p) => ReadPatch (PrimWithName name p)

Defined in Darcs.Patch.Prim.WithName

Methods

readPatch' :: Parser (Sealed (PrimWithName name p wX))

Apply p => RepairToFL (PrimWithName name p)

Defined in Darcs.Patch.Prim.WithName

Methods

applyAndTryToFixFL :: ApplyMonad (ApplyState (PrimWithName name p)) m => PrimWithName name p wX wY -> m (Maybe (String, FL (PrimWithName name p) wX wY))

PrimApply p => PrimApply (PrimWithName name p)

Defined in Darcs.Patch.Prim.WithName

Methods

applyPrimFL :: ApplyMonad (ApplyState (PrimWithName name p)) m => FL (PrimWithName name p) wX wY -> m ()

PrimDetails p => PrimDetails (PrimWithName name p)

Defined in Darcs.Patch.Prim.WithName

Methods

summarizePrim :: PrimWithName name p wX wY -> [SummDetail]

PrimClassify p => PrimClassify (PrimWithName name p)

Defined in Darcs.Patch.Prim.WithName

Methods

primIsAddfile :: PrimWithName name p wX wY -> Bool

primIsRmfile :: PrimWithName name p wX wY -> Bool

primIsAdddir :: PrimWithName name p wX wY -> Bool

primIsRmdir :: PrimWithName name p wX wY -> Bool

primIsMove :: PrimWithName name p wX wY -> Bool

primIsHunk :: PrimWithName name p wX wY -> Bool

primIsTokReplace :: PrimWithName name p wX wY -> Bool

primIsBinary :: PrimWithName name p wX wY -> Bool

primIsSetpref :: PrimWithName name p wX wY -> Bool

is_filepatch :: PrimWithName name p wX wY -> Maybe AnchoredPath

Annotate p => Annotate (PrimWithName name p)

Defined in Darcs.Patch.Prim.WithName

Methods

annotate :: PrimWithName name p wX wY -> AnnotatedM ()

(Show2 p, Show name) => Show1 (PrimWithName name p wX)

Defined in Darcs.Patch.Prim.WithName

Methods

showDict1 :: Dict (Show (PrimWithName name p wX wX0))

(Show2 p, Show name) => Show (PrimWithName name p wX wY)

Defined in Darcs.Patch.Prim.WithName

Methods

showsPrec :: Int -> PrimWithName name p wX wY -> ShowS

show :: PrimWithName name p wX wY -> String

showList :: [PrimWithName name p wX wY] -> ShowS

type PatchId (NamedPrim p)

Defined in Darcs.Patch.Prim.Named

type PatchId (NamedPrim p) = PrimPatchId

type ApplyState (PrimWithName name p)

Defined in Darcs.Patch.Prim.WithName

type ApplyState (PrimWithName name p) = ApplyState p

type PatchId (PrimWithName name p)

Defined in Darcs.Patch.Prim.WithName

type PatchId (PrimWithName name p) = name