Λrrow Optics

Package arrow.optics.dsl

Properties

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

Functions

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