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

Add examples for impersonator-of?.

Browse Source
This commit is contained in:
Vincent St-Amour 2017-04-27 18:17:30 -05:00
parent d9b39eac1f
commit 206ced8d47
1 changed files with 18 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
pkgs/racket-doc/scribblings/reference/chaperones.scrbl
View File

@ -106,6 +106,24 @@ an impersonator as one of its elements), then @racket[(impersonator-of? v1 v2)]
proceeds by comparing @racket[v1] and @racket[v2] recursively (as with
@racket[equal?]), returning true if all subparts are @racket[impersonator-of?].
@examples[
(impersonator-of? (impersonate-procedure add1 (λ (x) x))
add1)
(impersonator-of? (impersonate-procedure add1 (λ (x) x))
sub1)
(impersonator-of? (impersonate-procedure
(impersonate-procedure add1 (λ (x) x)) (λ (x) x))
add1)
(impersonator-of? (impersonate-procedure add1 (λ (x) x))
(impersonate-procedure add1 #f))
(impersonator-of? (impersonate-procedure add1 (λ (x) x))
(impersonate-procedure add1 (λ (x) x)))
(impersonator-of? (list 1 2)
(list 1 2))
(impersonator-of? (list (impersonate-procedure add1 (λ (x) x)) sub1)
(list add1 sub1))
]
@defproc[(chaperone-of? [v1 any/c] [v2 any/c]) boolean?]{
Indicates whether @racket[v1] can be considered equivalent modulo