All Types

arrow.optics.typeclasses.At
arrow.optics.typeclasses.Conj
arrow.optics.typeclasses.Cons
arrow.optics.typeclasses.Each
(extensions in package arrow.optics)
arrow.core.Either
(extensions in package arrow.optics.extensions)
arrow.core.Either
arrow.optics.extensions.EitherEach

Each instance for Either that has focus in each Either.Right.

arrow.optics.typeclasses.FilterIndex
arrow.optics.extensions.filterMapIndex

FilterIndex instance definition for Map.

arrow.optics.Fold

A Fold is an optic that allows to focus into structure and get multiple results.

arrow.optics.ForIso
arrow.optics.ForLens
arrow.optics.ForOptional
arrow.optics.ForPrism
arrow.optics.ForSetter
arrow.optics.ForTraversal
arrow.optics.Getter

A Getter is an optic that allows to see into a structure and getting a focus.

(extensions in package arrow.optics)
arrow.core.Id
arrow.optics.typeclasses.Index
arrow.optics.Iso

Iso is a type alias for PIso which fixes the type arguments and restricts the PIso to monomorphic updates.

arrow.optics.IsoKindedJ
arrow.optics.IsoOf
arrow.optics.IsoPartialOf
arrow.optics.Lens

Lens is a type alias for PLens which fixes the type arguments and restricts the PLens to monomorphic updates.

arrow.optics.LensKindedJ
arrow.optics.LensOf
arrow.optics.LensPartialOf
arrow.optics.extensions.ListCons

Cons instance definition for List.

arrow.optics.extensions.ListEach

Each instance definition for List that summons a Traversal to focus in each A of the source List.

(extensions in package arrow.optics)
arrow.core.ListExtensions
(extensions in package arrow.optics.extensions)
arrow.core.ListExtensions
arrow.optics.extensions.ListFilterIndex

FilterIndex instance definition for List.

arrow.optics.extensions.ListIndex

Index instance definition for List.

(extensions in package arrow.optics)
arrow.core.ListK
(extensions in package arrow.optics.extensions)
arrow.core.ListK
arrow.optics.extensions.ListKCons

Cons instance definition for ListK.

arrow.optics.extensions.ListKEach

Each instance definition for ListK.

arrow.optics.extensions.ListKFilterIndex

FilterIndex instance definition for ListK.

arrow.optics.extensions.ListKIndex

Index instance definition for ListK.

arrow.optics.extensions.ListKSnoc

Snoc instance definition for ListK.

arrow.optics.extensions.ListSnoc

Snoc instance definition for List.

arrow.optics.extensions.ListTraversal

Traversal for List that focuses in each A of the source List.

arrow.optics.extensions.MapAt

At instance definition for Map.

arrow.optics.extensions.MapEach

Each instance definition for Map.

arrow.optics.extensions.MapIndex

Index instance definition for Map.

(extensions in package arrow.optics.extensions)
arrow.core.MapInstances
(extensions in package arrow.optics)
arrow.core.MapK
(extensions in package arrow.optics.extensions)
arrow.core.MapK
arrow.optics.extensions.MapKAt

At instance definition for MapK.

arrow.optics.extensions.MapKEach

Each instance definition for Map.

arrow.optics.extensions.MapKFilterIndex

FilterIndex instance definition for Map.

arrow.optics.extensions.MapKIndex

Index instance definition for Map.

arrow.optics.extensions.MapTraversal

Traversal for Map that focuses in each V of the source Map.

(extensions in package arrow.optics)
arrow.core.NonEmptyList
(extensions in package arrow.optics.extensions)
arrow.core.NonEmptyList
arrow.optics.extensions.NonEmptyListEach

Each instance definition for NonEmptyList.

arrow.optics.extensions.NonEmptyListFilterIndex

FilterIndex instance definition for NonEmptyList.

arrow.optics.extensions.NonEmptyListIndex

Index instance definition for NonEmptyList.

(extensions in package arrow.optics)
arrow.core.Option
(extensions in package arrow.optics.extensions)
arrow.core.Option
arrow.optics.Optional

Optional is a type alias for POptional which fixes the type arguments and restricts the POptional to monomorphic updates.

arrow.optics.OptionalKindedJ
arrow.optics.OptionalOf
arrow.optics.OptionalPartialOf
arrow.optics.extensions.OptionEach

Each instance definition for Option.

arrow.optics.PIso

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

arrow.optics.PLens

A Lens (or Functional Reference) is an optic that can focus into a structure for getting, setting or modifying the focus (target).

arrow.optics.POptional

Optional is an optic that allows to focus into a structure and querying or copy‘ing an optional focus.

arrow.optics.PPrism

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>

arrow.optics.Prism

Prism is a type alias for PPrism which fixes the type arguments and restricts the PPrism to monomorphic updates.

arrow.optics.PrismKindedJ
arrow.optics.PrismOf
arrow.optics.PrismPartialOf
arrow.optics.PSetter

A Setter is an optic that allows to see into a structure and set or modify its focus.

arrow.optics.PTraversal

A Traversal is an optic that allows to see into a structure with 0 to N foci.

(extensions in package arrow.optics.extensions)
arrow.core.SequenceK
arrow.optics.extensions.SequenceKEach

Each instance definition for SequenceK.

arrow.optics.extensions.SequenceKFilterIndex

FilterIndex instance definition for SequenceK.

arrow.optics.extensions.SequenceKIndex

Index instance definition for SequenceK.

arrow.optics.extensions.SetAt

At instance definition for Set.

(extensions in package arrow.optics)
arrow.core.SetExtensions
arrow.optics.extensions.SetKAt

At instance definition for SetK.

arrow.optics.Setter

Setter is a type alias for PSetter which fixes the type arguments and restricts the PSetter to monomorphic updates.

arrow.optics.SetterKindedJ
arrow.optics.SetterOf
arrow.optics.SetterPartialOf
arrow.optics.typeclasses.Snoc
(extensions in package arrow.optics)
kotlin.String
(extensions in package arrow.optics.extensions)
kotlin.String
arrow.optics.extensions.StringCons
arrow.optics.extensions.StringEach

Each instance for String.

arrow.optics.extensions.StringFilterIndex

FilterIndex instance for String. It allows filtering of every Char in a String by its index’s position.

arrow.optics.extensions.StringIndex

Index instance for String. It allows access to every Char in a String by its index’s position.

arrow.optics.extensions.StringSnoc
arrow.optics.Traversal

Traversal is a type alias for PTraversal which fixes the type arguments and restricts the PTraversal to monomorphic updates.

arrow.optics.TraversalKindedJ
arrow.optics.TraversalOf
arrow.optics.TraversalPartialOf
(extensions in package arrow.optics)
arrow.core.Try
(extensions in package arrow.optics.extensions)
arrow.core.Try
arrow.optics.extensions.TryEach
(extensions in package arrow.optics)
arrow.core.Tuple10
(extensions in package arrow.optics)
arrow.core.Tuple2
(extensions in package arrow.optics)
arrow.core.Tuple3
(extensions in package arrow.optics)
arrow.core.Tuple4
(extensions in package arrow.optics)
arrow.core.Tuple5
(extensions in package arrow.optics)
arrow.core.Tuple6
(extensions in package arrow.optics)
arrow.core.Tuple7
(extensions in package arrow.optics)
arrow.core.Tuple8
(extensions in package arrow.optics)
arrow.core.Tuple9
(extensions in package arrow.optics)
arrow.core.Validated

Type Class Hierarchy

Do you like Arrow?

Arrow Org
<