"hasheqof" is mentioned in the docs but doesn't seem to exist

[ghost]

A function "hasheqof" is described in racket/pkgs/racket-doc/json/json.scrbl, but doesn't seem to be defined anywhere in the repo.

I wanted it to write a validator for some JSON data, so here's what I came up with.

(define (hasheqof k? v?) 
  (λ (h)
    (for/and ([(k v) h]) 
       (and (k? k) (v? v)))))

[bennn]

Can you use jsexpr? for your validator?

[ghost]

No can do. I was checking to see if something was a 'terminal' JSON object, ie (hasheqof symbol? string?).

I think it has more applications than just the json module anyway.

[bennn]

How about using the hash/c contract?

> (define (hasheqof k v) (and/c hash-eq? (hash/c k v #:flat? #t)))
> ((hasheqof symbol? string?) (hasheq 'a "a" 'b "b"))
#t

[ghost]

That's a better implementation, sure.

But the core problem is that the docs mention a contract that doesn't exist. Shouldn't it exist?

[samth]

That, or the docs should be fixed.