# at

Get a Lens for a structure S with focus in A at index i.

#### Return

#### Parameters

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

#### Receiver

#### Return

#### Parameters

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

#### Receiver

#### Return

#### Parameters

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

#### Receiver

#### Return

#### Parameters

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

#### Receiver

#### Return

#### Parameters

DSL to compose At with a Getter for a structure S to focus in on A at given index I.

#### Receiver

#### Return

#### Parameters

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

#### Receiver

#### Return

#### Parameters

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

#### Receiver

#### Return

#### Parameters

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