Darcs.Patch.V3.Contexted

Contexted patches.

Contexted patches

data Contexted p wX

Instances

Show2 p => Show1 (Contexted p)

Defined in Darcs.Patch.V3.Contexted

Methods

showDict1 :: Dict (Show (Contexted p wX))

Ident p => Eq (Contexted p wX)

Equality between Contexted patches reduces to equality of the identifiers of the patches referred to if we look at them from the same context. (This assumes witnesses aren't coerced in an unsafe manner.)

Defined in Darcs.Patch.V3.Contexted

Methods

(==) :: Contexted p wX -> Contexted p wX -> Bool

(/=) :: Contexted p wX -> Contexted p wX -> Bool

Ident p => Ord (Contexted p wX)

Defined in Darcs.Patch.V3.Contexted

Methods

compare :: Contexted p wX -> Contexted p wX -> Ordering

(<) :: Contexted p wX -> Contexted p wX -> Bool

(<=) :: Contexted p wX -> Contexted p wX -> Bool

(>) :: Contexted p wX -> Contexted p wX -> Bool

(>=) :: Contexted p wX -> Contexted p wX -> Bool

max :: Contexted p wX -> Contexted p wX -> Contexted p wX

min :: Contexted p wX -> Contexted p wX -> Contexted p wX

Show2 p => Show (Contexted p wX)

Defined in Darcs.Patch.V3.Contexted

Methods

showsPrec :: Int -> Contexted p wX -> ShowS

show :: Contexted p wX -> String

showList :: [Contexted p wX] -> ShowS

Query

ctxId :: Ident p => Contexted p wX -> PatchId p

Identity of a contexted patch.

ctxView :: Contexted p wX -> Sealed ((FL p :> p) wX)

We sometimes want to pattern match on a Contexted patch but still guard against violation of teh invariants. So we export a view that is isomorphic to the Contexted type but doesn't allow to manipulate the internals.

ctxNoConflict :: (CleanMerge p, Commute p, Ident p) => Contexted p wX -> Contexted p wX -> Bool

Contexted patches conflict with each other if the identity of one is in the context of the other or they cannot be merged cleanly.

ctxToFL :: Contexted p wX -> Sealed (FL p wX)

Convert a Contexted patch into a plain FL with the patch at the end.

Construct

ctx :: p wX wY -> Contexted p wX

A Contexted patch with empty context.

ctxAdd :: (Commute p, Invert p, Ident p) => p wX wY -> Contexted p wY -> Contexted p wX

Add a patch to the context of a Contexted patch. This is the place where we take care of the invariants.

ctxAddRL :: (Commute p, Invert p, Ident p) => RL p wX wY -> Contexted p wY -> Contexted p wX

Add an RL of patches to the context.

ctxAddInvFL :: (Commute p, Invert p, Ident p) => FL p wX wY -> Contexted p wX -> Contexted p wY

Add an FL of patches to the context but invert it first.

ctxAddFL :: (Commute p, Invert p, Ident p) => FL p wX wY -> Contexted p wY -> Contexted p wX

Add an FL of patches to the context.

commutePast :: Commute p => p wX wY -> Contexted p wY -> Maybe (Contexted p wX)

(Definition 10.2) Commute a patch past a Contexted patch. This commutes it past the context and then past the patch itself. If it succeeds, the patch that we commuted past gets dropped. Note that this does not succeed if the inverted patch is in the Contexted patch.

commutePastRL :: Commute p => RL p wX wY -> Contexted p wY -> Maybe (Contexted p wX)

Not defined in the paper but used in the commute algorithm.

PatchInspect helpers

ctxTouches :: PatchInspect p => Contexted p wX -> [AnchoredPath]

ctxHunkMatches :: PatchInspect p => (ByteString -> Bool) -> Contexted p wX -> Bool

ReadPatch and ShowPatch helpers

showCtx :: (ShowPatchBasic p, PatchListFormat p) => ShowPatchFor -> Contexted p wX -> Doc

readCtx :: (ReadPatch p, PatchListFormat p) => Parser (Contexted p wX)

Properties

prop_ctxInvariants :: (Commute p, Invert p, SignedIdent p) => Contexted p wX -> Bool

This property states that no prefix of the context commutes with the rest of the Contexted patch and that the context never contains a patch and its inverse.

prop_ctxEq :: (Commute p, Eq2 p, Ident p) => Contexted p wX -> Contexted p wX -> Bool

prop_ctxPositive :: SignedIdent p => Contexted p wX -> Bool

This property states that patches in the context of a Contexted patch as well as the patch itself are positive. It does not necessarily hold for all Contexted patches.