more hash operations
This commit is contained in:
parent
9dd11ef7db
commit
5fda25a42e
|
@ -5,9 +5,11 @@
|
||||||
hash
|
hash
|
||||||
hash-set
|
hash-set
|
||||||
hash-ref
|
hash-ref
|
||||||
|
(typed-out [[hash-ref/failure- : (∀ (K V) (→fn (Hash K V) K V V))]
|
||||||
|
hash-ref/failure])
|
||||||
hash-has-key?
|
hash-has-key?
|
||||||
hash-update
|
hash-update
|
||||||
(typed-out [[hash-update/failure- : (∀ (K V) (→fn (Hash K V) K (→fn V V) (→fn V) (Hash K V)))]
|
(typed-out [[hash-update/failure- : (∀ (K V) (→fn (Hash K V) K (→fn V V) V (Hash K V)))]
|
||||||
hash-update/failure])
|
hash-update/failure])
|
||||||
hash-remove
|
hash-remove
|
||||||
hash-map
|
hash-map
|
||||||
|
@ -72,6 +74,9 @@
|
||||||
;; TODO - hash-union with #:combine
|
;; TODO - hash-union with #:combine
|
||||||
)
|
)
|
||||||
|
|
||||||
|
(define- (hash-ref/failure- h k err)
|
||||||
|
(#%app- hash-ref- h k err))
|
||||||
|
|
||||||
(define- (hash-update/failure- h k u err)
|
(define- (hash-update/failure- h k u err)
|
||||||
(#%app- hash-update- h k u err))
|
(#%app- hash-update- h k u err))
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue