Equalizer

From Erights

(Difference between revisions)
Jump to: navigation, search
(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.
Personal tools
more tools