darcs-beta-2.4.98.5: 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
commuteInverses
::
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
partialPermutivity
::
Patchy
p => ((p
:>
p) ->
Maybe
(p
:>
p)) -> (p
:>
(p
:>
p)) ->
Maybe
Doc
Source
identityCommutes
::
forall
p.
Patchy
p => p ->
Maybe
Doc
Source
inverseDoesntCommute
::
Patchy
p => p ->
Maybe
Doc
Source
patchAndInverseCommute
::
Patchy
p => ((p
:>
p) ->
Maybe
(p
:>
p)) -> (p
:>
p) ->
Maybe
Doc
Source
mergeEitherWay
::
Patchy
p => (p
:\/:
p) ->
Maybe
Doc
Source
show_read
:: (
Show2
p,
Patchy
p) => p ->
Maybe
Doc
Source
mergeCommute
::
Patchy
p => (p
:\/:
p) ->
Maybe
Doc
Source
mergeConsistent
::
Patchy
p => (p ->
Maybe
Doc
) -> (p
:\/:
p) ->
Maybe
Doc
Source
mergeArgumentsConsistent
::
Patchy
p => (p ->
Maybe
Doc
) -> (p
:\/:
p) ->
Maybe
Doc
Source
joinInverses
:: ((
Prim
:>
Prim
) ->
Maybe
Prim
) ->
Prim
->
Maybe
Doc
Source
joinCommute
:: ((
Prim
:>
Prim
) ->
Maybe
Prim
) -> (
Prim
:>
(
Prim
:>
Prim
)) ->
Maybe
Doc
Source
Produced by
Haddock
version 2.6.1