darcs-2.1.98.2: 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