All Types

arrow.optics.typeclasses.At  
arrow.optics.typeclasses.Conj  
arrow.optics.typeclasses.Cons  
arrow.optics.typeclasses.Each  
arrow.core.Either (extensions in package arrow.optics.extensions.either.each)  
arrow.core.Either (extensions in package arrow.optics)  
arrow.core.Either (extensions in package arrow.optics.extensions)  
arrow.optics.extensions.EitherEach Each instance for Either that has focus in each Either.Right.
arrow.optics.typeclasses.FilterIndex  
arrow.optics.Fold A Fold is an optic that allows to focus into structure and get multiple results.
arrow.optics.FoldKindedJ  
arrow.optics.FoldOf  
arrow.optics.FoldPartialOf  
arrow.optics.ForFold  
arrow.optics.ForGetter  
arrow.optics.ForIso  
arrow.optics.ForLens  
arrow.optics.ForOptional  
arrow.optics.ForPIso  
arrow.optics.ForPLens  
arrow.optics.ForPOptional  
arrow.optics.ForPPrism  
arrow.optics.ForPSetter  
arrow.optics.ForPTraversal  
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.
arrow.optics.GetterKindedJ  
arrow.optics.GetterOf  
arrow.optics.GetterPartialOf  
arrow.core.Id (extensions in package arrow.optics)  
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.Kind (extensions in package arrow.optics)  
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  
kotlin.collections.List (extensions in package arrow.optics.extensions.list.cons)  
arrow.optics.extensions.list.cons.List  
arrow.optics.extensions.list.each.List  
arrow.optics.extensions.list.filterIndex.List  
arrow.optics.extensions.list.index.List  
kotlin.collections.List (extensions in package arrow.optics.extensions.list.snoc)  
arrow.optics.extensions.list.snoc.List  
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.
arrow.core.ListExtensions (extensions in package arrow.optics)  
arrow.core.ListExtensions (extensions in package arrow.optics.extensions)  
arrow.optics.extensions.ListFilterIndex FilterIndex instance definition for List.
arrow.optics.extensions.ListIndex Index instance definition for List.
arrow.data.ListK (extensions in package arrow.optics.extensions.listk.cons)  
arrow.data.ListK (extensions in package arrow.optics.extensions.listk.each)  
arrow.data.ListK (extensions in package arrow.optics.extensions.listk.filterIndex)  
arrow.data.ListK (extensions in package arrow.optics.extensions.listk.index)  
arrow.data.ListK (extensions in package arrow.optics.extensions.listk.snoc)  
arrow.data.ListK (extensions in package arrow.optics)  
arrow.data.ListK (extensions in package arrow.optics.extensions)  
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.MapFilterIndex FilterIndex instance definition for Map.
arrow.optics.extensions.MapIndex Index instance definition for Map.
arrow.core.MapInstances (extensions in package arrow.optics.extensions)  
arrow.data.MapK (extensions in package arrow.optics.extensions.mapk.at)  
arrow.data.MapK (extensions in package arrow.optics.extensions.mapk.each)  
arrow.data.MapK (extensions in package arrow.optics.extensions.mapk.filterIndex)  
arrow.data.MapK (extensions in package arrow.optics.extensions.mapk.index)  
arrow.data.MapK (extensions in package arrow.optics)  
arrow.data.MapK (extensions in package arrow.optics.extensions)  
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.
arrow.data.NonEmptyList (extensions in package arrow.optics.extensions.nonemptylist.each)  
arrow.data.NonEmptyList (extensions in package arrow.optics.extensions.nonemptylist.filterIndex)  
arrow.data.NonEmptyList (extensions in package arrow.optics.extensions.nonemptylist.index)  
arrow.data.NonEmptyList (extensions in package arrow.optics)  
arrow.data.NonEmptyList (extensions in package arrow.optics.extensions)  
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.
arrow.core.Option (extensions in package arrow.optics.extensions.option.each)  
arrow.core.Option (extensions in package arrow.optics)  
arrow.core.Option (extensions in package arrow.optics.extensions)  
arrow.optics.extensions.OptionEach Each instance definition for 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.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.PIsoKindedJ  
arrow.optics.PIsoOf  
arrow.optics.PIsoPartialOf  
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.PLensKindedJ  
arrow.optics.PLensOf  
arrow.optics.PLensPartialOf  
arrow.optics.POptional An Optional is an optic that allows to see into a structure and getting, setting or modifying an optional focus.
arrow.optics.POptionalKindedJ  
arrow.optics.POptionalOf  
arrow.optics.POptionalPartialOf  
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.PPrismKindedJ  
arrow.optics.PPrismOf  
arrow.optics.PPrismPartialOf  
arrow.optics.PSetter A Setter is an optic that allows to see into a structure and set or modify its focus.
arrow.optics.PSetterKindedJ  
arrow.optics.PSetterOf  
arrow.optics.PSetterPartialOf  
arrow.optics.PTraversal A Traversal is an optic that allows to see into a structure with 0 to N foci.
arrow.optics.PTraversalKindedJ  
arrow.optics.PTraversalOf  
arrow.optics.PTraversalPartialOf  
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.extensions.sequence.each.Sequence  
arrow.optics.extensions.sequence.filterIndex.Sequence  
arrow.optics.extensions.sequence.index.Sequence  
arrow.data.SequenceK (extensions in package arrow.optics.extensions.sequencek.each)  
arrow.data.SequenceK (extensions in package arrow.optics.extensions.sequencek.filterIndex)  
arrow.data.SequenceK (extensions in package arrow.optics.extensions.sequencek.index)  
arrow.data.SequenceK (extensions in package arrow.optics.extensions)  
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.set.at.Set  
arrow.optics.extensions.SetAt At instance definition for Set.
arrow.core.SetExtensions (extensions in package arrow.optics)  
arrow.data.SetK (extensions in package arrow.optics.extensions.setk.at)  
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  
kotlin.String (extensions in package arrow.optics)  
kotlin.String (extensions in package arrow.optics.extensions)  
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  
arrow.core.Try (extensions in package arrow.optics.extensions.try.each)  
arrow.core.Try (extensions in package arrow.optics)  
arrow.core.Try (extensions in package arrow.optics.extensions)  
arrow.optics.extensions.TryEach Each instance definition for Try.
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.data.Validated (extensions in package arrow.optics)  

Type Class Hierarchy