Artifact
182bd19da5263cd49fd228421775e46e949b2935:
- File
srfi/s128/comparators.sls
— part of check-in
[07be5132aa]
at
2017-01-11 16:37:00
on branch trunk
— added srfi 113 sets&bags, srfi 128 comparators
(user:
aldo
size: 1117)
0000: 28 6c 69 62 72 61 72 79 20 28 73 72 66 69 20 73 (library (srfi s
0010: 31 32 38 20 63 6f 6d 70 61 72 61 74 6f 72 73 29 128 comparators)
0020: 0a 20 20 28 65 78 70 6f 72 74 20 63 6f 6d 70 61 . (export compa
0030: 72 61 74 6f 72 3f 20 63 6f 6d 70 61 72 61 74 6f rator? comparato
0040: 72 2d 6f 72 64 65 72 65 64 3f 20 63 6f 6d 70 61 r-ordered? compa
0050: 72 61 74 6f 72 2d 68 61 73 68 61 62 6c 65 3f 0a rator-hashable?.
0060: 20 20 20 20 20 20 20 20 20 20 6d 61 6b 65 2d 63 make-c
0070: 6f 6d 70 61 72 61 74 6f 72 0a 20 20 20 20 20 20 omparator.
0080: 20 20 20 20 6d 61 6b 65 2d 70 61 69 72 2d 63 6f make-pair-co
0090: 6d 70 61 72 61 74 6f 72 20 6d 61 6b 65 2d 6c 69 mparator make-li
00a0: 73 74 2d 63 6f 6d 70 61 72 61 74 6f 72 20 6d 61 st-comparator ma
00b0: 6b 65 2d 76 65 63 74 6f 72 2d 63 6f 6d 70 61 72 ke-vector-compar
00c0: 61 74 6f 72 0a 20 20 20 20 20 20 20 20 20 20 6d ator. m
00d0: 61 6b 65 2d 65 71 2d 63 6f 6d 70 61 72 61 74 6f ake-eq-comparato
00e0: 72 20 6d 61 6b 65 2d 65 71 76 2d 63 6f 6d 70 61 r make-eqv-compa
00f0: 72 61 74 6f 72 20 6d 61 6b 65 2d 65 71 75 61 6c rator make-equal
0100: 2d 63 6f 6d 70 61 72 61 74 6f 72 0a 20 20 20 20 -comparator.
0110: 20 20 20 20 20 20 62 6f 6f 6c 65 61 6e 2d 68 61 boolean-ha
0120: 73 68 20 63 68 61 72 2d 68 61 73 68 20 63 68 61 sh char-hash cha
0130: 72 2d 63 69 2d 68 61 73 68 0a 20 20 20 20 20 20 r-ci-hash.
0140: 20 20 20 20 73 74 72 69 6e 67 2d 68 61 73 68 20 string-hash
0150: 73 74 72 69 6e 67 2d 63 69 2d 68 61 73 68 20 73 string-ci-hash s
0160: 79 6d 62 6f 6c 2d 68 61 73 68 20 6e 75 6d 62 65 ymbol-hash numbe
0170: 72 2d 68 61 73 68 0a 20 20 20 20 20 20 20 20 20 r-hash.
0180: 20 6d 61 6b 65 2d 64 65 66 61 75 6c 74 2d 63 6f make-default-co
0190: 6d 70 61 72 61 74 6f 72 20 64 65 66 61 75 6c 74 mparator default
01a0: 2d 68 61 73 68 20 63 6f 6d 70 61 72 61 74 6f 72 -hash comparator
01b0: 2d 72 65 67 69 73 74 65 72 2d 64 65 66 61 75 6c -register-defaul
01c0: 74 21 0a 20 20 20 20 20 20 20 20 20 20 63 6f 6d t!. com
01d0: 70 61 72 61 74 6f 72 2d 74 79 70 65 2d 74 65 73 parator-type-tes
01e0: 74 2d 70 72 65 64 69 63 61 74 65 20 63 6f 6d 70 t-predicate comp
01f0: 61 72 61 74 6f 72 2d 65 71 75 61 6c 69 74 79 2d arator-equality-
0200: 70 72 65 64 69 63 61 74 65 0a 20 20 20 20 20 20 predicate.
0210: 20 20 20 20 63 6f 6d 70 61 72 61 74 6f 72 2d 6f comparator-o
0220: 72 64 65 72 69 6e 67 2d 70 72 65 64 69 63 61 74 rdering-predicat
0230: 65 20 63 6f 6d 70 61 72 61 74 6f 72 2d 68 61 73 e comparator-has
0240: 68 2d 66 75 6e 63 74 69 6f 6e 0a 20 20 20 20 20 h-function.
0250: 20 20 20 20 20 63 6f 6d 70 61 72 61 74 6f 72 2d comparator-
0260: 74 65 73 74 2d 74 79 70 65 20 63 6f 6d 70 61 72 test-type compar
0270: 61 74 6f 72 2d 63 68 65 63 6b 2d 74 79 70 65 20 ator-check-type
0280: 63 6f 6d 70 61 72 61 74 6f 72 2d 68 61 73 68 0a comparator-hash.
0290: 20 20 20 20 20 20 20 20 20 20 68 61 73 68 2d 62 hash-b
02a0: 6f 75 6e 64 20 68 61 73 68 2d 73 61 6c 74 0a 20 ound hash-salt.
02b0: 20 20 20 20 20 20 20 20 20 3d 3f 20 3c 3f 20 3e =? <? >
02c0: 3f 20 3c 3d 3f 20 3e 3d 3f 0a 20 20 20 20 20 20 ? <=? >=?.
02d0: 20 20 20 20 63 6f 6d 70 61 72 61 74 6f 72 2d 69 comparator-i
02e0: 66 3c 3d 3e 0a 20 20 20 20 20 20 20 20 20 20 29 f<=>. )
02f0: 0a 20 20 28 69 6d 70 6f 72 74 20 28 72 65 6e 61 . (import (rena
0300: 6d 65 20 28 65 78 63 65 70 74 20 28 63 68 65 7a me (except (chez
0310: 73 63 68 65 6d 65 29 20 6d 61 6b 65 2d 68 61 73 scheme) make-has
0320: 68 2d 74 61 62 6c 65 20 64 65 66 69 6e 65 2d 72 h-table define-r
0330: 65 63 6f 72 64 2d 74 79 70 65 29 0a 09 09 20 20 ecord-type)...
0340: 28 65 72 72 6f 72 20 65 72 72 6f 72 2d 63 68 65 (error error-che
0350: 7a 29 29 0a 09 20 20 28 6f 6e 6c 79 20 28 73 72 z)).. (only (sr
0360: 66 69 20 73 39 20 72 65 63 6f 72 64 73 29 20 64 fi s9 records) d
0370: 65 66 69 6e 65 2d 72 65 63 6f 72 64 2d 74 79 70 efine-record-typ
0380: 65 29 0a 09 20 20 28 6f 6e 6c 79 20 28 73 72 66 e).. (only (srf
0390: 69 20 73 36 39 20 62 61 73 69 63 2d 68 61 73 68 i s69 basic-hash
03a0: 2d 74 61 62 6c 65 73 29 20 6d 61 6b 65 2d 68 61 -tables) make-ha
03b0: 73 68 2d 74 61 62 6c 65 29 29 0a 0a 20 20 28 61 sh-table)).. (a
03c0: 6c 69 61 73 20 65 78 61 63 74 2d 69 6e 74 65 67 lias exact-integ
03d0: 65 72 3f 20 65 78 61 63 74 3f 29 0a 0a 20 20 28 er? exact?).. (
03e0: 64 65 66 69 6e 65 20 28 65 72 72 6f 72 20 2e 20 define (error .
03f0: 78 29 0a 20 20 20 20 28 65 72 72 6f 72 2d 63 68 x). (error-ch
0400: 65 7a 20 27 63 6f 6d 70 61 72 61 74 6f 72 73 20 ez 'comparators
0410: 28 63 61 72 20 78 29 20 28 63 64 72 20 78 29 29 (car x) (cdr x))
0420: 29 0a 0a 20 20 28 69 6e 63 6c 75 64 65 20 22 31 ).. (include "1
0430: 32 38 2e 62 6f 64 79 31 2e 73 63 6d 22 29 0a 20 28.body1.scm").
0440: 20 28 69 6e 63 6c 75 64 65 20 22 31 32 38 2e 62 (include "128.b
0450: 6f 64 79 32 2e 73 63 6d 22 29 0a 29 0a ody2.scm").).