| darcs-2.4.3: a distributed, interactive, smart revision control system | Source code | Contents | Index
Darcs.Patch.Properties
Documentation
recommute :: Patchy p => ((p :> p) -> Maybe (p :> p)) -> (p :> p) -> Maybe Doc | Source
commute_inverses :: Patchy p => ((p :> p) -> Maybe (p :> p)) -> (p :> p) -> Maybe Doc | Source
permutivity :: Patchy p => ((p :> p) -> Maybe (p :> p)) -> (p :> (p :> p)) -> Maybe Doc | Source
partial_permutivity :: Patchy p => ((p :> p) -> Maybe (p :> p)) -> (p :> (p :> p)) -> Maybe Doc | Source
identity_commutes :: forall p. Patchy p => p -> Maybe Doc | Source
inverse_doesnt_commute :: Patchy p => p -> Maybe Doc | Source
patch_and_inverse_commute :: Patchy p => ((p :> p) -> Maybe (p :> p)) -> (p :> p) -> Maybe Doc | Source
merge_either_way :: Patchy p => (p :\/: p) -> Maybe Doc | Source
show_read :: (Show2 p, Patchy p) => p -> Maybe Doc | Source
merge_commute :: Patchy p => (p :\/: p) -> Maybe Doc | Source
merge_consistent :: Patchy p => (p -> Maybe Doc) -> (p :\/: p) -> Maybe Doc | Source
merge_arguments_consistent :: Patchy p => (p -> Maybe Doc) -> (p :\/: p) -> Maybe Doc | Source
join_inverses :: ((Prim :> Prim) -> Maybe Prim) -> Prim -> Maybe Doc | Source
join_commute :: ((Prim :> Prim) -> Maybe Prim) -> (Prim :> (Prim :> Prim)) -> Maybe Doc | Source
Produced by Haddock version 2.4.2