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

Removed incorrect uses of ->i underscores

Browse Source
This commit is contained in:
Ryan Culpepper 2010-10-21 00:06:48 -06:00
parent c941db0bfa
commit e38b12e3e0
5 changed files with 67 additions and 67 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
collects/data/interval-map.rkt
View File

@ -219,36 +219,36 @@
[start (im) (key-c im)] [start (im) (key-c im)]
[end (im) (key-c im)] [end (im) (key-c im)]
[v (im) (val-c im)]) [v (im) (val-c im)])
[_ void?])] [_r void?])]
[interval-map-update*! [interval-map-update*!
(->i ([im interval-map?] (->i ([im interval-map?]
[start (im) (key-c im)] [start (im) (key-c im)]
[end (im) (key-c im)] [end (im) (key-c im)]
[f (im) (-> (val-c im) (val-c im))]) [f (im) (-> (val-c im) (val-c im))])
([default any/c]) ;; imprecise ([default any/c]) ;; imprecise
[_ void?])] [_r void?])]
[interval-map-cons*! [interval-map-cons*!
(->i ([im interval-map?] (->i ([im interval-map?]
[start (im) (key-c im)] [start (im) (key-c im)]
[end (im) (key-c im)] [end (im) (key-c im)]
[v any/c]) ;; imprecise [v any/c]) ;; imprecise
([d any/c]) ;; imprecise ([d any/c]) ;; imprecise
[_ void?])] [_r void?])]
[interval-map-remove! [interval-map-remove!
(->i ([im interval-map?] (->i ([im interval-map?]
[start (im) (or/c -inf.0 (key-c im))] [start (im) (or/c -inf.0 (key-c im))]
[end (im) (or/c +inf.0 (key-c im))]) [end (im) (or/c +inf.0 (key-c im))])
[_ void?])] [_r void?])]
[interval-map-contract! [interval-map-contract!
(->i ([im interval-map?] (->i ([im interval-map?]
[start (im) (key-c im)] [start (im) (key-c im)]
[end (im) (key-c im)]) [end (im) (key-c im)])
[_ void?])] [_r void?])]
[interval-map-expand! [interval-map-expand!
(->i ([im interval-map?] (->i ([im interval-map?]
[start (im) (key-c im)] [start (im) (key-c im)]
[end (im) (key-c im)]) [end (im) (key-c im)])
[_ void?])] [_r void?])]
[interval-map-iterate-first [interval-map-iterate-first
(-> interval-map? (-> interval-map?
@ -258,10 +258,10 @@
(or/c interval-map-iter? #f))] (or/c interval-map-iter? #f))]
[interval-map-iterate-key [interval-map-iterate-key
(->i ([im interval-map?] [i interval-map-iter?]) (->i ([im interval-map?] [i interval-map-iter?])
[_ (im) (let ([k (key-c im)]) (cons/c k k))])] [_r (im) (let ([k (key-c im)]) (cons/c k k))])]
[interval-map-iterate-value [interval-map-iterate-value
(->i ([im interval-map?] [i interval-map-iter?]) (->i ([im interval-map?] [i interval-map-iter?])
[_ (im) (val-c im)])] [_r (im) (val-c im)])]
[interval-map-iter? [interval-map-iter?
(-> any/c boolean?)]) (-> any/c boolean?)])

4
collects/data/order.rkt
View File

@ -14,12 +14,12 @@
(define extreme-contract (define extreme-contract
(->i ([d ordered-dict?]) (->i ([d ordered-dict?])
[_ (d) (or/c #f (dict-iter-contract d))])) [_r (d) (or/c #f (dict-iter-contract d))]))
(define search-contract (define search-contract
(->i ([d ordered-dict?] (->i ([d ordered-dict?]
[k (d) (dict-key-contract d)]) [k (d) (dict-key-contract d)])
[_ (d) (or/c #f (dict-iter-contract d))])) [_r (d) (or/c #f (dict-iter-contract d))]))
(define prop:ordered-dict-contract (define prop:ordered-dict-contract
(let ([e extreme-contract] (let ([e extreme-contract]

22
collects/data/skip-list.rkt
View File

@ -446,39 +446,39 @@ Levels are indexed starting at 1, as in the paper.
([d any/c]) ([d any/c])
any)] any)]
[skip-list-set! [skip-list-set!
(->i ([s skip-list?] [k (s) (key-c s)] [v (s) (val-c s)]) [_ void?])] (->i ([s skip-list?] [k (s) (key-c s)] [v (s) (val-c s)]) [_r void?])]
[skip-list-remove! [skip-list-remove!
(->i ([s skip-list?] [k (s) (key-c s)]) [_ void?])] (->i ([s skip-list?] [k (s) (key-c s)]) [_r void?])]
[skip-list-count [skip-list-count
(-> skip-list? exact-nonnegative-integer?)] (-> skip-list? exact-nonnegative-integer?)]
[skip-list-remove-range! [skip-list-remove-range!
(->i ([s skip-list?] [from (s) (key-c s)] [to (s) (key-c s)]) (->i ([s skip-list?] [from (s) (key-c s)] [to (s) (key-c s)])
[_ void?])] [_r void?])]
[skip-list-contract! [skip-list-contract!
(->i ([s adjustable-skip-list?] [from (s) (key-c s)] [to (s) (key-c s)]) (->i ([s adjustable-skip-list?] [from (s) (key-c s)] [to (s) (key-c s)])
[_ void?])] [_r void?])]
[skip-list-expand! [skip-list-expand!
(->i ([s adjustable-skip-list?] [from (s) (key-c s)] [to (s) (key-c s)]) (->i ([s adjustable-skip-list?] [from (s) (key-c s)] [to (s) (key-c s)])
[_ void?])] [_r void?])]
[skip-list-iterate-first [skip-list-iterate-first
(-> skip-list? (or/c skip-list-iter? #f))] (-> skip-list? (or/c skip-list-iter? #f))]
[skip-list-iterate-next [skip-list-iterate-next
(-> skip-list? skip-list-iter? (or/c skip-list-iter? #f))] (-> skip-list? skip-list-iter? (or/c skip-list-iter? #f))]
[skip-list-iterate-key [skip-list-iterate-key
(->i ([s skip-list?] [i skip-list-iter?]) [_ (s) (key-c s)])] (->i ([s skip-list?] [i skip-list-iter?]) [_r (s) (key-c s)])]
[skip-list-iterate-value [skip-list-iterate-value
(->i ([s skip-list?] [i skip-list-iter?]) [_ (s) (val-c s)])] (->i ([s skip-list?] [i skip-list-iter?]) [_r (s) (val-c s)])]
[skip-list-iterate-greatest/<=? [skip-list-iterate-greatest/<=?
(->i ([s skip-list?] [k (s) (key-c s)]) [_ (or/c skip-list-iter? #f)])] (->i ([s skip-list?] [k (s) (key-c s)]) [_r (or/c skip-list-iter? #f)])]
[skip-list-iterate-greatest/<? [skip-list-iterate-greatest/<?
(->i ([s skip-list?] [k (s) (key-c s)]) [_ (or/c skip-list-iter? #f)])] (->i ([s skip-list?] [k (s) (key-c s)]) [_r (or/c skip-list-iter? #f)])]
[skip-list-iterate-least/>=? [skip-list-iterate-least/>=?
(->i ([s skip-list?] [k (s) (key-c s)]) [_ (or/c skip-list-iter? #f)])] (->i ([s skip-list?] [k (s) (key-c s)]) [_r (or/c skip-list-iter? #f)])]
[skip-list-iterate-least/>? [skip-list-iterate-least/>?
(->i ([s skip-list?] [k (s) (key-c s)]) [_ (or/c skip-list-iter? #f)])] (->i ([s skip-list?] [k (s) (key-c s)]) [_r (or/c skip-list-iter? #f)])]
[skip-list-iterate-least [skip-list-iterate-least
(-> skip-list? (or/c skip-list-iter? #f))] (-> skip-list? (or/c skip-list-iter? #f))]

24
collects/data/splay-tree.rkt
View File

@ -1110,42 +1110,42 @@ Top-down splay
([default any/c]) ([default any/c])
any)] any)]
[splay-tree-set! [splay-tree-set!
(->i ([s splay-tree?] [key (s) (key-c s)] [v (s) (val-c s)]) [_ void?])] (->i ([s splay-tree?] [key (s) (key-c s)] [v (s) (val-c s)]) [_r void?])]
[splay-tree-remove! [splay-tree-remove!
(->i ([s splay-tree?] [key (s) (key-c s)]) [_ void?])] (->i ([s splay-tree?] [key (s) (key-c s)]) [_r void?])]
[splay-tree-remove-range! [splay-tree-remove-range!
(->i ([s splay-tree?] [from (s) (key-c s)] [to (s) (key-c s)]) [_ void?])] (->i ([s splay-tree?] [from (s) (key-c s)] [to (s) (key-c s)]) [_r void?])]
[splay-tree-count [splay-tree-count
(-> splay-tree? exact-nonnegative-integer?)] (-> splay-tree? exact-nonnegative-integer?)]
[splay-tree->list [splay-tree->list
(->i ([s splay-tree?]) [_ (s) (listof (cons/c (key-c s) (val-c s)))])] (->i ([s splay-tree?]) [_r (s) (listof (cons/c (key-c s) (val-c s)))])]
[splay-tree-contract! [splay-tree-contract!
(->i ([s adjustable-splay-tree?] (->i ([s adjustable-splay-tree?]
[from (s) (key-c s)] [to (s) (key-c s)]) [from (s) (key-c s)] [to (s) (key-c s)])
[_ void?])] [_r void?])]
[splay-tree-expand! [splay-tree-expand!
(->i ([s adjustable-splay-tree?] (->i ([s adjustable-splay-tree?]
[from (s) (key-c s)] [to (s) (key-c s)]) [from (s) (key-c s)] [to (s) (key-c s)])
[_ void?])] [_r void?])]
[splay-tree-iterate-first [splay-tree-iterate-first
(-> splay-tree? (or/c splay-tree-iter? #f))] (-> splay-tree? (or/c splay-tree-iter? #f))]
[splay-tree-iterate-next [splay-tree-iterate-next
(-> splay-tree? splay-tree-iter? (or/c splay-tree-iter? #f))] (-> splay-tree? splay-tree-iter? (or/c splay-tree-iter? #f))]
[splay-tree-iterate-key [splay-tree-iterate-key
(->i ([s splay-tree?] [i splay-tree-iter?]) [_ (s) (key-c s)])] (->i ([s splay-tree?] [i splay-tree-iter?]) [_r (s) (key-c s)])]
[splay-tree-iterate-value [splay-tree-iterate-value
(->i ([s splay-tree?] [i splay-tree-iter?]) [_ (s) (val-c s)])] (->i ([s splay-tree?] [i splay-tree-iter?]) [_r (s) (val-c s)])]
[splay-tree-iterate-greatest/<=? [splay-tree-iterate-greatest/<=?
(->i ([s splay-tree?] [k (s) (key-c s)]) [_ (or/c splay-tree-iter? #f)])] (->i ([s splay-tree?] [k (s) (key-c s)]) [_r (or/c splay-tree-iter? #f)])]
[splay-tree-iterate-greatest/<? [splay-tree-iterate-greatest/<?
(->i ([s splay-tree?] [k (s) (key-c s)]) [_ (or/c splay-tree-iter? #f)])] (->i ([s splay-tree?] [k (s) (key-c s)]) [_r (or/c splay-tree-iter? #f)])]
[splay-tree-iterate-least/>=? [splay-tree-iterate-least/>=?
(->i ([s splay-tree?] [k (s) (key-c s)]) [_ (or/c splay-tree-iter? #f)])] (->i ([s splay-tree?] [k (s) (key-c s)]) [_r (or/c splay-tree-iter? #f)])]
[splay-tree-iterate-least/>? [splay-tree-iterate-least/>?
(->i ([s splay-tree?] [k (s) (key-c s)]) [_ (or/c splay-tree-iter? #f)])] (->i ([s splay-tree?] [k (s) (key-c s)]) [_r (or/c splay-tree-iter? #f)])]
[splay-tree-iterate-least [splay-tree-iterate-least
(-> splay-tree? (or/c splay-tree-iter? #f))] (-> splay-tree? (or/c splay-tree-iter? #f))]

68
collects/racket/dict.rkt
View File

@ -73,33 +73,33 @@
(->i ([d (and/c dict? dict-mutable?)] (->i ([d (and/c dict? dict-mutable?)]
[k (d) (dict-key-contract d)] [k (d) (dict-key-contract d)]
[value (d) (dict-value-contract d)]) [value (d) (dict-value-contract d)])
[_ void?])) [_r void?]))
(define dict-set-contract (define dict-set-contract
(->i ([d (and/c dict? dict-can-functional-set?)] (->i ([d (and/c dict? dict-can-functional-set?)]
[k (d) (dict-key-contract d)] [k (d) (dict-key-contract d)]
[value (d) (dict-value-contract d)]) [value (d) (dict-value-contract d)])
[_ dict?])) [_r dict?]))
(define dict-remove!-contract (define dict-remove!-contract
(->i ([d (and/c dict? dict-mutable? dict-can-remove-keys?)] (->i ([d (and/c dict? dict-mutable? dict-can-remove-keys?)]
[k (d) (dict-key-contract d)]) [k (d) (dict-key-contract d)])
[_ void?])) [_r void?]))
(define dict-remove-contract (define dict-remove-contract
(->i ([d (and/c dict? dict-can-functional-set? dict-can-remove-keys?)] (->i ([d (and/c dict? dict-can-functional-set? dict-can-remove-keys?)]
[k (d) (dict-key-contract d)]) [k (d) (dict-key-contract d)])
[_ dict?])) [_r dict?]))
(define dict-count-contract (define dict-count-contract
(-> dict? exact-nonnegative-integer?)) (-> dict? exact-nonnegative-integer?))
(define dict-iterate-first-contract (define dict-iterate-first-contract
(->i ([d dict?]) [_ (d) (or/c #f (dict-iter-contract d))])) (->i ([d dict?]) [_r (d) (or/c #f (dict-iter-contract d))]))
(define dict-iterate-next-contract (define dict-iterate-next-contract
(->i ([d dict?] [iter (d) (dict-iter-contract d)]) (->i ([d dict?] [iter (d) (dict-iter-contract d)])
[_ (d) (or/c #f (dict-iter-contract d))])) [_r (d) (or/c #f (dict-iter-contract d))]))
(define dict-iterate-key-contract (define dict-iterate-key-contract
(->i ([d dict?] [iter (d) (dict-iter-contract d)]) (->i ([d dict?] [iter (d) (dict-iter-contract d)])
[_ (d) (dict-key-contract d)])) [_r (d) (dict-key-contract d)]))
(define dict-iterate-value-contract (define dict-iterate-value-contract
(->i ([d dict?] [iter (d) (dict-iter-contract d)]) (->i ([d dict?] [iter (d) (dict-iter-contract d)])
[_ (d) (dict-value-contract d)])) [_r (d) (dict-value-contract d)]))
(define prop:dict-contract (define prop:dict-contract
(vector-immutable/c dict-ref-contract (vector-immutable/c dict-ref-contract
@ -150,45 +150,45 @@
(->i ([d (and/c dict? dict-mutable?)] (->i ([d (and/c dict? dict-mutable?)]
[k (d) (dict-key-contract d)] [k (d) (dict-key-contract d)]
[default (d) (or/c (dict-value-contract d) (-> (dict-value-contract d)))]) ;; use if/c ? [default (d) (or/c (dict-value-contract d) (-> (dict-value-contract d)))]) ;; use if/c ?
[_ (d) (dict-value-contract d)])] [_r (d) (dict-value-contract d)])]
[dict-set! [dict-set!
dict-set!-contract] dict-set!-contract]
[dict-set [dict-set
dict-set-contract] dict-set-contract]
[dict-set*! [dict-set*!
(->i ([d (and/c dict? dict-mutable?)]) (->i ([d (and/c dict? dict-mutable?)])
#:rest [_ (d) (let ([key/c (dict-key-contract d)] #:rest [rst (d) (let ([key/c (dict-key-contract d)]
[val/c (dict-value-contract d)]) [val/c (dict-value-contract d)])
(letrec ([args/c (letrec ([args/c
(recursive-contract (recursive-contract
(or/c null (or/c null
(cons/c key/c (cons/c val/c args/c))))]) (cons/c key/c (cons/c val/c args/c))))])
(and/c even-length-list/c (and/c even-length-list/c
args/c)))] args/c)))]
[_ void?])] [_r void?])]
[dict-set* [dict-set*
(->i ([d (and/c dict? dict-can-functional-set?)]) (->i ([d (and/c dict? dict-can-functional-set?)])
#:rest [_ (d) (let ([key/c (dict-key-contract d)] #:rest [rst (d) (let ([key/c (dict-key-contract d)]
[val/c (dict-value-contract d)]) [val/c (dict-value-contract d)])
(letrec ([args/c (letrec ([args/c
(recursive-contract (recursive-contract
(or/c null (or/c null
(cons/c key/c (cons/c val/c args/c))))]) (cons/c key/c (cons/c val/c args/c))))])
(and/c even-length-list/c (and/c even-length-list/c
args/c)))] args/c)))]
[_ dict?])] [_r dict?])]
[dict-update! [dict-update!
(->i ([d (and/c dict? dict-mutable?)] (->i ([d (and/c dict? dict-mutable?)]
[k (d) (dict-key-contract d)] [k (d) (dict-key-contract d)]
[update (d) (-> (dict-value-contract d) (dict-value-contract d))]) [update (d) (-> (dict-value-contract d) (dict-value-contract d))])
([default (d) (or/c (dict-value-contract d) (-> (dict-value-contract d)))]) ;; use if/c ([default (d) (or/c (dict-value-contract d) (-> (dict-value-contract d)))]) ;; use if/c
[_ void?])] [_r void?])]
[dict-update [dict-update
(->i ([d (and/c dict? dict-can-functional-set?)] (->i ([d (and/c dict? dict-can-functional-set?)]
[k (d) (dict-key-contract d)] [k (d) (dict-key-contract d)]
[update (d) (-> (dict-value-contract d) (dict-value-contract d))]) [update (d) (-> (dict-value-contract d) (dict-value-contract d))])
([default (d) (or/c (dict-value-contract d) (-> (dict-value-contract d)))]) ;; use if/c ? ([default (d) (or/c (dict-value-contract d) (-> (dict-value-contract d)))]) ;; use if/c ?
[_ dict?])] [_r dict?])]
[dict-remove! [dict-remove!
dict-remove!-contract] dict-remove!-contract]
[dict-remove [dict-remove
@ -206,20 +206,20 @@
[dict-map [dict-map
(->i ([d dict?] [proc (d) (-> (dict-key-contract d) (dict-value-contract d) any)]) (->i ([d dict?] [proc (d) (-> (dict-key-contract d) (dict-value-contract d) any)])
[_ list?])] [_r list?])]
[dict-for-each [dict-for-each
(->i ([d dict?] [proc (d) (-> (dict-key-contract d) (dict-value-contract d) any)]) (->i ([d dict?] [proc (d) (-> (dict-key-contract d) (dict-value-contract d) any)])
[_ void?])] [_r void?])]
[dict-keys [dict-keys
(->i ([d dict?]) (->i ([d dict?])
[_ (d) (listof (dict-key-contract d))])] [_r (d) (listof (dict-key-contract d))])]
[dict-values [dict-values
(->i ([d dict?]) (->i ([d dict?])
[_ (d) (listof (dict-value-contract d))])] [_r (d) (listof (dict-value-contract d))])]
[dict->list [dict->list
(->i ([d dict?]) (->i ([d dict?])
[_ (d) (listof (cons/c (dict-key-contract d) (dict-value-contract d)))])]) [_r (d) (listof (cons/c (dict-key-contract d) (dict-value-contract d)))])])
(provide prop:dict (provide prop:dict