Darcs.Patch.Properties
Documentation
identityCommutes :: forall p. Patchy p => p -> Maybe Doc
inverseDoesntCommute :: Patchy p => p -> Maybe Doc
mergeEitherWay :: Patchy p => (p :\/: p) -> Maybe Doc
mergeCommute :: Patchy p => (p :\/: p) -> Maybe Doc