suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add doc examples for other TR REPL commands

Browse Source 
original commit: b0213b7ebe5c712cf1efa82dc11dbdc0fd0589b1
This commit is contained in:
Asumu Takikawa 2014-01-21 18:53:25 -05:00
parent 0dda32fb4a
commit 223f4d8f6f
1 changed files with 20 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/exploring-types.scrbl
View File

@ -34,14 +34,31 @@ The following bindings are only available at the Typed Racket REPL.
}
@defform[(:print-type e)]{Prints the type of @racket[_e]. This prints the whole
type, which can sometimes be quite large.}
type, which can sometimes be quite large.
@examples[#:eval the-top-eval
(:print-type (+ 1 2))
(:print-type map)
]
}
@defform[(:query-type/args f t ...)]{Given a function @racket[f] and argument
types @racket[t], shows the result type of @racket[f].}
types @racket[t], shows the result type of @racket[f].
@examples[#:eval the-top-eval
(:query-type/args + Integer Number)
]
}
@defform[(:query-type/result f t)]{Given a function @racket[f] and a desired
return type @racket[t], shows the arguments types @racket[f] should be given to
return a value of type @racket[t].}
return a value of type @racket[t].
@examples[#:eval the-top-eval
(:query-type/result + Integer)
(:query-type/result + Float)
]
}
@close-eval[the-top-eval]