add in-hash-keys and in-hash-values
This commit is contained in:
parent
659715cd0e
commit
fe6435f056
|
@ -5,7 +5,9 @@
|
||||||
for/list
|
for/list
|
||||||
for/set
|
for/set
|
||||||
for/sum
|
for/sum
|
||||||
for/first)
|
for/first
|
||||||
|
in-hash-values
|
||||||
|
in-hash-keys)
|
||||||
|
|
||||||
(require "core-types.rkt")
|
(require "core-types.rkt")
|
||||||
(require "sequence.rkt")
|
(require "sequence.rkt")
|
||||||
|
@ -223,3 +225,14 @@
|
||||||
(⇒ ν-ep (τ-ep ...))
|
(⇒ ν-ep (τ-ep ...))
|
||||||
(⇒ ν-s (τ-s ...))
|
(⇒ ν-s (τ-s ...))
|
||||||
(⇒ ν-f (τ-f ...))])
|
(⇒ ν-f (τ-f ...))])
|
||||||
|
|
||||||
|
|
||||||
|
(define-typed-syntax (in-hash-values h) ≫
|
||||||
|
[⊢ h ≫ h- (⇒ : (~Hash K V))]
|
||||||
|
--------------------
|
||||||
|
[⊢ (#%app- in-hash-values- h-) (⇒ : (Sequence V))])
|
||||||
|
|
||||||
|
(define-typed-syntax (in-hash-keys h) ≫
|
||||||
|
[⊢ h ≫ h- (⇒ : (~Hash K V))]
|
||||||
|
--------------------
|
||||||
|
[⊢ (#%app- in-hash-keys- h-) (⇒ : (Sequence K))])
|
||||||
|
|
Loading…
Reference in New Issue