darcs-2.16.5: a distributed, interactive, smart revision control system
Safe HaskellSafe-Inferred
LanguageHaskell2010

Darcs.Patch.V2.Prim

Documentation

newtype Prim x y #

Constructors

Prim 

Fields

Instances

Instances details
Annotate Prim # 
Instance details

Defined in Darcs.Patch.V2.Prim

Methods

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

Apply Prim # 
Instance details

Defined in Darcs.Patch.V2.Prim

Associated Types

type ApplyState Prim :: (Type -> Type) -> Type #

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.V2.Prim

Methods

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

IsHunk Prim # 
Instance details

Defined in Darcs.Patch.V2.Prim

Methods

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

PatchListFormat Prim # 
Instance details

Defined in Darcs.Patch.V2.Prim

PatchInspect Prim # 
Instance details

Defined in Darcs.Patch.V2.Prim

Methods

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

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

Invert Prim # 
Instance details

Defined in Darcs.Patch.V2.Prim

Methods

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

CleanMerge Prim # 
Instance details

Defined in Darcs.Patch.V2.Prim

Methods

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

PrimApply Prim # 
Instance details

Defined in Darcs.Patch.V2.Prim

Methods

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

PrimCanonize Prim # 
Instance details

Defined in Darcs.Patch.V2.Prim

Methods

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

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

canonize :: DiffAlgorithm -> Prim wX wY -> FL Prim wX wY #

canonizeFL :: DiffAlgorithm -> FL Prim wX wY -> FL Prim wX wY #

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

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

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

PrimClassify Prim # 
Instance details

Defined in Darcs.Patch.V2.Prim

Methods

primIsAddfile :: Prim wX wY -> Bool #

primIsRmfile :: Prim wX wY -> Bool #

primIsAdddir :: Prim wX wY -> Bool #

primIsRmdir :: Prim wX wY -> Bool #

primIsMove :: Prim wX wY -> Bool #

primIsHunk :: Prim wX wY -> Bool #

primIsTokReplace :: Prim wX wY -> Bool #

primIsBinary :: Prim wX wY -> Bool #

primIsSetpref :: Prim wX wY -> Bool #

is_filepatch :: Prim wX wY -> Maybe AnchoredPath #

PrimConstruct Prim # 
Instance details

Defined in Darcs.Patch.V2.Prim

Methods

addfile :: AnchoredPath -> Prim wX wY #

rmfile :: AnchoredPath -> Prim wX wY #

adddir :: AnchoredPath -> Prim wX wY #

rmdir :: AnchoredPath -> Prim wX wY #

move :: AnchoredPath -> AnchoredPath -> Prim wX wY #

changepref :: String -> String -> String -> Prim wX wY #

hunk :: AnchoredPath -> Int -> [ByteString] -> [ByteString] -> Prim wX wY #

tokreplace :: AnchoredPath -> String -> String -> String -> Prim wX wY #

binary :: AnchoredPath -> ByteString -> ByteString -> Prim wX wY #

primFromHunk :: FileHunk wX wY -> Prim wX wY #

PrimDetails Prim # 
Instance details

Defined in Darcs.Patch.V2.Prim

Methods

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

PrimMangleUnravelled Prim # 
Instance details

Defined in Darcs.Patch.V2.Prim

PrimSift Prim # 
Instance details

Defined in Darcs.Patch.V2.Prim

Methods

siftForPending :: FL Prim wX wY -> Sealed (FL Prim wX) #

ReadPatch Prim # 
Instance details

Defined in Darcs.Patch.V2.Prim

Methods

readPatch' :: Parser (Sealed (Prim wX)) #

RepairToFL Prim # 
Instance details

Defined in Darcs.Patch.V2.Prim

Methods

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

ShowContextPatch Prim # 
Instance details

Defined in Darcs.Patch.V2.Prim

ShowPatch Prim # 
Instance details

Defined in Darcs.Patch.V2.Prim

Methods

content :: Prim wX wY -> Doc #

description :: Prim wX wY -> Doc #

summary :: Prim wX wY -> Doc #

summaryFL :: FL Prim wX wY -> Doc #

thing :: Prim wX wY -> String #

things :: Prim wX wY -> String #

ShowPatchBasic Prim # 
Instance details

Defined in Darcs.Patch.V2.Prim

Methods

showPatch :: ShowPatchFor -> Prim wX wY -> Doc #

Eq2 Prim # 
Instance details

Defined in Darcs.Patch.V2.Prim

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.V2.Prim

Methods

showDict2 :: ShowDict (Prim wX wY) #

IsPrimV1 Prim # 
Instance details

Defined in Darcs.Repository.Job

Methods

toPrimV1 :: Prim wX wY -> Prim0 wX wY #

Show1 (Prim wX) # 
Instance details

Defined in Darcs.Patch.V2.Prim

Methods

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

Show (Prim x y) # 
Instance details

Defined in Darcs.Patch.V2.Prim

Methods

showsPrec :: Int -> Prim x y -> ShowS #

show :: Prim x y -> String #

showList :: [Prim x y] -> ShowS #

type ApplyState Prim # 
Instance details

Defined in Darcs.Patch.V2.Prim