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

add docs for contract-late-neg-projection and contract-val-first-projection

Browse Source
This commit is contained in:
Robby Findler 2016-01-06 15:41:27 -06:00
parent 8b4f8541c3
commit 578b42fc2b
1 changed files with 21 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2848,8 +2848,28 @@ Produces the name used to describe the contract in error messages.
@history[#:added "6.0.1.12"]
}
@defproc[(contract-late-neg-projection [c contract?]) (-> blame? (-> any/c (or/c #f any/c) any/c))]{
Produces the projection defining a contract's behavior.
The first argument, @racket[blame?] object encapsulates information about
the contract checking, mostly used to create a meaningful error message if
a contract violation is detected. The resulting function's first argument
is the value that should have the contract and its second argument is
a ``missing party'' from the blame object, to be passed to @racket[raise-contract-error].
If possible, use this function instead of @racket[contract-val-first-projection] or
@racket[contract-projection].
}
@defproc[(contract-projection [c contract?]) (-> blame? (-> any/c any/c))]{
Produces the projection defining a contract's behavior on protected values.
Produces the projection defining a contract's behavior. See also
@racket[contract-late-neg-projection].
}
@defproc[(contract-val-first-projection [c contract?]) (-> blame? (-> any/c (-> any/c any/c)))]{
Produces the projection defining a contract's behavior.
See also @racket[contract-late-neg-projection].
}
@defproc[(make-none/c [sexp-name any/c]) contract?]{