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

Add example use of lens law testing

Browse Source
This commit is contained in:
Jack Firth 2015-07-11 22:02:49 -07:00
parent ece0554d23
commit 5b5955f732
1 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
lens/list/car-cdr.rkt
View File

@ -7,7 +7,8 @@
(require "../base/main.rkt")
(module+ test
(require rackunit))
(require rackunit
"../test-util/test-lens.rkt"))
(define (set-car pair v)
@ -20,5 +21,10 @@
(define cdr-lens (make-lens cdr set-cdr))
(module+ test
(check-equal? (lens-view car-lens '(1 . 2)) 1)
(check-equal? (lens-view cdr-lens '(1 . 2)) 2))
(check-view car-lens '(1 . 2) 1)
(check-set car-lens '(1 . 2) 'a '(a . 2))
(test-lens-laws car-lens '(1 . 2) 'a 'b)
(check-view cdr-lens '(1 . 2) 2)
(check-set cdr-lens '(1 . 2) 'a '(1 . a))
(test-lens-laws cdr-lens '(1 . 2) 'a 'b))