# 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 A`open val ``Lens``.every: ``Traversal```DSL to compose Each with a Iso for a structure S to see all its foci A`open val ``Iso``.every: ``Traversal```DSL to compose Each with a Prism for a structure S to see all its foci A`open val ``Prism``.every: ``Traversal```DSL to compose Each with a Optional for a structure S to see all its foci A`open val ``Optional``.every: ``Traversal```DSL to compose Each with a Setter for a structure S to see all its foci A`open val ``Setter``.every: ``Setter```DSL to compose Each with a Traversal for a structure S to see all its foci A`open val ``Traversal``.every: ``Traversal```DSL to compose Each with a Fold for a structure S to see all its foci A`open val ``Fold``.every: ``Fold```

### Functions

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

### Companion Object Functions

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

### Inheritors

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

## Type Class Hierarchy

Do you like Arrow?

<