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

make lens-join/vector use immutable vectors

Browse Source
This commit is contained in:
AlexKnauth 2015-07-17 16:09:32 -04:00
parent 6652ccc74a
commit 68a4c2d76a
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
unstable/lens/join.rkt
View File

@ -84,8 +84,11 @@
(λ (tgt) (f tgt))
(λ (tgt v) (f-inv v))))
(define (list->immutable-vector lst)
(apply vector-immutable lst))
(define list->vector-lens
(inverse-function-lens list->vector vector->list))
(inverse-function-lens list->immutable-vector vector->list))
(module+ test
(define vector-first-third-fifth-lens
@ -94,6 +97,7 @@
fifth-lens))
(check-equal? (lens-view vector-first-third-fifth-lens '(a b c d e f))
#(a c e))
(check-pred immutable? (lens-view vector-first-third-fifth-lens '(a b c d e f)))
(check-equal? (lens-set vector-first-third-fifth-lens '(a b c d e f) #(1 2 3))
'(1 b 2 d 3 f)))