arrow-optics / arrow.optics.extensions / MapAt

MapAt

interface MapAt<K, V> : At<Map<K, V>, K, Option<V>>

At instance definition for Map.

Functions

at open fun at(i: K): Lens<Map<K, V>, Option<V>>
Get a Lens for a structure S with focus in A at index i.

Inherited Functions

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

Companion Object Functions

invoke operator fun <K, V> invoke(): MapAt<K, V>
Operator overload to instantiate typeclass instance.

Extension Functions

remove fun <S, I, A> At<S, I, Option<A>>.remove(s: S, i: I): S
Delete a value associated with a key in a Map-like containerfun <S, I, A> At<S, I, Option<A>>.remove(i: I): (S) -> S
Lift deletion of a value associated with a key in a Map-like container