I have a bunch of typed/racket code that I'm trying to document with visions of planet as an end state. <div><br></div><div>Is there away to use scribble to document procedures in a more typed/racket fashion?<div><br></div>
<div>Instead of @defproc ... giving</div><div><table cellspacing="0" class="boxed RBoxed" style="width:559px;background-color:rgb(232,232,255);white-space:nowrap;font-family:serif"><tbody><tr><td style="padding-left:0px;padding-right:0px">
<span class="RktPn" style="font-family:monospace;white-space:inherit;color:rgb(132,60,36)">(</span><a name="(def._((quote._~23~25kernel)._bytes-open-converter))"></a><span title="Provided from: racket/base, racket"><span class="RktSym" style="font-family:monospace;white-space:inherit;color:rgb(38,38,128)"><a href="http://docs.racket-lang.org/reference/bytestrings.html?q=open-connection#(def._((quote._~23~25kernel)._bytes-open-converter))" class="RktValLink" style="text-decoration:none;color:blue">bytes-open-converter</a></span></span><span class="hspace" style="font-family:monospace"> </span><span class="RktVar" style="font-family:monospace;white-space:inherit;color:rgb(38,38,128);font-style:italic">from-name</span><span class="hspace" style="font-family:monospace"> </span><span class="RktVar" style="font-family:monospace;white-space:inherit;color:rgb(38,38,128);font-style:italic">to-name</span><span class="RktPn" style="font-family:monospace;white-space:inherit;color:rgb(132,60,36)">)</span><span class="hspace" style="font-family:monospace"> </span>→<span class="hspace" style="font-family:monospace"> </span><span class="RktSym" style="font-family:monospace;white-space:inherit;color:rgb(38,38,128)"><a href="http://docs.racket-lang.org/reference/bytestrings.html?q=open-connection#(def._((quote._~23~25kernel)._bytes-converter~3f))" class="RktValLink" style="text-decoration:none;color:blue">bytes-converter?</a></span></td>
</tr><tr><td style="padding-left:0px;padding-right:0px"><span class="hspace" style="font-family:monospace"> </span><span class="RktVar" style="font-family:monospace;white-space:inherit;color:rgb(38,38,128);font-style:italic">from-name</span><span class="hspace" style="font-family:monospace"> </span>:<span class="hspace" style="font-family:monospace"> </span><span class="RktSym" style="font-family:monospace;white-space:inherit;color:rgb(38,38,128)"><a href="http://docs.racket-lang.org/reference/strings.html?q=open-connection#(def._((quote._~23~25kernel)._string~3f))" class="RktValLink" style="text-decoration:none;color:blue">string?</a></span></td>
</tr><tr><td style="padding-left:0px;padding-right:0px"><span class="hspace" style="font-family:monospace"> </span><span class="RktVar" style="font-family:monospace;white-space:inherit;color:rgb(38,38,128);font-style:italic">to-name</span><span class="hspace" style="font-family:monospace"> </span>:<span class="hspace" style="font-family:monospace"> </span><span class="RktSym" style="font-family:monospace;white-space:inherit;color:rgb(38,38,128)"><a href="http://docs.racket-lang.org/reference/strings.html?q=open-connection#(def._((quote._~23~25kernel)._string~3f))" class="RktValLink" style="text-decoration:none;color:blue">string?</a></span></td>
</tr></tbody></table><br>(bytes-open-converter from-name toname) -> bytes-converter?</div><div> from-name : string?</div><div> to-name : string?</div><div><br>I'm looking for @defproc giving more something along the lines of the following.</div>
<div><br></div><div><table cellspacing="0" class="boxed RBoxed" style="width:559px;background-color:rgb(232,232,255);white-space:nowrap;font-family:serif"><tbody><tr><td style="padding-left:0px;padding-right:0px"><span class="RktPn" style="font-family:monospace;white-space:inherit;color:rgb(132,60,36)">(: bytes-open-converter (String String -> BytesConverter))<br>
(</span><a name="(def._((quote._~23~25kernel)._bytes-open-converter))"></a><span title="Provided from: racket/base, racket"><span class="RktSym" style="font-family:monospace;white-space:inherit;color:rgb(38,38,128)"><a href="http://docs.racket-lang.org/reference/bytestrings.html?q=open-connection#(def._((quote._~23~25kernel)._bytes-open-converter))" class="RktValLink" style="text-decoration:none;color:blue">bytes-open-converter</a></span></span><span class="hspace" style="font-family:monospace"> </span><span class="RktVar" style="font-family:monospace;white-space:inherit;color:rgb(38,38,128);font-style:italic">from-name</span><span class="hspace" style="font-family:monospace"> </span><span class="RktVar" style="font-family:monospace;white-space:inherit;color:rgb(38,38,128);font-style:italic">to-name</span><span class="RktPn" style="font-family:monospace;white-space:inherit;color:rgb(132,60,36)">)</span></td>
</tr><tr><td style="padding-left:0px;padding-right:0px"><span class="hspace" style="font-family:monospace"> </span><span class="RktVar" style="font-family:monospace;white-space:inherit;color:rgb(38,38,128);font-style:italic">from-name</span><span class="hspace" style="font-family:monospace"> </span>:<span class="hspace" style="font-family:monospace"> </span><span class="RktSym" style="font-family:monospace;white-space:inherit;color:rgb(38,38,128)"><a href="http://docs.racket-lang.org/reference/strings.html?q=open-connection#(def._((quote._~23~25kernel)._string~3f))" class="RktValLink" style="text-decoration:none;color:blue">string?</a></span></td>
</tr><tr><td style="padding-left:0px;padding-right:0px"><span class="hspace" style="font-family:monospace"> </span><span class="RktVar" style="font-family:monospace;white-space:inherit;color:rgb(38,38,128);font-style:italic">to-name</span><span class="hspace" style="font-family:monospace"> </span>:<span class="hspace" style="font-family:monospace"> </span><span class="RktSym" style="font-family:monospace;white-space:inherit;color:rgb(38,38,128)"><a href="http://docs.racket-lang.org/reference/strings.html?q=open-connection#(def._((quote._~23~25kernel)._string~3f))" class="RktValLink" style="text-decoration:none;color:blue">string?</a></span></td>
</tr></tbody></table></div><div><br></div><div>(: bytes-open-converter (String String -> BytesConverter))</div><div>(bytes-open-converter from-name to-name)</div><div><br></div><div>Ray</div><div><div><br></div><div><br>
</div></div></div>