arrow-optics / arrow.optics.extensions / NonEmptyListIndex

NonEmptyListIndex

@extension interface NonEmptyListIndex<A> : Index<NonEmptyList<A>, Int, A>

Index instance definition for NonEmptyList.

Functions

index open fun index(i: Int): Optional<NonEmptyList<A>, A>
Get Optional focus A for a structure S at index i.

Inherited Functions

get open operator fun <T> Lens<T, S>.get(i: I): Optional<T, A>
DSL to compose Index with a Lens for a structure S to focus in on A at given index I.open operator fun <T> Iso<T, S>.get(i: I): Optional<T, A>
DSL to compose Index with an Iso for a structure S to focus in on A at given index I.open operator fun <T> Prism<T, S>.get(i: I): Optional<T, A>
DSL to compose Index with a Prism for a structure S to focus in on A at given index I.open operator fun <T> Optional<T, S>.get(i: I): Optional<T, A>
DSL to compose Index with an Optional for a structure S to focus in on A at given index I.open operator fun <T> Setter<T, S>.get(i: I): Setter<T, A>
DSL to compose Index with a Setter for a structure S to focus in on A at given index I.open operator fun <T> Traversal<T, S>.get(i: I): Traversal<T, A>
DSL to compose Index with a Traversal for a structure S to focus in on A at given index I.open operator fun <T> Fold<T, S>.get(i: I): Fold<T, A>
DSL to compose Index with a Fold for a structure S to focus in on A at given index I.
index open fun <T> Lens<T, S>.index(i: I): Optional<T, A>
DSL to compose Index with a Lens for a structure S to focus in on A at given index I.open fun <T> Iso<T, S>.index(i: I): Optional<T, A>
DSL to compose Index with an Iso for a structure S to focus in on A at given index I.open fun <T> Prism<T, S>.index(i: I): Optional<T, A>
DSL to compose Index with a Prism for a structure S to focus in on A at given index I.open fun <T> Optional<T, S>.index(i: I): Optional<T, A>
DSL to compose Index with an Optional for a structure S to focus in on A at given index I.open fun <T> Setter<T, S>.index(i: I): Setter<T, A>
DSL to compose Index with a Setter for a structure S to focus in on A at given index I.open fun <T> Traversal<T, S>.index(i: I): Traversal<T, A>
DSL to compose Index with a Traversal for a structure S to focus in on A at given index I.open fun <T> Fold<T, S>.index(i: I): Fold<T, A>
DSL to compose Index with a Fold for a structure S to focus in on A at given index I.