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

Safe HaskellNone
LanguageHaskell2010

Darcs.Patch.V1.Prim

Documentation

newtype Prim x y Source #

Constructors

Prim 

Fields

Instances

PatchListFormat Prim Source # 
Eq2 Prim Source # 

Methods

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

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

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

Show2 Prim Source # 

Methods

showDict2 :: ShowDict (Prim wX wY) Source #

Invert Prim Source # 

Methods

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

PatchInspect Prim Source # 

Methods

listTouchedFiles :: Prim wX wY -> [FilePath] Source #

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

Commute Prim Source # 

Methods

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

ReadPatch Prim Source # 

Methods

readPatch' :: ParserM m => m (Sealed (Prim wX)) Source #

Apply Prim Source # 

Associated Types

type ApplyState (Prim :: * -> * -> *) :: (* -> *) -> * Source #

Methods

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

ShowPatch Prim Source # 

Methods

showNicely :: Prim wX wY -> Doc Source #

description :: Prim wX wY -> Doc Source #

summary :: Prim wX wY -> Doc Source #

summaryFL :: FL Prim wX wY -> Doc Source #

thing :: Prim wX wY -> String Source #

things :: Prim wX wY -> String Source #

ShowContextPatch Prim Source # 
ShowPatchBasic Prim Source # 

Methods

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

IsHunk Prim Source # 

Methods

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

RepairToFL Prim Source # 

Methods

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

PrimApply Prim Source # 

Methods

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

PrimDetails Prim Source # 

Methods

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

PrimCanonize Prim Source # 

Methods

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

tryShrinkingInverse :: FL Prim wX wY -> Maybe (FL Prim wX wY) Source #

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

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

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

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

PrimConstruct Prim Source # 
PrimClassify Prim Source # 
ToFromPrim Prim Source # 

Methods

toPrim :: Prim wX wY -> Maybe (PrimOf Prim wX wY) Source #

FromPrim Prim Source # 

Methods

fromPrim :: PrimOf Prim wX wY -> Prim wX wY Source #

PrimPatchBase Prim Source # 

Associated Types

type PrimOf (Prim :: * -> * -> *) :: * -> * -> * Source #

PrimPatch Prim Source # 
PrimPatchCommon Prim Source # 
Annotate Prim Source # 

Methods

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

IsPrimV1 Prim Source # 

Methods

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

Show1 (Prim wX) Source # 

Methods

showDict1 :: ShowDict (Prim wX wX) Source #

Show (Prim wX wY) Source # 

Methods

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

show :: Prim wX wY -> String #

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

type ApplyState Prim Source # 
type PrimOf Prim Source #