Equalizer
From Erights
(Difference between revisions)
Kevin Reid (Talk | contribs) |
Kevin Reid (Talk | contribs) (add isSettled, makeTraversalKey) |
||
Line 17: | Line 17: | ||
{{XXX}} write documentation and tests | {{XXX}} write documentation and tests | ||
+ | {{instance msgdoc|isSettled|1|<var>a</var>|[[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 | ||
+ | |||
+ | {{instance msgdoc|makeTraversalKey|1|<var>a</var>|[[TraversalKey]]}} | ||
+ | |||
+ | {{XXX}} See comment and rationale on isSettled. | ||
{{stub}} | {{stub}} | ||
[[Category:ELib specification]] | [[Category:ELib specification]] |
Revision as of 15:42, 11 January 2009
The Equalizer implements the algorithm for testing sameness.
XXX explain further
Contents |
Protocol
sameEver/1
- Signature: sameEver(a, b) :Boolean
XXX write documentation and tests
sameYet/1
- Signature: sameYet(a, b) :Boolean
XXX write documentation and tests
optSame/1
- 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.