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

Add test for when new view set doesn't satisfy the filter predicate

Browse Source
This commit is contained in:
Jack Firth 2015-08-24 13:52:27 -07:00
parent b20a6fae6c
commit dbf20e86b4
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
unstable/lens/set-filterer.rkt
View File

@ -8,6 +8,7 @@ provide
require lens/private/base/main require lens/private/base/main
racket/set racket/set
racket/function
fancy-app fancy-app
module+ test module+ test
@ -48,6 +49,8 @@ module+ test
(set 1 2 3)) (set 1 2 3))
(check-equal? (lens-set (set-filterer-lens number?) (set 1 'a 2 'b 'c 3 'd 'e) (set 4 5 6 7)) (check-equal? (lens-set (set-filterer-lens number?) (set 1 'a 2 'b 'c 3 'd 'e) (set 4 5 6 7))
(set 4 5 6 7 'a 'b 'c 'd 'e)) (set 4 5 6 7 'a 'b 'c 'd 'e))
(check-exn exn:fail:contract?
(thunk (lens-set (set-filterer-lens number?) (set 1) (set 'a))))
(define (functional-set? st) (define (functional-set? st)