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

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 :: Type -> Type -> Type) wX wY = PrimWithName {
  - wnName :: !name
  - wnPatch :: !(p wX wY)
  }

# Documentation

data PrimWithName name (p :: Type -> Type -> Type) 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

Instances details

Annotate p => Annotate (PrimWithName name p) # |
Instance details Defined in Darcs.Patch.Prim.WithName Methods annotate :: PrimWithName name p wX wY -> AnnotatedM () #
Apply p => Apply (PrimWithName name p) # |
Instance details Defined in Darcs.Patch.Prim.WithName Associated Types
type ApplyState (PrimWithName name p) |
Instance details Defined in Darcs.Patch.Prim.WithName type ApplyState (PrimWithName name p) = ApplyState p
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) # |
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) #
IsHunk p => IsHunk (PrimWithName name p) # |
Instance details 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) # |
Instance details Defined in Darcs.Patch.Prim.WithName Methods patchListFormat :: ListFormat (PrimWithName name p) #
SignedId name => Ident (PrimWithName name p) # |
Instance details Defined in Darcs.Patch.Prim.WithName Methods ident :: PrimWithName name p wX wY -> PatchId (PrimWithName name p) #
PatchInspect p => PatchInspect (PrimWithName name p) # |
Instance details 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) # |
Instance details 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) # |
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) #
PrimApply p => PrimApply (PrimWithName name p) # |
Instance details 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) # |
Instance details Defined in Darcs.Patch.Prim.WithName Methods summarizePrim :: PrimWithName name p wX wY -> [SummDetail] #
(StorableId name, ReadPatch p) => ReadPatch (PrimWithName name p) # |
Instance details Defined in Darcs.Patch.Prim.WithName Methods readPatch' :: Parser (Sealed (PrimWithName name p wX)) #
Apply p => RepairToFL (PrimWithName name p) # |
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)) #
(StorableId name, ShowContextPatch p) => ShowContextPatch (PrimWithName name p) # |
Instance details 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) # |
Instance details 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) # |
Instance details Defined in Darcs.Patch.Prim.WithName Methods showPatch :: ShowPatchFor -> PrimWithName name p wX wY -> Doc #
(Eq name, Eq2 p) => Eq2 (PrimWithName name p) # |
Instance details 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) # |
Instance details Defined in Darcs.Patch.Prim.WithName Methods showDict2 :: ShowDict (PrimWithName name p wX wY) #
(Show2 p, Show name) => Show1 (PrimWithName name p wX) # |
Instance details 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) # |
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) # |
Instance details Defined in Darcs.Patch.Prim.Named type PatchId (NamedPrim p) = PrimPatchId
type ApplyState (PrimWithName name p) # |
Instance details Defined in Darcs.Patch.Prim.WithName type ApplyState (PrimWithName name p) = ApplyState p
type PatchId (PrimWithName name p) # |
Instance details Defined in Darcs.Patch.Prim.WithName type PatchId (PrimWithName name p) = name