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

Safe Haskell | None
Language | Haskell2010

Darcs.Patch.Named

Synopsis

- data Named p wX wY where
  - NamedP :: !PatchInfo -> ![PatchInfo] -> !(FL p wX wY) -> Named p wX wY
- infopatch :: PatchInfo -> FL p wX wY -> Named p wX wY
- adddeps :: Named p wX wY -> [PatchInfo] -> Named p wX wY
- namepatch :: String -> String -> String -> [String] -> FL p wX wY -> IO (Named p wX wY)
- anonymous :: FL p wX wY -> IO (Named p wX wY)
- getdeps :: Named p wX wY -> [PatchInfo]
- patch2patchinfo :: Named p wX wY -> PatchInfo
- patchname :: Named p wX wY -> String
- patchcontents :: Named p wX wY -> FL p wX wY
- fmapNamed :: (forall wA wB. p wA wB -> q wA wB) -> Named p wX wY -> Named q wX wY
- fmapFL_Named :: (FL p wA wB -> FL q wC wD) -> Named p wA wB -> Named q wC wD
- commuterIdNamed :: CommuteFn p1 p2 -> CommuteFn p1 (Named p2)
- commuterNamedId :: CommuteFn p1 p2 -> CommuteFn (Named p1) p2
- mergerIdNamed :: MergeFn p1 p2 -> MergeFn p1 (Named p2)

# Documentation

data Named p wX wY where #

The `Named` type adds a patch info about a patch, that is a name.

`NamedP info deps p` represents patch `p` with name `info`. `deps` is a list of dependencies added at the named patch level, compared with the unnamed level (ie, dependencies added with `darcs record --ask-deps`).

Constructors

NamedP :: !PatchInfo -> ![PatchInfo] -> !(FL p wX wY) -> Named p wX wY |

Instances

Show2 p => Show2 (Named p) # |
Methods showDict2 :: ShowDict (Named p wX wY) #
(Commute p, MyEq p) => MyEq (Named p) # |
Methods unsafeCompare :: Named p wA wB -> Named p wC wD -> Bool # (=\/=) :: Named p wA wB -> Named p wA wC -> EqCheck wB wC # (=/\=) :: Named p wA wC -> Named p wB wC -> EqCheck wA wB #
PatchListFormat (Named p) # |
Methods patchListFormat :: ListFormat (Named p) #
Commute p => Commute (Named p) # |
Methods commute :: (Named p :> Named p) wX wY -> Maybe ((Named p :> Named p) wX wY) #
PatchDebug p => PatchDebug (Named p) # |
Methods patchDebugDummy :: Named p wX wY -> () #
PatchInspect p => PatchInspect (Named p) # |
Methods listTouchedFiles :: Named p wX wY -> [FilePath] # hunkMatches :: (ByteString -> Bool) -> Named p wX wY -> Bool #
Invert p => Invert (Named p) # |
Methods invert :: Named p wX wY -> Named p wY wX #
Merge p => Merge (Named p) # |
Methods merge :: (Named p :\/: Named p) wX wY -> (Named p :/\: Named p) wX wY #
(ReadPatch p, PatchListFormat p) => ReadPatch (Named p) # |
Methods readPatch' :: ParserM m => m (Sealed (Named p wX)) #
Apply p => Apply (Named p) # |
Associated Types type ApplyState (Named p :: * -> * -> *) :: (* -> *) -> * # Methods apply :: ApplyMonad (ApplyState (Named p)) m => Named p wX wY -> m () #
RepairToFL p => Repair (Named p) # |
Methods applyAndTryToFix :: ApplyMonad (ApplyState (Named p)) m => Named p wX wY -> m (Maybe (String, Named p wX wY)) #
Check p => Check (Named p) # |
Methods isInconsistent :: Named p wX wY -> Maybe Doc #
(Apply p, CommuteNoConflicts p, Conflict p, IsHunk p, PatchListFormat p, PrimPatchBase p, ShowPatch p) => ShowPatch (Named p) # |
Methods showNicely :: Named p wX wY -> Doc # showContextPatch :: (Monad m, ApplyMonad (ApplyState (Named p)) m) => Named p wX wY -> m Doc # description :: Named p wX wY -> Doc # summary :: Named p wX wY -> Doc # summaryFL :: FL (Named p) wX wY -> Doc # thing :: Named p wX wY -> String # things :: Named p wX wY -> String #
(PatchListFormat p, ShowPatchBasic p) => ShowPatchBasic (Named p) # |
Methods showPatch :: Named p wX wY -> Doc #
IsHunk (Named p) # |
Methods isHunk :: Named p wX wY -> Maybe (FileHunk wX wY) #
PrimPatchBase p => PrimPatchBase (Named p) # |
Associated Types type PrimOf (Named p :: * -> * -> *) :: * -> * -> * #
Effect p => Effect (Named p) # |
Methods effect :: Named p wX wY -> FL (PrimOf (Named p)) wX wY # effectRL :: Named p wX wY -> RL (PrimOf (Named p)) wX wY #
(CommuteNoConflicts p, Conflict p) => Conflict (Named p) # |
Methods resolveConflicts :: Named p wX wY -> [[Sealed (FL (PrimOf (Named p)) wY)]] # conflictedEffect :: Named p wX wY -> [IsConflictedPrim (PrimOf (Named p))] #
Show2 p => Show1 (Named p wX) # |
Methods showDict1 :: ShowDict (Named p wX wX) #
Show2 p => Show (Named p wX wY) # |
Methods showsPrec :: Int -> Named p wX wY -> ShowS # show :: Named p wX wY -> String # showList :: [Named p wX wY] -> ShowS #
type ApplyState (Named p) # |
type ApplyState (Named p) = ApplyState p
type PrimOf (Named p) # |
type PrimOf (Named p) = PrimOf p

infopatch :: PatchInfo -> FL p wX wY -> Named p wX wY #

adddeps :: Named p wX wY -> [PatchInfo] -> Named p wX wY #

namepatch :: String -> String -> String -> [String] -> FL p wX wY -> IO (Named p wX wY) #

anonymous :: FL p wX wY -> IO (Named p wX wY) #

getdeps :: Named p wX wY -> [PatchInfo] #

patch2patchinfo :: Named p wX wY -> PatchInfo #

patchname :: Named p wX wY -> String #

patchcontents :: Named p wX wY -> FL p wX wY #

fmapNamed :: (forall wA wB. p wA wB -> q wA wB) -> Named p wX wY -> Named q wX wY #

fmapFL_Named :: (FL p wA wB -> FL q wC wD) -> Named p wA wB -> Named q wC wD #

commuterIdNamed :: CommuteFn p1 p2 -> CommuteFn p1 (Named p2) #

commuterNamedId :: CommuteFn p1 p2 -> CommuteFn (Named p1) p2 #

mergerIdNamed :: MergeFn p1 p2 -> MergeFn p1 (Named p2) #