arrow-optics / arrow.optics.typeclasses / Each

Each

interface Each<S, A>

Each provides a Traversal that can focus into a structure S to see all its foci A

Parameters

S - source of the Traversal

A - focus of Traversal

Properties

every open val <T> Lens<T, S>.every: Traversal<T, A>
DSL to compose Each with a Lens for a structure S to see all its foci Aopen val <T> Iso<T, S>.every: Traversal<T, A>
DSL to compose Each with a Iso for a structure S to see all its foci Aopen val <T> Prism<T, S>.every: Traversal<T, A>
DSL to compose Each with a Prism for a structure S to see all its foci Aopen val <T> Optional<T, S>.every: Traversal<T, A>
DSL to compose Each with a Optional for a structure S to see all its foci Aopen val <T> Setter<T, S>.every: Setter<T, A>
DSL to compose Each with a Setter for a structure S to see all its foci Aopen val <T> Traversal<T, S>.every: Traversal<T, A>
DSL to compose Each with a Traversal for a structure S to see all its foci Aopen val <T> Fold<T, S>.every: Fold<T, A>
DSL to compose Each with a Fold for a structure S to see all its foci A

Functions

each abstract fun each(): Traversal<S, A>
Provide a Traversal for a structure S with focus in A

Companion Object Functions

fromIso fun <S, A, B> fromIso(EA: Each<A, B>, iso: Iso<S, A>): Each<S, B>
Lift an instance of Each using an Iso
fromTraverse fun <S, A> fromTraverse(T: Traverse<S>): Each<Kind<S, A>, A>
Create an instance of Each from a Traverse

Inheritors

EitherEach interface EitherEach<L, R> : Each<Either<L, R>, R>
Each instance for Either that has focus in each Either.Right.
ListEach interface ListEach<A> : Each<List<A>, A>
Each instance definition for List that summons a Traversal to focus in each A of the source List.
ListKEach interface ListKEach<A> : Each<ListK<A>, A>
Each instance definition for ListK.
MapEach interface MapEach<K, V> : Each<Map<K, V>, V>
Each instance definition for Map.
MapKEach interface MapKEach<K, V> : Each<MapK<K, V>, V>
Each instance definition for Map.
NonEmptyListEach interface NonEmptyListEach<A> : Each<NonEmptyList<A>, A>
Each instance definition for NonEmptyList.
OptionEach interface OptionEach<A> : Each<Option<A>, A>
Each instance definition for Option.
SequenceKEach interface SequenceKEach<A> : Each<SequenceK<A>, A>
Each instance definition for SequenceK.
StringEach interface StringEach : Each<String, Char>
Each instance for String.
TryEach interface TryEach<A> : Each<Try<A>, A>
Each instance definition for Try.

Type Class Hierarchy