[racket] Scribblings @defproc for typed/racket

From: Ray Racine (ray.racine at gmail.com)
Date: Mon Feb 27 12:33:53 EST 2012

I have a bunch of typed/racket code that I'm trying to document with
visions of planet as an end state.

Is there away to use scribble to document procedures in a more typed/racket
fashion?

Instead of @defproc ... giving
(bytes-open-converter<http://docs.racket-lang.org/reference/bytestrings.html?q=open-connection#(def._((quote._~23~25kernel)._bytes-open-converter))>
 from-name to-name) →
bytes-converter?<http://docs.racket-lang.org/reference/bytestrings.html?q=open-connection#(def._((quote._~23~25kernel)._bytes-converter~3f))>
  from-name : string?<http://docs.racket-lang.org/reference/strings.html?q=open-connection#(def._((quote._~23~25kernel)._string~3f))>
  to-name : string?<http://docs.racket-lang.org/reference/strings.html?q=open-connection#(def._((quote._~23~25kernel)._string~3f))>
(bytes-open-converter from-name toname) -> bytes-converter?
  from-name : string?
  to-name : string?

I'm looking for @defproc giving more something along the lines of the
following.

(: bytes-open-converter (String String -> BytesConverter))
(bytes-open-converter<http://docs.racket-lang.org/reference/bytestrings.html?q=open-connection#(def._((quote._~23~25kernel)._bytes-open-converter))>
 from-name to-name)  from-name :
string?<http://docs.racket-lang.org/reference/strings.html?q=open-connection#(def._((quote._~23~25kernel)._string~3f))>
  to-name : string?<http://docs.racket-lang.org/reference/strings.html?q=open-connection#(def._((quote._~23~25kernel)._string~3f))>

(: bytes-open-converter (String String -> BytesConverter))
(bytes-open-converter from-name to-name)

Ray
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20120227/0b5dec00/attachment.html>

Posted on the users mailing list.