Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- plainSummary :: (Summary e, PrimDetails (PrimOf e)) => e wX wY -> Doc
- plainSummaryFL :: (Summary e, PrimDetails (PrimOf e)) => FL e wX wY -> Doc
- plainSummaryPrim :: PrimDetails prim => prim wX wY -> Doc
- plainSummaryPrims :: PrimDetails prim => Bool -> FL prim wX wY -> Doc
- xmlSummary :: (Summary p, PrimDetails (PrimOf p)) => p wX wY -> Doc
- class Summary p where
- conflictedEffect :: p wX wY -> [IsConflictedPrim (PrimOf p)]
- data ConflictState
- = Okay
- | Conflicted
- | Duplicated
- data IsConflictedPrim prim where
- IsC :: !ConflictState -> !(prim wX wY) -> IsConflictedPrim prim
- listConflictedFiles :: (Summary p, PatchInspect (PrimOf p)) => p wX wY -> [AnchoredPath]
Documentation
plainSummary :: (Summary e, PrimDetails (PrimOf e)) => e wX wY -> Doc Source #
plainSummaryFL :: (Summary e, PrimDetails (PrimOf e)) => FL e wX wY -> Doc Source #
plainSummaryPrim :: PrimDetails prim => prim wX wY -> Doc Source #
plainSummaryPrims :: PrimDetails prim => Bool -> FL prim wX wY -> Doc Source #
xmlSummary :: (Summary p, PrimDetails (PrimOf p)) => p wX wY -> Doc Source #
class Summary p where Source #
conflictedEffect :: p wX wY -> [IsConflictedPrim (PrimOf p)] Source #
Instances
data ConflictState Source #
Instances
Read ConflictState Source # | |
Defined in Darcs.Patch.Summary readsPrec :: Int -> ReadS ConflictState # readList :: ReadS [ConflictState] # | |
Show ConflictState Source # | |
Defined in Darcs.Patch.Summary showsPrec :: Int -> ConflictState -> ShowS # show :: ConflictState -> String # showList :: [ConflictState] -> ShowS # | |
Eq ConflictState Source # | |
Defined in Darcs.Patch.Summary (==) :: ConflictState -> ConflictState -> Bool # (/=) :: ConflictState -> ConflictState -> Bool # | |
Ord ConflictState Source # | |
Defined in Darcs.Patch.Summary compare :: ConflictState -> ConflictState -> Ordering # (<) :: ConflictState -> ConflictState -> Bool # (<=) :: ConflictState -> ConflictState -> Bool # (>) :: ConflictState -> ConflictState -> Bool # (>=) :: ConflictState -> ConflictState -> Bool # max :: ConflictState -> ConflictState -> ConflictState # min :: ConflictState -> ConflictState -> ConflictState # |
data IsConflictedPrim prim where Source #
This type tags a patch with a ConflictState
and also hides the context
witnesses (as in Sealed2
), so we can put them in a list.
IsC :: !ConflictState -> !(prim wX wY) -> IsConflictedPrim prim |
Instances
Show2 prim => Show (IsConflictedPrim prim) Source # | |
Defined in Darcs.Patch.Summary showsPrec :: Int -> IsConflictedPrim prim -> ShowS # show :: IsConflictedPrim prim -> String # showList :: [IsConflictedPrim prim] -> ShowS # |
listConflictedFiles :: (Summary p, PatchInspect (PrimOf p)) => p wX wY -> [AnchoredPath] Source #