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

Darcs.Patch.Properties

Documentation

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

commute_inverses :: Patchy p => ((p :> p) -> Maybe (p :> p)) -> (p :> p) -> Maybe DocSource

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

partial_permutivity :: Patchy p => ((p :> p) -> Maybe (p :> p)) -> (p :> (p :> p)) -> Maybe DocSource

identity_commutes :: forall p. Patchy p => p -> Maybe DocSource

patch_and_inverse_commute :: Patchy p => ((p :> p) -> Maybe (p :> p)) -> (p :> p) -> Maybe DocSource

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