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

Annotate p => Annotate (PrimWithName name p)

Defined in Darcs.Patch.Prim.WithName

Methods

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

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 ()

(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)

IsHunk p => IsHunk (PrimWithName name p)

Defined in Darcs.Patch.Prim.WithName

Methods

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

PatchListFormat (PrimWithName name p)

Defined in Darcs.Patch.Prim.WithName

Methods

patchListFormat :: ListFormat (PrimWithName name p)

SignedId name => Ident (PrimWithName name p)

Defined in Darcs.Patch.Prim.WithName

Methods

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

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

(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, 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)

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]

(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))

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

Defined in Darcs.Patch.Prim.WithName

Methods

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

(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, ShowPatchBasic p) => ShowPatchBasic (PrimWithName name p)

Defined in Darcs.Patch.Prim.WithName

Methods

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

(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

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

Defined in Darcs.Patch.Prim.WithName

Methods

showDict2 :: ShowDict (PrimWithName name p wX wY)

(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