Darcs.Patch.V1

Documentation

data RepoPatchV1 prim wX wY

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

Instances

Show2 prim => Show2 (RepoPatchV1 prim)

Methods

showDict2 :: ShowDict (RepoPatchV1 prim wX wY)

PatchListFormat (RepoPatchV1 prim)

Methods

patchListFormat :: ListFormat (RepoPatchV1 prim)

PatchDebug prim => PatchDebug (RepoPatchV1 prim)

Methods

patchDebugDummy :: RepoPatchV1 prim wX wY -> ()

Check (RepoPatchV1 prim)

Methods

isInconsistent :: RepoPatchV1 prim wX wY -> Maybe Doc

FromPrim (RepoPatchV1 prim)

Methods

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

PrimPatch prim => PrimPatchBase (RepoPatchV1 prim)

Associated Types

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

Show2 prim => Show1 (RepoPatchV1 prim wX)

Methods

showDict1 :: ShowDict (RepoPatchV1 prim wX wX)

Show2 prim => Show (RepoPatchV1 prim wX wY)

Methods

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

show :: RepoPatchV1 prim wX wY -> String

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

type ApplyState (RepoPatchV1 prim)

type ApplyState (RepoPatchV1 prim) = ApplyState prim

type PrimOf (RepoPatchV1 prim)

type PrimOf (RepoPatchV1 prim) = prim

Orphan instances

PrimPatch prim => Patchy (RepoPatchV1 prim)

PrimPatch prim => Matchable (RepoPatchV1 prim)

PrimPatch prim => RepoPatch (RepoPatchV1 prim)