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

fixed docs for state clauses; closes PR 14481

Browse Source
This commit is contained in:
Matthias Felleisen 2014-05-04 18:40:29 -04:00
parent 16956c3daf
commit 33794ee8aa
1 changed files with 9 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
pkgs/htdp-pkgs/htdp-doc/teachpack/2htdp/scribblings/universe.scrbl
View File

@ -196,7 +196,7 @@ The design of a world program demands that you come up with a data
(stop-when stop-expr) (stop-when stop-expr last-scene-expr) (stop-when stop-expr) (stop-when stop-expr last-scene-expr)
(check-with world?-expr) (check-with world?-expr)
(record? r-expr) (record? r-expr)
(state boolean-expr) (state expr)
(on-receive rec-expr) (on-receive rec-expr)
(register IP-expr) (register IP-expr)
(port Port-expr) (port Port-expr)
@ -709,7 +709,8 @@ and @racket[big-bang] will close down all event handling.}
@item{ @item{
@defform[(check-with world-expr?) @defform[#:literals (check-with)
(check-with world-expr?)
#:contracts #:contracts
([world-expr? (-> Any boolean?)])]{ ([world-expr? (-> Any boolean?)])]{
tells DrRacket to call the @racket[world-expr?] function on the result of tells DrRacket to call the @racket[world-expr?] function on the result of
@ -719,7 +720,8 @@ and @racket[big-bang] will close down all event handling.}
@item{ @item{
@defform[(record? r-expr) @defform[#:literals (record?)
(record? r-expr)
#:contracts #:contracts
([r-expr any/c])]{ ([r-expr any/c])]{
tells DrRacket to enable a visual replay of the interaction, tells DrRacket to enable a visual replay of the interaction,
@ -733,10 +735,8 @@ and @racket[big-bang] will close down all event handling.}
@item{ @item{
@defform[(state boolean-expr) @defform[#:literals (state) (state expr)]{
#:contracts if not @racket[#f], DrRacket opens a separate window in which the current
([boolean-expr boolean?])]{
tells DrRacket to display a separate window in which the current
state is rendered each time it is updated. This is useful for beginners state is rendered each time it is updated. This is useful for beginners
who wish to see how their world evolves---without having to design a who wish to see how their world evolves---without having to design a
rendering function---plus for the debugging of world programs. rendering function---plus for the debugging of world programs.
@ -1170,7 +1170,7 @@ The @tech{server} itself is created with a description that includes the
(on-tick tick-expr rate-expr) (on-tick tick-expr rate-expr)
(on-tick tick-expr rate-expr limit-expr) (on-tick tick-expr rate-expr limit-expr)
(on-disconnect dis-expr) (on-disconnect dis-expr)
(state boolean-expr) (state expr)
(to-string render-expr) (to-string render-expr)
(port port-expr) (port port-expr)
(check-with universe?-expr) (check-with universe?-expr)
@ -1303,9 +1303,7 @@ optional handlers:
} }
@item{ @item{
@defform/none[(state boolean-expr) @defform/none[#:literals (state) (state expr)]{
#:contracts
([boolean-expr boolean?])]{
tells DrRacket to display a separate window in which the current tells DrRacket to display a separate window in which the current
state is rendered each time it is updated. This is mostly useful for state is rendered each time it is updated. This is mostly useful for
debugging server programs. debugging server programs.