[Haskell-cafe] Is there a name for this property: x + x - x == x

Roman Cheplyaka roma at ro-che.info
Wed Jun 4 17:21:41 UTC 2014

* Omari Norman <omari at smileystation.com> [2014-06-04 10:34:22-0400]
> It's not quite idempotence, because more than one function is involved.
> It's a common property and I figure I can write a higher order function to
> build QuickCheck tests for it.  I was just wondering if it has a name.

This is similar to the inverse semigroup definition (but note the different
order of the operands).

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: Digital signature
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140604/7fa0611a/attachment.sig>

More information about the Haskell-Cafe mailing list