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

Rename string pluck

Browse Source
This commit is contained in:
Jack Firth 2015-07-24 21:56:32 -07:00
parent 9488650021
commit cc80637f2f
2 changed files with 14 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

27
unstable/lens/string.rkt
View File

@ -1,16 +1,16 @@
#lang racket/base
(provide string-ref-lens
string-pluck-lens
)
string-pick-lens)
(require fancy-app
lens/base/main
"join.rkt"
)
"join.rkt")
(module+ test
(require rackunit))
(define (string-ref-lens i)
(make-lens
(string-ref _ i)
@ -24,20 +24,17 @@
c
(string-ref s j))))))
(define (string-pluck-lens . is)
(module+ test
(check-equal? (lens-view (string-ref-lens 2) "abc") #\c)
(check-equal? (lens-set (string-ref-lens 0) "abc" #\A) "Abc"))
(define (string-pick-lens . is)
(apply lens-join/string (map string-ref-lens is)))
(module+ test
(check-equal? (lens-view (string-ref-lens 0) "abc") #\a)
(check-equal? (lens-view (string-ref-lens 1) "abc") #\b)
(check-equal? (lens-view (string-ref-lens 2) "abc") #\c)
(check-equal? (lens-set (string-ref-lens 0) "abc" #\A) "Abc")
(check-equal? (lens-set (string-ref-lens 1) "abc" #\B) "aBc")
(check-equal? (lens-set (string-ref-lens 2) "abc" #\C) "abC")
(define 1-5-6-lens (string-pluck-lens 1 5 6))
(define 1-5-6-lens (string-pick-lens 1 5 6))
(check-equal? (lens-view 1-5-6-lens "abcdefg")
"bfg")
(check-equal? (lens-set 1-5-6-lens "abcdefg" "BFG")
"aBcdeFG")
)
"aBcdeFG"))

4
unstable/lens/string.scrbl
View File

@ -11,11 +11,11 @@ Returns a lens for viewing the @racket[i]th character of a string.
(lens-set (string-ref-lens 2) "abcdef" #\C)
]}
@defproc[(string-pluck-lens [i exact-nonnegative-integer?]) lens?]{
@defproc[(string-pick-lens [i exact-nonnegative-integer?]) lens?]{
Like @racket[list-refs-lens], but for strings.
Equivalent to @racket[(lens-join/string (string-ref-lens i) ...)].
@lenses-unstable-examples[
(define 1-5-6-lens (string-pluck-lens 1 5 6))
(define 1-5-6-lens (string-pick-lens 1 5 6))
(lens-view 1-5-6-lens "abcdefg")
(lens-set 1-5-6-lens "abcdefg" "BFG")
]}