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

Safe HaskellNone
LanguageHaskell2010

Darcs.Patch.V1.Core

Synopsis

Documentation

data RepoPatchV1 prim wX wY where Source #

The format of a merger is Merger undos unwindings conflicting original.

undos = the effect of the merger

unwindings = TODO: eh?

conflicting = the patch we conflict with

original = the patch we really are

Constructors

PP :: prim wX wY -> RepoPatchV1 prim wX wY 
Merger :: FL (RepoPatchV1 prim) wX wY -> RL (RepoPatchV1 prim) wX wB -> RepoPatchV1 prim wC wB -> RepoPatchV1 prim wC wD -> RepoPatchV1 prim wX wY 
Regrem :: FL (RepoPatchV1 prim) wX wY -> RL (RepoPatchV1 prim) wX wB -> RepoPatchV1 prim wC wB -> RepoPatchV1 prim wC wA -> RepoPatchV1 prim wY wX 

Instances

PatchListFormat (RepoPatchV1 prim) Source # 
Show2 prim => Show2 (RepoPatchV1 prim) Source # 

Methods

showDict2 :: ShowDict (RepoPatchV1 prim wX wY) Source #

PatchDebug prim => PatchDebug (RepoPatchV1 prim) Source # 

Methods

patchDebugDummy :: RepoPatchV1 prim wX wY -> () Source #

Check (RepoPatchV1 prim) Source # 

Methods

isInconsistent :: RepoPatchV1 prim wX wY -> Maybe Doc Source #

FromPrim (RepoPatchV1 prim) Source # 

Methods

fromPrim :: PrimOf (RepoPatchV1 prim) wX wY -> RepoPatchV1 prim wX wY Source #

PrimPatch prim => PrimPatchBase (RepoPatchV1 prim) Source # 

Associated Types

type PrimOf (RepoPatchV1 prim :: * -> * -> *) :: * -> * -> * Source #

Show2 prim => Show1 (RepoPatchV1 prim wX) Source # 

Methods

showDict1 :: ShowDict (RepoPatchV1 prim wX wX) Source #

Show2 prim => Show (RepoPatchV1 prim wX wY) Source # 

Methods

showsPrec :: Int -> RepoPatchV1 prim wX wY -> ShowS #

show :: RepoPatchV1 prim wX wY -> String #

showList :: [RepoPatchV1 prim wX wY] -> ShowS #

type ApplyState (RepoPatchV1 prim) Source # 
type ApplyState (RepoPatchV1 prim) = ApplyState prim
type PrimOf (RepoPatchV1 prim) Source # 
type PrimOf (RepoPatchV1 prim) = prim

isMerger :: RepoPatchV1 prim wA wB -> Bool Source #

mergerUndo :: RepoPatchV1 prim wX wY -> FL (RepoPatchV1 prim) wX wY Source #