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

Darcs.Patch.Summary

Synopsis

Documentation

plainSummary :: (Summary e, PrimDetails (PrimOf e)) => e wX wY -> Doc #

plainSummaryFL :: forall (e :: Type -> Type -> Type) wX wY. (Summary e, PrimDetails (PrimOf e)) => FL e wX wY -> Doc #

plainSummaryPrim :: PrimDetails prim => prim wX wY -> Doc #

plainSummaryPrims :: forall (prim :: Type -> Type -> Type) wX wY. PrimDetails prim => Bool -> FL prim wX wY -> Doc #

xmlSummary :: (Summary p, PrimDetails (PrimOf p)) => p wX wY -> Doc #

class Summary (p :: Type -> Type -> Type) where #

Methods

conflictedEffect :: p wX wY -> [IsConflictedPrim (PrimOf p)] #

Instances

Instances details
Summary p => Summary (Named p) # 
Instance details

Defined in Darcs.Patch.Named

Methods

conflictedEffect :: Named p wX wY -> [IsConflictedPrim (PrimOf (Named p))] #

Commute prim => Summary (RebaseChange prim) # 
Instance details

Defined in Darcs.Patch.Rebase.Change

PrimPatch prim => Summary (RepoPatchV1 prim) # 
Instance details

Defined in Darcs.Patch.V1.Commute

Summary (RepoPatchV2 prim) # 
Instance details

Defined in Darcs.Patch.V2.RepoPatch

Summary p => Summary (FL p) # 
Instance details

Defined in Darcs.Patch.Summary

Methods

conflictedEffect :: FL p wX wY -> [IsConflictedPrim (PrimOf (FL p))] #

Summary (RepoPatchV3 name prim) # 
Instance details

Defined in Darcs.Patch.V3.Core

Methods

conflictedEffect :: RepoPatchV3 name prim wX wY -> [IsConflictedPrim (PrimOf (RepoPatchV3 name prim))] #

data IsConflictedPrim (prim :: Type -> Type -> Type) where #

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.

Constructors

IsC :: forall (prim :: Type -> Type -> Type) wX wY. !ConflictState -> !(prim wX wY) -> IsConflictedPrim prim 

Instances

Instances details
Show2 prim => Show (IsConflictedPrim prim) # 
Instance details

Defined in Darcs.Patch.Summary