suzanne.soy/compatibility
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

*** empty log message ***

Browse Source 
original commit: c98860b8ff15485b0a2d415a0b7a03c1a32e1099
This commit is contained in:
Scott Owens 2004-04-17 22:53:46 +00:00
parent fd67bc2f09
commit aeab05d78e
1 changed files with 23 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
collects/mzlib/integer-set.ss
View File

@ -414,17 +414,29 @@
(subset?-helper (integer-set-contents s1) (integer-set-contents s1))) (subset?-helper (integer-set-contents s1) (integer-set-contents s1)))
(define int (flat-named-contract "exact-integer" int?)) (define int (flat-named-contract "exact-integer" int?))
(provide/contract (struct integer-set ((contents (flat-named-contract "integer-set-list" well-formed-set?)))) (provide/contract ;(struct integer-set ((contents (flat-named-contract "integer-set-list" well-formed-set?))))
(make-range (case-> (-> integer-set?) #;(make-range (case-> (-> integer-set?)
(int . -> . integer-set?) (int . -> . integer-set?)
(((i int) (j (and/c int (>=/c i)))) . ->r . integer-set?))) (((i int) (j (and/c int (>=/c i)))) . ->r . integer-set?)))
(rename merge union (integer-set? integer-set? . -> . integer-set?)) ;(rename merge union (integer-set? integer-set? . -> . integer-set?))
(split (integer-set? integer-set? . -> . (values integer-set? integer-set? integer-set?))) ;(split (integer-set? integer-set? . -> . (values integer-set? integer-set? integer-set?)))
(complement (((s integer-set?) (min int) (max (and/c int (>=/c min)))) . ->r . integer-set?)) ;(complement (((s integer-set?) (min int) (max (and/c int (>=/c min)))) . ->r . integer-set?))
(member? (int integer-set? . -> . any)) ;(member? (int integer-set? . -> . any))
(get-integer (integer-set? . -> . (union false? int))) ;(get-integer (integer-set? . -> . (union false? int)))
(rename is-foldr foldr ((int any? . -> . any?) any? integer-set? . -> . any)) ;(rename is-foldr foldr ((int any? . -> . any?) any? integer-set? . -> . any))
(partition ((listof integer-set?) . -> . (listof integer-set?))) ;(partition ((listof integer-set?) . -> . (listof integer-set?)))
(card (integer-set? . -> . natural-number?)) ;(card (integer-set? . -> . natural-number?))
(subset? (integer-set? integer-set? . -> . any))) #;(subset? (integer-set? integer-set? . -> . any)))
(provide (struct integer-set (contents))
make-range
(rename merge union)
split
complement
member?
get-integer
(rename is-foldr foldr)
partition
card
subset?)
) )