Darcs.Patch.Rebase.Name

Documentation

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

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)

Methods

unsafeCompare :: RebaseName p wA wB -> RebaseName p wC wD -> Bool

(=\/=) :: RebaseName p wA wB -> RebaseName p wA wC -> EqCheck wB wC

(=/\=) :: RebaseName p wA wC -> RebaseName p wB wC -> EqCheck wA wB

Show2 (RebaseName p)

Methods

showDict2 :: ShowDict (RebaseName p wX wY)

Invert (RebaseName p)

Methods

invert :: RebaseName p wX wY -> RebaseName p wY wX

PatchInspect (RebaseName p)

Methods

listTouchedFiles :: RebaseName p wX wY -> [FilePath]

hunkMatches :: (ByteString -> Bool) -> RebaseName p wX wY -> Bool

Commute (RebaseName p)

Methods

commute :: (RebaseName p :> RebaseName p) wX wY -> Maybe ((RebaseName p :> RebaseName p) wX wY)

ReadPatch (RebaseName p)

Methods

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

Apply (RebaseName p)

Associated Types

type ApplyState (RebaseName p :: * -> * -> *) :: (* -> *) -> *

Methods

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

ShowPatch (RebaseName p)

Methods

showNicely :: RebaseName p wX wY -> Doc

description :: RebaseName p wX wY -> Doc

summary :: RebaseName p wX wY -> Doc

summaryFL :: FL (RebaseName p) wX wY -> Doc

thing :: RebaseName p wX wY -> String

things :: RebaseName p wX wY -> String

ShowPatchBasic (RebaseName p)

Methods

showPatch :: ShowPatchFor -> RebaseName p wX wY -> Doc

PrimPatchBase p => PrimPatchBase (RebaseName p)

Associated Types

type PrimOf (RebaseName p :: * -> * -> *) :: * -> * -> *

Effect (RebaseName p)

Methods

effect :: RebaseName p wX wY -> FL (PrimOf (RebaseName p)) wX wY

effectRL :: RebaseName p wX wY -> RL (PrimOf (RebaseName p)) wX wY

Show1 (RebaseName p wX)

Methods

showDict1 :: ShowDict (RebaseName p wX wX)

Show (RebaseName p wX wY)

Methods

showsPrec :: Int -> RebaseName p wX wY -> ShowS

show :: RebaseName p wX wY -> String

showList :: [RebaseName p wX wY] -> ShowS

type ApplyState (RebaseName p)

type ApplyState (RebaseName p) = ApplyState p

type PrimOf (RebaseName p)

type PrimOf (RebaseName p) = PrimOf p

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

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

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)

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)

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