# index

DSL to compose Index with a Lens for a structure S to focus in on A at given index I

#### Receiver

#### Return

#### Parameters

DSL to compose Index with an Iso for a structure S to focus in on A at given index I

#### Receiver

#### Return

#### Parameters

DSL to compose Index with a Prism for a structure S to focus in on A at given index I

#### Receiver

#### Return

#### Parameters

DSL to compose Index with an Optional for a structure S to focus in on A at given index I

#### Receiver

#### Return

#### Parameters

DSL to compose Index with a Setter for a structure S to focus in on A at given index I

#### Receiver

#### Return

#### Parameters

DSL to compose Index with a Traversal for a structure S to focus in on A at given index I

#### Receiver

#### Return

#### Parameters

DSL to compose Index with a Fold for a structure S to focus in on A at given index I