Equalizer

From Erights

Revision as of 15:43, 11 January 2009 by Kevin Reid (Talk | contribs)
Jump to: navigation, search

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.
Personal tools
more tools