Type

(all (K1 V1 K2 V2)
  (-> (hash-t K1 V1)
      (-> K1 V1 (pair-t K2 V2))
      (hash-t K2 V2)))

Description

Map a function over keys and values, producing new entries.

Examples

(hash-map
  (@hash 1 2 3 4)
  (lambda (k v) (make-pair (iadd 1 k) (iadd 1 v))))
;; => (@hash 2 3 4 5)