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

Safe HaskellNone
LanguageHaskell2010

Darcs.Patch.Named

Synopsis

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
PatchListFormat (Named p) # 
Instance details

Defined in Darcs.Patch.Named

(Commute p, Eq2 p) => Eq2 (Named p) # 
Instance details

Defined in Darcs.Patch.Named

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 #

Show2 p => Show2 (Named p) # 
Instance details

Defined in Darcs.Patch.Named

Methods

showDict2 :: ShowDict (Named p wX wY) #

Invert p => Invert (Named p) # 
Instance details

Defined in Darcs.Patch.Named

Methods

invert :: Named p wX wY -> Named p wY wX #

PatchInspect p => PatchInspect (Named p) # 
Instance details

Defined in Darcs.Patch.Named

Methods

listTouchedFiles :: Named p wX wY -> [FilePath] #

hunkMatches :: (ByteString -> Bool) -> Named p wX wY -> Bool #

PatchDebug p => PatchDebug (Named p) # 
Instance details

Defined in Darcs.Patch.Named

Methods

patchDebugDummy :: Named p wX wY -> () #

Commute p => Commute (Named p) # 
Instance details

Defined in Darcs.Patch.Named

Methods

commute :: (Named p :> Named p) wX wY -> Maybe ((Named p :> Named p) wX wY) #

Merge p => Merge (Named p) # 
Instance details

Defined in Darcs.Patch.Named

Methods

merge :: (Named p :\/: Named p) wX wY -> (Named p :/\: Named p) wX wY #

(ReadPatch p, PatchListFormat p) => ReadPatch (Named p) # 
Instance details

Defined in Darcs.Patch.Named

Methods

readPatch' :: ParserM m => m (Sealed (Named p wX)) #

Apply p => Apply (Named p) # 
Instance details

Defined in Darcs.Patch.Named

Associated Types

type ApplyState (Named p) :: (* -> *) -> * #

Methods

apply :: ApplyMonad (ApplyState (Named p)) m => Named p wX wY -> m () #

(CommuteNoConflicts p, Conflict p, PatchListFormat p, PrimPatchBase p, ShowPatch p) => ShowPatch (Named p) # 
Instance details

Defined in Darcs.Patch.Named

Methods

showNicely :: Named p wX wY -> 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 #

(Apply p, IsHunk p, PatchListFormat p, ShowContextPatch p) => ShowContextPatch (Named p) # 
Instance details

Defined in Darcs.Patch.Named

Methods

showContextPatch :: ApplyMonad (ApplyState (Named p)) m => ShowPatchFor -> Named p wX wY -> m Doc #

(PatchListFormat p, ShowPatchBasic p) => ShowPatchBasic (Named p) # 
Instance details

Defined in Darcs.Patch.Named

Methods

showPatch :: ShowPatchFor -> Named p wX wY -> Doc #

IsHunk (Named p) # 
Instance details

Defined in Darcs.Patch.Named

Methods

isHunk :: Named p wX wY -> Maybe (FileHunk wX wY) #

RepairToFL p => Repair (Named p) # 
Instance details

Defined in Darcs.Patch.Named

Methods

applyAndTryToFix :: ApplyMonad (ApplyState (Named p)) m => Named p wX wY -> m (Maybe (String, Named p wX wY)) #

Check p => Check (Named p) # 
Instance details

Defined in Darcs.Patch.Named

Methods

isInconsistent :: Named p wX wY -> Maybe Doc #

PrimPatchBase p => PrimPatchBase (Named p) # 
Instance details

Defined in Darcs.Patch.Named

Associated Types

type PrimOf (Named p) :: * -> * -> * #

Effect p => Effect (Named p) # 
Instance details

Defined in Darcs.Patch.Named

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) # 
Instance details

Defined in Darcs.Patch.Named

Methods

resolveConflicts :: Named p wX wY -> [[Sealed (FL (PrimOf (Named p)) wY)]] #

conflictedEffect :: Named p wX wY -> [IsConflictedPrim (PrimOf (Named p))] #

Annotate p => Annotate (Named p) # 
Instance details

Defined in Darcs.Patch.Annotate

Methods

annotate :: Named p wX wY -> AnnotatedM () #

Show2 p => Show1 (Named p wX) # 
Instance details

Defined in Darcs.Patch.Named

Methods

showDict1 :: ShowDict (Named p wX wX0) #

Show2 p => Show (Named p wX wY) # 
Instance details

Defined in Darcs.Patch.Named

Methods

showsPrec :: Int -> Named p wX wY -> ShowS #

show :: Named p wX wY -> String #

showList :: [Named p wX wY] -> ShowS #

type ApplyState (Named p) # 
Instance details

Defined in Darcs.Patch.Named

type PrimOf (Named p) # 
Instance details

Defined in Darcs.Patch.Named

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] #

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 #

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