arrow-optics / arrow.optics.typeclasses / At
At
interface At<S, I, A>
Functions
| at | Get a Lens for a structure S with focus in A at index i.abstract fun at(i: I): Lens<S, A>DSL to compose At with a Lens for a structure S to focus in on A at given index I. open fun <T> Lens<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> Iso<T, S>.at(i: I): Lens<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> Prism<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> Optional<T, S>.at(i: I): Optional<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> Getter<T, S>.at(i: I): Getter<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> Setter<T, S>.at(i: I): Setter<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> Traversal<T, S>.at(i: I): Traversal<T, A>DSL to compose At with a Fold 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> |
Companion Object Functions
| fromIso | Lift an instance of At using an Iso.fun <S, U, I, A> fromIso(AT: At<U, I, A>, iso: Iso<S, U>): At<S, I, A> |
| map | fun <K, V> map(): At<Map<K, V>, K, Option<V>> |
| set | At instance definition for Set.fun <A> set(): At<Set<A>, A, Boolean> |
Extension Functions
| remove | Delete a value associated with a key in a Map-like containerfun <S, I, A> At<S, I, Option<A>>.remove(s: S, i: I): SLift deletion of a value associated with a key in a Map-like container fun <S, I, A> At<S, I, Option<A>>.remove(i: I): (S) -> S |
Inheritors
| MapAt | At instance definition for Map.interface ~~MapAt~~<K, V> : At<Map<K, V>, K, Option<V>> |
| MapKAt | At instance definition for MapK.interface ~~MapKAt~~<K, V> : At<MapK<K, V>, K, Option<V>> |
| SetKAt | At instance definition for SetK.interface ~~SetKAt~~<A> : At<SetK<A>, A, Boolean> |