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

Darcs.Patch.Properties

# Documentation

recommute :: Patchy p => ((p :> p) -> Maybe (p :> p)) -> (p :> p) -> Maybe Doc

commuteInverses :: Patchy p => ((p :> p) -> Maybe (p :> p)) -> (p :> p) -> Maybe Doc

permutivity :: Patchy p => ((p :> p) -> Maybe (p :> p)) -> (p :> (p :> p)) -> Maybe Doc

partialPermutivity :: Patchy p => ((p :> p) -> Maybe (p :> p)) -> (p :> (p :> p)) -> Maybe Doc

identityCommutes :: forall p. Patchy p => p -> Maybe Doc

inverseDoesntCommute :: Patchy p => p -> Maybe Doc

patchAndInverseCommute :: Patchy p => ((p :> p) -> Maybe (p :> p)) -> (p :> p) -> Maybe Doc

mergeEitherWay :: Patchy p => (p :\/: p) -> Maybe Doc

show_read :: (Show2 p, Patchy p) => p -> Maybe Doc

mergeCommute :: Patchy p => (p :\/: p) -> Maybe Doc

mergeConsistent :: Patchy p => (p -> Maybe Doc) -> (p :\/: p) -> Maybe Doc

mergeArgumentsConsistent :: Patchy p => (p -> Maybe Doc) -> (p :\/: p) -> Maybe Doc

joinInverses :: ((Prim :> Prim) -> Maybe Prim) -> Prim -> Maybe Doc

joinCommute :: ((Prim :> Prim) -> Maybe Prim) -> (Prim :> (Prim :> Prim)) -> Maybe Doc