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

more useful types for hasheqv and hasheq too

Browse Source 
Closes #16.
This commit is contained in:
Alex Knauth 2015-01-24 10:19:13 -05:00 committed by Sam Tobin-Hochstadt
parent 19455584ab
commit d93b387150
1 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
typed-racket-lib/typed-racket/base-env/base-env.rkt
View File

@ -872,8 +872,16 @@
(a b a b . -> . (-HT a b))
(a b a b a b . -> . (-HT a b))
(a b a b a b a b . -> . (-HT a b))))]
[hasheqv (-poly (a b) (-> (-HT a b)))]
[hasheq (-poly (a b) (-> (-HT a b)))]
[hasheqv (-poly (a b) (cl->* (-> (-HT a b))
(a b . -> . (-HT a b))
(a b a b . -> . (-HT a b))
(a b a b a b . -> . (-HT a b))
(a b a b a b a b . -> . (-HT a b))))]
[hasheq (-poly (a b) (cl->* (-> (-HT a b))
(a b . -> . (-HT a b))
(a b a b . -> . (-HT a b))
(a b a b a b . -> . (-HT a b))
(a b a b a b a b . -> . (-HT a b))))]
[make-hash (-poly (a b) (->opt [(-lst (-pair a b))] (-HT a b)))]
[make-hasheq (-poly (a b) (->opt [(-lst (-pair a b))] (-HT a b)))]
[make-hasheqv (-poly (a b) (->opt [(-lst (-pair a b))] (-HT a b)))]