Changes between Version 3 and Version 4 of GeneralizedEqualCowan
 Timestamp:
 12/01/12 17:05:38 (5 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

GeneralizedEqualCowan
v3 v4 8 8 9 9 Otherwise, if the containers have different numbers of elements, the result is `#f`. Otherwise, `generalizedequal?` invokes itself recursively on each corresponding element of the containers, passing itself the same comparators. If a recursive call returns `#f`, that is the result; if all recursive calls return `#t`, that is the result. 10 11 `(predicates>comparator `''typepredicate comparepredicate''`)` 12 13 Returns a comparator that invokes ''typepredicate'' on its first and its second arguments. If they both return `#t`, then they are assumed to be of the same type, and ''comparepredicate'' is invoked on the first and second arguments together. If the result is `#t` or `#f`, then the comparator returns `#t` or `#f` respectively. If they are not of the same type, a third value is returned. The comparator always ignores its third argument. 10 14 11 15 == Sample comparators ==