arrow-optics / arrow.optics.typeclasses / Each
Each
interface Each<S, A>
Properties
| every | DSL to compose Each with a Lens for a structure S to see all its foci Aopen val <T> Lens<T, S>.~~every~~: Traversal<T, A>DSL to compose Each with a Iso for a structure S to see all its foci A open val <T> Iso<T, S>.~~every~~: Traversal<T, A>DSL to compose Each with a Prism for a structure S to see all its foci A open val <T> Prism<T, S>.~~every~~: Traversal<T, A>DSL to compose Each with a Optional for a structure S to see all its foci A open val <T> Optional<T, S>.~~every~~: Traversal<T, A>DSL to compose Each with a Setter for a structure S to see all its foci A open val <T> Setter<T, S>.~~every~~: Setter<T, A>DSL to compose Each with a Traversal for a structure S to see all its foci A open val <T> Traversal<T, S>.~~every~~: Traversal<T, A>DSL to compose Each with a Fold for a structure S to see all its foci A open val <T> Fold<T, S>.~~every~~: Fold<T, A> |
Functions
| each | Provide a Traversal for a structure S with focus in Aabstract fun each(): Traversal<S, A> |
Companion Object Functions
| fromIso | Lift an instance of Each using an Isofun <S, A, B> fromIso(EA: Each<A, B>, iso: Iso<S, A>): Each<S, B> |
| fromTraverse | Create an instance of Each from a Traversefun <S, A> fromTraverse(T: Traverse<S>): Each<Kind<S, A>, A> |
Inheritors
| EitherEach | Each instance for Either that has focus in each Either.Right.interface ~~EitherEach~~<L, R> : Each<Either<L, R>, R> |
| ListEach | Each instance definition for List that summons a Traversal to focus in each A of the source List.interface ~~ListEach~~<A> : Each<List<A>, A> |
| ListKEach | Each instance definition for ListK.interface ~~ListKEach~~<A> : Each<ListK<A>, A> |
| MapEach | Each instance definition for Map.interface ~~MapEach~~<K, V> : Each<Map<K, V>, V> |
| MapKEach | Each instance definition for Map.interface ~~MapKEach~~<K, V> : Each<MapK<K, V>, V> |
| NonEmptyListEach | Each instance definition for NonEmptyList.interface ~~NonEmptyListEach~~<A> : Each<NonEmptyList<A>, A> |
| OptionEach | Each instance definition for Option.interface ~~OptionEach~~<A> : Each<Option<A>, A> |
| SequenceKEach | Each instance definition for SequenceK.interface ~~SequenceKEach~~<A> : Each<SequenceK<A>, A> |
| StringEach | Each instance for String.interface ~~StringEach~~ : Each<String, Char> |