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

Darcs.Patch.Prim.V1

Documentation

data Prim wX wY #

Instances

Instances details
Annotate Prim # 
Instance details

Defined in Darcs.Patch.Annotate

Methods

annotate :: Prim wX wY -> AnnotatedM () #

Apply Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Apply

Associated Types

type ApplyState Prim 
Instance details

Defined in Darcs.Patch.Prim.V1.Apply

Methods

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

unapply :: ApplyMonad (ApplyState Prim) m => Prim wX wY -> m () #

Commute Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Commute

Methods

commute :: (Prim :> Prim) wX wY -> Maybe ((Prim :> Prim) wX wY) #

PatchDebug Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Core

Methods

patchDebugDummy :: Prim wX wY -> () #

ObjectIdOf (ApplyState Prim) ~ AnchoredPath => IsHunk Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Core

Methods

isHunk :: Prim wX wY -> Maybe (FileHunk (ObjectIdOfPatch Prim) wX wY) #

PatchInspect Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Core

Methods

listTouchedFiles :: Prim wX wY -> [AnchoredPath] #

hunkMatches :: (ByteString -> Bool) -> Prim wX wY -> Bool #

Invert Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Core

Methods

invert :: Prim wX wY -> Prim wY wX #

CleanMerge Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Commute

Methods

cleanMerge :: (Prim :\/: Prim) wX wY -> Maybe ((Prim :/\: Prim) wX wY) #

PrimApply Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Apply

Methods

applyPrimFL :: ApplyMonad (ApplyState Prim) m => FL Prim wX wY -> m () #

PrimCoalesce Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Coalesce

Methods

tryToShrink :: FL Prim wX wY -> Maybe (FL Prim wX wY) #

sortCoalesceFL :: FL Prim wX wY -> FL Prim wX wY #

primCoalesce :: Prim wX wY -> Prim wY wZ -> Maybe (Prim wX wZ) #

isIdentity :: Prim wX wY -> EqCheck wX wY #

comparePrim :: Prim wA wB -> Prim wC wD -> Ordering #

ObjectIdOf (ApplyState Prim) ~ AnchoredPath => PrimConstruct Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Core

PrimDetails Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Details

Methods

summarizePrim :: Prim wX wY -> [SummDetail] #

PrimMangleUnravelled Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Mangle

PrimRead Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Read

(Apply Prim, ApplyState Prim ~ Tree, ObjectIdOfPatch Prim ~ AnchoredPath) => PrimShow Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Show

PrimSift Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Core

Methods

primIsSiftable :: Prim wX wY -> Bool #

RepairToFL Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Apply

Methods

applyAndTryToFixFL :: ApplyMonad (ApplyState Prim) m => Prim wX wY -> m (Maybe (String, FL Prim wX wY)) #

Eq2 Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Core

Methods

unsafeCompare :: Prim wA wB -> Prim wC wD -> Bool #

(=\/=) :: Prim wA wB -> Prim wA wC -> EqCheck wB wC #

(=/\=) :: Prim wA wC -> Prim wB wC -> EqCheck wA wB #

Show2 Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Show

Methods

showDict2 :: ShowDict (Prim wX wY) #

Show1 (Prim wX) # 
Instance details

Defined in Darcs.Patch.Prim.V1.Show

Methods

showDict1 :: Dict (Show (Prim wX wX0)) #

Show (Prim wX wY) # 
Instance details

Defined in Darcs.Patch.Prim.V1.Show

Methods

showsPrec :: Int -> Prim wX wY -> ShowS #

show :: Prim wX wY -> String #

showList :: [Prim wX wY] -> ShowS #

Eq (Prim wX wY) # 
Instance details

Defined in Darcs.Patch.Prim.V1.Core

Methods

(==) :: Prim wX wY -> Prim wX wY -> Bool #

(/=) :: Prim wX wY -> Prim wX wY -> Bool #

type ApplyState Prim # 
Instance details

Defined in Darcs.Patch.Prim.V1.Apply