Re-add missing file
This commit is contained in:
parent
a518780122
commit
53c8fa61da
11
lens/vector/ref.scrbl
Normal file
11
lens/vector/ref.scrbl
Normal file
|
@ -0,0 +1,11 @@
|
|||
#lang scribble/manual
|
||||
|
||||
@(require "../doc-util/main.rkt")
|
||||
|
||||
|
||||
@defproc[(vector-ref-lens [i exact-nonnegative-integer?]) lens?]{
|
||||
Returns a lens that views an element of a vector.
|
||||
@lenses-examples[
|
||||
(lens-view (vector-ref-lens 2) #(a b c d))
|
||||
(lens-set (vector-ref-lens 2) #(a b c d) "sea")
|
||||
]}
|
Loading…
Reference in New Issue
Block a user