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 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 Aopen 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 Aopen 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 Aopen 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 Aopen 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 Aopen 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 Aopen 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>
TryEach interface ~~TryEach~~<A> : Each<Try<A>, A>

Type Class Hierarchy

Do you like Arrow?

Arrow Org
<