Equalizer
From Erights
(Difference between revisions)
Kevin Reid (Talk | contribs) (add isSettled, makeTraversalKey) |
Kevin Reid (Talk | contribs) (fix arities) |
||
| Line 5: | Line 5: | ||
== Protocol == | == Protocol == | ||
| - | {{instance msgdoc|sameEver| | + | {{instance msgdoc|sameEver|2|<var>a</var>, <var>b</var>|[[Boolean]]}} |
{{XXX}} write documentation and tests | {{XXX}} write documentation and tests | ||
| - | {{instance msgdoc|sameYet| | + | {{instance msgdoc|sameYet|2|<var>a</var>, <var>b</var>|[[Boolean]]}} |
{{XXX}} write documentation and tests | {{XXX}} write documentation and tests | ||
| - | {{instance msgdoc|optSame| | + | {{instance msgdoc|optSame|2|<var>a</var>, <var>b</var>|nullOk<nowiki>[</nowiki>[[Boolean]]]}} |
{{XXX}} write documentation and tests | {{XXX}} write documentation and tests | ||
Revision as of 15:43, 11 January 2009
The Equalizer implements the algorithm for testing sameness.
XXX explain further
Contents |
Protocol
sameEver/2
- Signature: sameEver(a, b) :Boolean
XXX write documentation and tests
sameYet/2
- Signature: sameYet(a, b) :Boolean
XXX write documentation and tests
optSame/2
- Signature: optSame(a, b) :nullOk[Boolean]
XXX write documentation and tests
isSettled/1
- Signature: isSettled(a) :Boolean
XXX This is a proposed change, implemented in E-on-CL: that the isSettled operation be moved from Ref (object) to Equalizer, since the definition of settledness is tightly related to the definition of sameness.
XXX write tests
makeTraversalKey/1
- Signature: makeTraversalKey(a) :TraversalKey
XXX See comment and rationale on isSettled.
- This page is a stub; it should be expanded with more information. If doing so, check the original E web site and the mailing list archives for content which could be moved into this page.
