Safe Haskell	None
Language	Haskell2010

Darcs.Patch.Rebase.Name

Synopsis

Documentation

data RebaseName (p :: * -> * -> *) wX wY where Source #

A RebaseName encapsulates the concept of the name of a patch, without any contents. This allows us to track explicit dependencies in the rebase state, changing them to follow uses of amend-record or unsuspend on a depended-on patch, and warning the user if any are lost entirely.

Constructors

AddName :: PatchInfo -> RebaseName p wX wY
DelName :: PatchInfo -> RebaseName p wX wY
Rename :: PatchInfo -> PatchInfo -> RebaseName p wX wY

Instances

Eq2 (RebaseName p) Source #
Methods unsafeCompare :: RebaseName p wA wB -> RebaseName p wC wD -> Bool Source # (=\/=) :: RebaseName p wA wB -> RebaseName p wA wC -> EqCheck wB wC Source # (=/\=) :: RebaseName p wA wC -> RebaseName p wB wC -> EqCheck wA wB Source #
Show2 (RebaseName p) Source #
Methods showDict2 :: ShowDict (RebaseName p wX wY) Source #
Invert (RebaseName p) Source #
Methods invert :: RebaseName p wX wY -> RebaseName p wY wX Source #
PatchInspect (RebaseName p) Source #
Methods listTouchedFiles :: RebaseName p wX wY -> [FilePath] Source # hunkMatches :: (ByteString -> Bool) -> RebaseName p wX wY -> Bool Source #
Commute (RebaseName p) Source #
Methods commute :: (RebaseName p :> RebaseName p) wX wY -> Maybe ((RebaseName p :> RebaseName p) wX wY) Source #
ReadPatch (RebaseName p) Source #
Methods readPatch' :: ParserM m => m (Sealed (RebaseName p wX)) Source #
Apply (RebaseName p) Source #
Associated Types type ApplyState (RebaseName p :: * -> * -> ) :: ( -> ) -> Source # Methods apply :: ApplyMonad (ApplyState (RebaseName p)) m => RebaseName p wX wY -> m () Source #
ShowPatch (RebaseName p) Source #
Methods showNicely :: RebaseName p wX wY -> Doc Source # description :: RebaseName p wX wY -> Doc Source # summary :: RebaseName p wX wY -> Doc Source # summaryFL :: FL (RebaseName p) wX wY -> Doc Source # thing :: RebaseName p wX wY -> String Source # things :: RebaseName p wX wY -> String Source #
ShowPatchBasic (RebaseName p) Source #
Methods showPatch :: ShowPatchFor -> RebaseName p wX wY -> Doc Source #
PrimPatchBase p => PrimPatchBase (RebaseName p) Source #
Associated Types type PrimOf (RebaseName p :: * -> * -> ) :: -> * -> * Source #
Effect (RebaseName p) Source #
Methods effect :: RebaseName p wX wY -> FL (PrimOf (RebaseName p)) wX wY Source # effectRL :: RebaseName p wX wY -> RL (PrimOf (RebaseName p)) wX wY Source #
Show1 (RebaseName p wX) Source #
Methods showDict1 :: ShowDict (RebaseName p wX wX) Source #
Show (RebaseName p wX wY) Source #
Methods showsPrec :: Int -> RebaseName p wX wY -> ShowS # show :: RebaseName p wX wY -> String # showList :: [RebaseName p wX wY] -> ShowS #
type ApplyState (RebaseName p) Source #
type ApplyState (RebaseName p) = ApplyState p
type PrimOf (RebaseName p) Source #
type PrimOf (RebaseName p) = PrimOf p

commuteNamePrim :: (RebaseName p :> PrimOf p) wX wY -> (PrimOf p :> RebaseName p) wX wY Source #

Commute a name patch and a primitive patch. They trivially commute so this just involves changing the witnesses.

commutePrimName :: (PrimOf p :> RebaseName p) wX wY -> (RebaseName p :> PrimOf p) wX wY Source #

Commute a primitive patch and a name patch. They trivially commute so this just involves changing the witnesses.

commuteNameNamed :: Invert p => CommuteFn (RebaseName p) (Named p) Source #

Commute a name patch and a named patch. In most cases this is trivial but we do need to check explicit dependencies.

commuteNamedName :: Invert p => CommuteFn (Named p) (RebaseName p) Source #

Commute a named patch and a name patch. In most cases this is trivial but we do need to check explicit dependencies.

canonizeNamePair :: (RebaseName p :> RebaseName p) wX wY -> FL (RebaseName p) wX wY Source #