arrow-optics / arrow.optics.dsl

Package arrow.optics.dsl

Properties

some val <T, S> Lens<T, Option<S>>.some: Optional<T, S>
DSL to compose a Prism with focus arrow.core.Some with a Lens with a focus of Option<S>val <T, S> Iso<T, Option<S>>.some: Prism<T, S>
DSL to compose a Prism with focus arrow.core.Some with a Iso with a focus of Option<S>val <T, S> Prism<T, Option<S>>.some: Prism<T, S>
DSL to compose a Prism with focus arrow.core.Some with a Prism with a focus of Option<S>val <T, S> Optional<T, Option<S>>.some: Optional<T, S>
DSL to compose a Prism with focus arrow.core.Some with a Optional with a focus of Option<S>val <T, S> Setter<T, Option<S>>.some: Setter<T, S>
DSL to compose a Prism with focus arrow.core.Some with a Setter with a focus of Option<S>val <T, S> Traversal<T, Option<S>>.some: Traversal<T, S>
DSL to compose a Prism with focus arrow.core.Some with a Traversal with a focus of Option<S>val <T, S> Fold<T, Option<S>>.some: Fold<T, S>
DSL to compose a Prism with focus arrow.core.Some with a Fold with a focus of Option<S>

Functions

at fun <T, S, I, A> Lens<T, S>.at(AT: At<S, I, A>, 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.fun <T, S, I, A> Iso<T, S>.at(AT: At<S, I, A>, 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.fun <T, S, I, A> Prism<T, S>.at(AT: At<S, I, A>, 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.fun <T, S, I, A> Optional<T, S>.at(AT: At<S, I, A>, 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.fun <T, S, I, A> Getter<T, S>.at(AT: At<S, I, A>, 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.fun <T, S, I, A> Setter<T, S>.at(AT: At<S, I, A>, 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.fun <T, S, I, A> Traversal<T, S>.at(AT: At<S, I, A>, 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.fun <T, S, I, A> Fold<T, S>.at(AT: At<S, I, A>, 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.
every fun <T, S, A> Lens<T, S>.every(EA: Each<S, A>): Traversal<T, A>
DSL to compose Each with a Lens for a structure S to see all its foci Afun <T, S, A> Iso<T, S>.every(EA: Each<S, A>): Traversal<T, A>
DSL to compose Each with an Iso for a structure S to see all its foci Afun <T, S, A> Prism<T, S>.every(EA: Each<S, A>): Traversal<T, A>
DSL to compose Each with a Prism for a structure S to see all its foci Afun <T, S, A> Optional<T, S>.every(EA: Each<S, A>): Traversal<T, A>
DSL to compose Each with an Optional for a structure S to see all its foci Afun <T, S, A> Setter<T, S>.every(EA: Each<S, A>): Setter<T, A>
DSL to compose Each with a Setter for a structure S to see all its foci Afun <T, S, A> Traversal<T, S>.every(EA: Each<S, A>): Traversal<T, A>
DSL to compose Each with a Traversal for a structure S to see all its foci Afun <T, S, A> Fold<T, S>.every(EA: Each<S, A>): Fold<T, A>
DSL to compose Each with a Fold for a structure S to see all its foci A
index fun <T, S, I, A> Lens<T, S>.index(ID: Index<S, I, A>, i: I): Optional<T, A>
DSL to compose Index with a Lens for a structure S to focus in on A at given index Ifun <T, S, I, A> Iso<T, S>.index(ID: Index<S, I, A>, i: I): Optional<T, A>
DSL to compose Index with an Iso for a structure S to focus in on A at given index Ifun <T, S, I, A> Prism<T, S>.index(ID: Index<S, I, A>, i: I): Optional<T, A>
DSL to compose Index with a Prism for a structure S to focus in on A at given index Ifun <T, S, I, A> Optional<T, S>.index(ID: Index<S, I, A>, i: I): Optional<T, A>
DSL to compose Index with an Optional for a structure S to focus in on A at given index Ifun <T, S, I, A> Setter<T, S>.index(ID: Index<S, I, A>, i: I): Setter<T, A>
DSL to compose Index with a Setter for a structure S to focus in on A at given index Ifun <T, S, I, A> Traversal<T, S>.index(ID: Index<S, I, A>, i: I): Traversal<T, A>
DSL to compose Index with a Traversal for a structure S to focus in on A at given index Ifun <T, S, I, A> Fold<T, S>.index(ID: Index<S, I, A>, 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