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

mv get/build-val-first-projection & get/build-late-neg-projection doc

Browse Source 
close #2883
This commit is contained in:
xxyzz 2021-03-09 21:06:29 +08:00 committed by Robby Findler
parent 5a2b6aab1e
commit c9956aceae
1 changed files with 19 additions and 22 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

41
pkgs/racket-doc/scribblings/reference/contracts.scrbl
View File

@ -2564,28 +2564,6 @@ contracts. The error messages assume that the function named by
the value cannot be coerced to a contract.
}
@defproc[(get/build-val-first-projection [c contract?])
(-> blame? (-> any/c (-> any/c any/c)))]{
Returns the @racket[_val-first] projection for @racket[c].
See @racket[make-contract] for more details.
@history[#:added "6.1.1.5"]
}
@defproc[(get/build-late-neg-projection [c contract?])
(-> blame? (-> any/c any/c any/c))]{
Returns the @racket[_late-neg] projection for @racket[c].
If @racket[c] does not have a @racket[_late-neg] contract,
then this function uses the original projection for it
and logs a warning to the @racket['racket/contract] logger.
See @racket[make-contract] for more details.
@history[#:added "6.2.900.11"]
}
@defparam[skip-projection-wrapper? wrap? boolean? #:value #f]{
The functions @racket[make-chaperone-contract] and
@racket[build-chaperone-contract-property] wrap their
@ -3655,8 +3633,27 @@ currently being checked.
@history[#:added "6.3"]
}
@defproc[(get/build-val-first-projection [c contract?])
(-> blame? (-> any/c (-> any/c any/c)))]{
Returns the @racket[_val-first] projection for @racket[c].
See @racket[make-contract] for more details.
@history[#:added "6.1.1.5"]
}
@defproc[(get/build-late-neg-projection [c contract?])
(-> blame? (-> any/c any/c any/c))]{
Returns the @racket[_late-neg] projection for @racket[c].
If @racket[c] does not have a @racket[_late-neg] contract,
then this function uses the original projection for it
and logs a warning to the @racket['racket/contract] logger.
See @racket[make-contract] for more details.
@history[#:added "6.2.900.11"]
}
@section{@racketmodname[racket/contract/base]}