Safe Haskell	None
Language	Haskell2010

Darcs.Patch.Prim.WithName

Description

Generic wrapper for prim patches to give them an identity.

Synopsis

data PrimWithName name p wX wY = PrimWithName {
- wnName :: !name
- wnPatch :: !(p wX wY)
}

Documentation

data PrimWithName name p wX wY Source #

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) Source #
Instance details Defined in Darcs.Patch.Prim.WithName Methods unsafeCompare :: PrimWithName name p wA wB -> PrimWithName name p wC wD -> Bool Source # (=\/=) :: PrimWithName name p wA wB -> PrimWithName name p wA wC -> EqCheck wB wC Source # (=/\=) :: PrimWithName name p wA wC -> PrimWithName name p wB wC -> EqCheck wA wB Source #
PatchListFormat (PrimWithName name p) Source #
Instance details Defined in Darcs.Patch.Prim.WithName Methods patchListFormat :: ListFormat (PrimWithName name p) Source #
(Show2 p, Show name) => Show2 (PrimWithName name p) Source #
Instance details Defined in Darcs.Patch.Prim.WithName Methods showDict2 :: ShowDict (PrimWithName name p wX wY) Source #
(Invert p, SignedId name) => Invert (PrimWithName name p) Source #
Instance details Defined in Darcs.Patch.Prim.WithName Methods invert :: PrimWithName name p wX wY -> PrimWithName name p wY wX Source #
(SignedId name, Commute p) => Commute (PrimWithName name p) Source #
Instance details 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) Source #
(SignedId name, CleanMerge p) => CleanMerge (PrimWithName name p) Source #
Instance details 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) Source #
PatchInspect p => PatchInspect (PrimWithName name p) Source #
Instance details Defined in Darcs.Patch.Prim.WithName Methods listTouchedFiles :: PrimWithName name p wX wY -> [AnchoredPath] Source # hunkMatches :: (ByteString -> Bool) -> PrimWithName name p wX wY -> Bool Source #
Apply p => Apply (PrimWithName name p) Source #
Instance details Defined in Darcs.Patch.Prim.WithName Associated Types type ApplyState (PrimWithName name p) :: (Type -> Type) -> Type Source # Methods apply :: ApplyMonad (ApplyState (PrimWithName name p)) m => PrimWithName name p wX wY -> m () Source # unapply :: ApplyMonad (ApplyState (PrimWithName name p)) m => PrimWithName name p wX wY -> m () Source #
(StorableId name, PrimDetails p, ShowPatchBasic p) => ShowPatch (PrimWithName name p) Source #
Instance details Defined in Darcs.Patch.Prim.WithName Methods content :: PrimWithName name p wX wY -> Doc Source # description :: PrimWithName name p wX wY -> Doc Source # summary :: PrimWithName name p wX wY -> Doc Source # summaryFL :: FL (PrimWithName name p) wX wY -> Doc Source # thing :: PrimWithName name p wX wY -> String Source # things :: PrimWithName name p wX wY -> String Source #
(StorableId name, ShowContextPatch p) => ShowContextPatch (PrimWithName name p) Source #
Instance details Defined in Darcs.Patch.Prim.WithName Methods showContextPatch :: ApplyMonad (ApplyState (PrimWithName name p)) m => ShowPatchFor -> PrimWithName name p wX wY -> m Doc Source #
(StorableId name, ShowPatchBasic p) => ShowPatchBasic (PrimWithName name p) Source #
Instance details Defined in Darcs.Patch.Prim.WithName Methods showPatch :: ShowPatchFor -> PrimWithName name p wX wY -> Doc Source #
(SignedId name, Eq2 p) => IdEq2 (PrimWithName name p) Source #
Instance details Defined in Darcs.Patch.Prim.WithName Methods (=\^/=) :: PrimWithName name p wA wB -> PrimWithName name p wA wC -> EqCheck wB wC Source # (=/^\=) :: PrimWithName name p wA wC -> PrimWithName name p wB wC -> EqCheck wA wB Source #
SignedId name => Ident (PrimWithName name p) Source #
Instance details Defined in Darcs.Patch.Prim.WithName Methods ident :: PrimWithName name p wX wY -> PatchId (PrimWithName name p) Source #
IsHunk p => IsHunk (PrimWithName name p) Source #
Instance details Defined in Darcs.Patch.Prim.WithName Methods isHunk :: PrimWithName name p wX wY -> Maybe (FileHunk wX wY) Source #
(StorableId name, ReadPatch p) => ReadPatch (PrimWithName name p) Source #
Instance details Defined in Darcs.Patch.Prim.WithName Methods readPatch' :: Parser (Sealed (PrimWithName name p wX)) Source #
Apply p => RepairToFL (PrimWithName name p) Source #
Instance details 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)) Source #
PrimApply p => PrimApply (PrimWithName name p) Source #
Instance details Defined in Darcs.Patch.Prim.WithName Methods applyPrimFL :: ApplyMonad (ApplyState (PrimWithName name p)) m => FL (PrimWithName name p) wX wY -> m () Source #
PrimDetails p => PrimDetails (PrimWithName name p) Source #
Instance details Defined in Darcs.Patch.Prim.WithName Methods summarizePrim :: PrimWithName name p wX wY -> [SummDetail] Source #
PrimClassify p => PrimClassify (PrimWithName name p) Source #
Instance details Defined in Darcs.Patch.Prim.WithName Methods primIsAddfile :: PrimWithName name p wX wY -> Bool Source # primIsRmfile :: PrimWithName name p wX wY -> Bool Source # primIsAdddir :: PrimWithName name p wX wY -> Bool Source # primIsRmdir :: PrimWithName name p wX wY -> Bool Source # primIsMove :: PrimWithName name p wX wY -> Bool Source # primIsHunk :: PrimWithName name p wX wY -> Bool Source # primIsTokReplace :: PrimWithName name p wX wY -> Bool Source # primIsBinary :: PrimWithName name p wX wY -> Bool Source # primIsSetpref :: PrimWithName name p wX wY -> Bool Source # is_filepatch :: PrimWithName name p wX wY -> Maybe AnchoredPath Source #
Annotate p => Annotate (PrimWithName name p) Source #
Instance details Defined in Darcs.Patch.Prim.WithName Methods annotate :: PrimWithName name p wX wY -> AnnotatedM () Source #
(Show2 p, Show name) => Show1 (PrimWithName name p wX) Source #
Instance details Defined in Darcs.Patch.Prim.WithName Methods showDict1 :: Dict (Show (PrimWithName name p wX wX0)) Source #
(Show2 p, Show name) => Show (PrimWithName name p wX wY) Source #
Instance details 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) Source #
Instance details Defined in Darcs.Patch.Prim.Named type PatchId (NamedPrim p) = PrimPatchId
type ApplyState (PrimWithName name p) Source #
Instance details Defined in Darcs.Patch.Prim.WithName type ApplyState (PrimWithName name p) = ApplyState p
type PatchId (PrimWithName name p) Source #
Instance details Defined in Darcs.Patch.Prim.WithName type PatchId (PrimWithName name p) = name