idx_lens

Index Lens

Targets an element in a List or Vector by its 0-based index.

Parameters

• i (Int): The index to target.

Returns

A lens for the specified index.