All Types
| (extensions in package arrow.optics) |
| (extensions in package arrow.optics.extensions) |
| (extensions in package arrow.optics.extensions.either.each) |
Each instance for Either that has focus in each Either.Right.
FilterIndex instance definition for Map.
A Fold is an optic that allows to focus into structure and get multiple results.
Iso is a type alias for PIso which fixes the type arguments
and restricts the PIso to monomorphic updates.
| (extensions in package arrow.optics) |
Lens is a type alias for PLens which fixes the type arguments
and restricts the PLens to monomorphic updates.
| (extensions in package arrow.optics) |
| (extensions in package arrow.optics.extensions.list.cons) |
| (extensions in package arrow.optics.extensions.list.snoc) |
Cons instance definition for List.
Each instance definition for List that summons a Traversal to focus in each A of the source List.
| (extensions in package arrow.optics) |
| (extensions in package arrow.optics.extensions) |
FilterIndex instance definition for List.
Index instance definition for List.
| (extensions in package arrow.optics) |
| (extensions in package arrow.optics.extensions) |
| (extensions in package arrow.optics.extensions.listk.cons) |
| (extensions in package arrow.optics.extensions.listk.each) |
| (extensions in package arrow.optics.extensions.listk.filterIndex) |
| (extensions in package arrow.optics.extensions.listk.index) |
| (extensions in package arrow.optics.extensions.listk.snoc) |
Cons instance definition for ListK.
Each instance definition for ListK.
FilterIndex instance definition for ListK.
Index instance definition for ListK.
Snoc instance definition for ListK.
Snoc instance definition for List.
Traversal for List that focuses in each A of the source List.
At instance definition for Map.
Each instance definition for Map.
Index instance definition for Map.
| (extensions in package arrow.optics.extensions) |
| (extensions in package arrow.optics) |
| (extensions in package arrow.optics.extensions) |
| (extensions in package arrow.optics.extensions.mapk.at) |
| (extensions in package arrow.optics.extensions.mapk.each) |
| (extensions in package arrow.optics.extensions.mapk.filterIndex) |
| (extensions in package arrow.optics.extensions.mapk.index) |
At instance definition for MapK.
Each instance definition for Map.
FilterIndex instance definition for Map.
Index instance definition for Map.
Traversal for Map that focuses in each V of the source Map.
| (extensions in package arrow.optics) |
| (extensions in package arrow.optics.extensions) |
| (extensions in package arrow.optics.extensions.nonemptylist.each) |
| (extensions in package arrow.optics.extensions.nonemptylist.filterIndex) |
| (extensions in package arrow.optics.extensions.nonemptylist.index) |
Each instance definition for NonEmptyList.
FilterIndex instance definition for NonEmptyList.
Index instance definition for NonEmptyList.
| (extensions in package arrow.optics) |
| (extensions in package arrow.optics.extensions) |
| (extensions in package arrow.optics.extensions.option.each) |
Optional is a type alias for POptional which fixes the type arguments
and restricts the POptional to monomorphic updates.
Each instance definition for Option.
An Iso is a loss less invertible optic that defines an isomorphism between a type S and A
i.e. a data class and its properties represented by TupleN
A Lens (or Functional Reference) is an optic that can focus into a structure for
getting, setting or modifying the focus (target).
Optional is an optic that allows to focus into a structure and querying or copy‘ing an optional focus.
A Prism is a loss less invertible optic that can look into a structure and optionally find its focus.
Mostly used for finding a focus that is only present under certain conditions i.e. list head Prism<List, Int>
Prism is a type alias for PPrism which fixes the type arguments
and restricts the PPrism to monomorphic updates.
A Traversal is an optic that allows to see into a structure with 0 to N foci.
| (extensions in package arrow.optics.extensions) |
| (extensions in package arrow.optics.extensions.sequencek.each) |
| (extensions in package arrow.optics.extensions.sequencek.filterIndex) |
| (extensions in package arrow.optics.extensions.sequencek.index) |
Each instance definition for SequenceK.
FilterIndex instance definition for SequenceK.
Index instance definition for SequenceK.
| (extensions in package arrow.optics) |
| (extensions in package arrow.optics.extensions.setk.at) |
At instance definition for SetK.
Setter is a type alias for PSetter which fixes the type arguments
and restricts the PSetter to monomorphic updates.
| (extensions in package arrow.optics) |
| (extensions in package arrow.optics.extensions) |
Each instance for String.
FilterIndex instance for String.
It allows filtering of every Char in a String by its index’s position.
Index instance for String.
It allows access to every Char in a String by its index’s position.
Traversal is a type alias for PTraversal which fixes the type arguments
and restricts the PTraversal to monomorphic updates.
| (extensions in package arrow.optics) |
| (extensions in package arrow.optics) |
| (extensions in package arrow.optics) |
| (extensions in package arrow.optics) |
| (extensions in package arrow.optics) |
| (extensions in package arrow.optics) |
| (extensions in package arrow.optics) |
| (extensions in package arrow.optics) |
| (extensions in package arrow.optics) |
| (extensions in package arrow.optics) |
