Equalizer

From Erights

The Equalizer implements the algorithm for testing sameness.

XXX explain further

Contents 1 Protocol 1.1 sameEver/2 1.2 sameYet/2 1.3 optSame/2 1.4 isSettled/1 1.5 makeTraversalKey/1

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.