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

add types for hash-clear, hash-clear!, and hash-copy-clear (#466)

Browse Source
This commit is contained in:
Phil Nguyen 2017-01-04 15:16:49 -05:00 committed by Sam Tobin-Hochstadt
parent 5b546e1b2c
commit 2bb0698388
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -966,6 +966,12 @@
[(-HashtableTop Univ) -HashtableTop]))]
[hash-remove! (-poly (a b) (cl-> [((-HT a b) a) -Void]
[(-HashtableTop a) -Void]))]
[hash-clear! (-> -HashtableTop -Void)]
[hash-clear (-poly (a b) (cl-> [((-HT a b)) (-HT a b)]
[(-HashtableTop) -HashtableTop]))]
[hash-copy-clear (-poly (a b) (cl-> [((-HT a b)) (-HT a b)]
[(-HashtableTop) -HashtableTop]))]
[hash-map (-poly (a b c) (cl-> [((-HT a b) (a b . -> . c)) (-lst c)]
[(-HashtableTop (Univ Univ . -> . c)) (-lst c)]))]
[hash-for-each (-poly (a b c) (cl-> [((-HT a b) (-> a b c)) -Void]