index_l {tinylens}R Documentation

Index lens

Description

Lens into a single element of a list.

Usage

index_l(i)

Arguments

i

Index of the element to lens into

Details

This lens performs indexing using double bracket notation, i.e., x[[i]].

Value

A lens that selects the specified element

Examples

x <- list(a = 1, b = 2)
l <- index_l("a")
view(x, l)

[Package tinylens version 0.1.0 Index]