Equalizer

From Erights

(Difference between revisions)
Jump to: navigation, search
(add isSettled, makeTraversalKey)
(fix arities)
Line 5: Line 5:
== Protocol ==
== Protocol ==
-
{{instance msgdoc|sameEver|1|<var>a</var>, <var>b</var>|[[Boolean]]}}
+
{{instance msgdoc|sameEver|2|<var>a</var>, <var>b</var>|[[Boolean]]}}
{{XXX}} write documentation and tests
{{XXX}} write documentation and tests
-
{{instance msgdoc|sameYet|1|<var>a</var>, <var>b</var>|[[Boolean]]}}
+
{{instance msgdoc|sameYet|2|<var>a</var>, <var>b</var>|[[Boolean]]}}
{{XXX}} write documentation and tests
{{XXX}} write documentation and tests
-
{{instance msgdoc|optSame|1|<var>a</var>, <var>b</var>|nullOk<nowiki>[</nowiki>[[Boolean]]]}}
+
{{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.
Personal tools
more tools