proptics
package proptics
- Source
- package.scala
- Alphabetic
- By Inheritance
- proptics
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Package Members
Type Members
- type ALens[S, A] = ALens_[S, S, A, A]
- abstract class ALens_[S, T, A, B] extends Lens0[S, T, A, B]
An ALens_ ] focuses a single piece of data within a larger structure.
An ALens_ ] focuses a single piece of data within a larger structure.
An ALens_ provides a convenient way to view, set, and transform that element.
An ALens_ must never fail to get or modify that focus.
An ALens_ is a Lens_ with fixed type proptics.internal.Shop cats.arrow.Profunctor
- type APrism[S, A] = APrism_[S, S, A, A]
- abstract class APrism_[S, T, A, B] extends Prism0[S, T, A, B]
APrism_ is used for selecting cases of a type, most often a sum type.
APrism_ is used for selecting cases of a type, most often a sum type.
APrism_ is a Prism_ with fixed type proptics.internal.Market cats.arrow.Profunctor
- type ATraversal[S, A] = ATraversal_[S, S, A, A]
ATraversal is a specialization of ATraversal_
- abstract class ATraversal_[S, T, A, B] extends Traversal1[S, T, A, B]
ATraversal_ is an optic that focuses on zero or more values.
ATraversal_ is an optic that focuses on zero or more values.
ATraversal_ is a Traversal_ with fixed type proptics.internal.Bazaar cats.arrow.Profunctor
- S
the source of a ATraversal_
- T
the modified source of a ATraversal_
- A
the foci of a ATraversal_
- B
the modified foci of a ATraversal_
- type AffineTraversal[S, A] = AffineTraversal_[S, S, A, A]
AffineTraversal is a specialization of AffineTraversal_
- abstract class AffineTraversal_[S, T, A, B] extends AffineTraversal0[S, T, A, B]
AffineTraversal_ has at most one focus, but is not a Prism_, you cannot use it to construct a value
AffineTraversal_ has at most one focus, but is not a Prism_, you cannot use it to construct a value
- S
the source of an AffineTraversal_
- T
the modified source of an AffineTraversal_
- A
the focus of an AffineTraversal_
- B
the modified focus of an AffineTraversal_
- type AnAffineTraversal[S, A] = AnAffineTraversal_[S, S, A, A]
AffineTraversal is a specialization of AffineTraversal_
- abstract class AnAffineTraversal_[S, T, A, B] extends AffineTraversal0[S, T, A, B]
AnAffineTraversal_ has at most one focus, but is not a Prism_, you cannot use it to construct a value.
AnAffineTraversal_ has at most one focus, but is not a Prism_, you cannot use it to construct a value.
AnAffineTraversal_ is an AffineTraversal_ with fixed type proptics.internal.Stall cats.arrow.Profunctor
- S
the source of an AnAffineTraversal_
- T
the modified source of an AnAffineTraversal_
- A
the focus of an AnAffineTraversal_
- B
the modified focus of an AnAffineTraversal_
- type AnIndexedLens[I, S, A] = AnIndexedLens_[I, S, S, A, A]
AnIndexedLens is a specialization of AnIndexedLens_
- abstract class AnIndexedLens_[I, S, T, A, B] extends IndexedLens0[I, S, T, A, B]
An AnIndexedLens_ ] focuses a single piece of data and index within a larger structure.
An AnIndexedLens_ ] focuses a single piece of data and index within a larger structure.
An AnIndexedLens_ provides a convenient way to view, set, and transform that element.
An AnIndexedLens_ must never fail to get or modify that focus.
an AnIndexedLens_ is an IndexedLens_ with fixed type proptics.internal.Shop cats.arrow.Profunctor
- I
the index of an AnIndexedLens_
- S
the source of an AnIndexedLens_
- T
the modified source of an AnIndexedLens_
- A
the focus of an AnIndexedLens_
- B
the modified focus of an AnIndexedLens_
- type AnIso[S, A] = AnIso_[S, S, A, A]
- abstract class AnIso_[S, T, A, B] extends Iso0[S, T, A, B]
An AnIso_ is a generalized isomorphism.
An AnIso_ is a generalized isomorphism.
An AnIso_ is a complete reversible transformation between two types.
An AnIso_ is an Iso_ with fixed type proptics.internal.Exchange cats.arrow.Profunctor
- type AppliedALens[S, A] = AppliedALens_[S, S, A, A]
AppliedALens is a specialization of AppliedALens_
- type AppliedAPrism[S, A] = AppliedAPrism_[S, S, A, A]
AppliedPrism is a specialization of AppliedPrism_
- type AppliedATraversal[S, A] = AppliedATraversal_[S, S, A, A]
AppliedATraversal is a specialization of AppliedATraversal_
- type AppliedAffineTraversal[S, A] = AppliedAffineTraversal_[S, S, A, A]
AppliedAffineTraversal_ is a specialization of AppliedAffineTraversal_
- type AppliedAnAffineTraversal[S, A] = AppliedAnAffineTraversal_[S, S, A, A]
AppliedAnAffineTraversal is a specialization of AppliedAnAffineTraversal_
- type AppliedAnIso[S, A] = AppliedAnIso_[S, S, A, A]
AppliedAnIso is a specialization of AppliedAnIso_
- type AppliedFold[S, A] = AppliedFold_[S, S, A, A]
AppliedFold is a specialization of AppliedFold_
- type AppliedGetter[S, A] = AppliedGetter_[S, S, A, A]
AppliedGetter is a specialization of AppliedGetter_
- type AppliedGrate[S, A] = AppliedGrate_[S, S, A, A]
AppliedGrate is a specialization of AppliedGrate_
- type AppliedIso[S, A] = AppliedIso_[S, S, A, A]
AppliedIso is a specialization of AppliedIso_
- type AppliedLens[S, A] = AppliedLens_[S, S, A, A]
AppliedLens is a specialization of AppliedLens_
- type AppliedPrism[S, A] = AppliedPrism_[S, S, A, A]
AppliedPrism is a specialization of AppliedPrism_
- type AppliedReview[S, A] = AppliedReview_[S, S, A, A]
AppliedReview is a specialization of AppliedReview_
- type AppliedSetter[S, A] = AppliedSetter_[S, S, A, A]
AppliedSetter is a specialization of AppliedSetter_
- type AppliedTraversal[S, A] = AppliedTraversal_[S, S, A, A]
AppliedTraversal is a specialization of AppliedTraversal_
- type Fold[S, A] = Fold_[S, S, A, A]
- abstract class Fold_[S, T, A, B] extends Fold1[S, A]
A Fold_ is a generalization of something Foldable.
A Fold_ is a generalization of something Foldable. It describes how to retrieve multiple values.
A Fold_ is similar to a Traversal_, but it cannot modify its foci.
A Fold_ is an Optic with fixed type proptics.internal.Forget cats.arrow.Profunctor
- type Getter[S, A] = Getter_[S, S, A, A]
- abstract class Getter_[S, T, A, B] extends Getter1[S, A]
A Getter_ is a Fold_ without a cats.Monoid.
- type Grate[S, A] = Grate_[S, S, A, A]
- abstract class Grate_[S, T, A, B] extends Serializable
A Grate_ allows a generalized zipWith operation.
- type IndexedFold[I, S, A] = IndexedFold_[I, S, S, A, A]
IndexedFold is a specialization of IndexedFold_
- abstract class IndexedFold_[I, S, T, A, B] extends IndexedFold0[I, S, A]
A IndexedFold_ is a generalization of something Foldable.
A IndexedFold_ is a generalization of something Foldable. It describes how to retrieve multiple values and thier indices.
A IndexedFold_ is similar to a IndexedTraversal_, but it cannot modify its foci.
An IndexedFold_ is an indexed optic with fixed type proptics.internal.Forget cats.arrow.Profunctor
- I
the index of an IndexedFold_
- S
the source of an IndexedFold_
- T
the modified source of an IndexedFold_
- A
the foci of an IndexedFold_
- B
the modified foci of an IndexedFold_
- type IndexedGetter[I, S, A] = IndexedGetter_[I, S, S, A, A]
IndexedGetter is a specialization of IndexedGetter_
- abstract class IndexedGetter_[I, S, T, A, B] extends IndexedGetter1[I, S, A]
An IndexedGetter_ is an IndexedFold_ without a cats.Monoid.
An IndexedGetter_ is an IndexedFold_ without a cats.Monoid.
An IndexedGetter_ is just any get function (S -> (A, I))
- I
the index of an IndexedGetter_
- S
the source of an IndexedGetter_
- T
the modified source of an IndexedGetter_
- A
the focus of an IndexedGetter_
- B
the modified focus of an IndexedGetter_
- type IndexedLens[I, S, A] = IndexedLens_[I, S, S, A, A]
IndexedLens is a specialization of IndexedLens_
- abstract class IndexedLens_[I, S, T, A, B] extends IndexedLens0[I, S, T, A, B]
An IndexedLens_ ] focuses a single piece of data and index within a larger structure.
An IndexedLens_ ] focuses a single piece of data and index within a larger structure.
An IndexedLens_ provides a convenient way to view, set, and transform that element.
An IndexedLens_ must never fail to get or modify that focus.
- I
the index of an IndexedLens_
- S
the source of an IndexedLens_
- T
the modified source of an IndexedLens_
- A
the focus of an IndexedLens_
- B
the modified focus of an IndexedLens_
- type IndexedSetter[I, S, A] = IndexedSetter_[I, S, S, A, A]
IndexedSetter is a specialization of IndexedSetter_
- abstract class IndexedSetter_[I, S, T, A, B] extends IndexedSetter0[I, S, T, A, B]
An IndexedSetter_ is a generalization of mapWithIndex from proptics.indices.FunctorWithIndex
An IndexedSetter_ is a generalization of mapWithIndex from proptics.indices.FunctorWithIndex
- I
the index of an IndexedSetter_
- S
the source of an IndexedSetter_
- T
the modified source of an IndexedSetter_ —
- A
the focus an IndexedSetter_
- B
the modified focus of an IndexedSetter_
- type IndexedTraversal[I, S, A] = IndexedTraversal_[I, S, S, A, A]
IndexedTraversal is a specialization of IndexedTraversal_
- abstract class IndexedTraversal_[I, S, T, A, B] extends IndexedTraversal1[I, S, T, A, B]
An IndexedTraversal_ is an indexed optic that focuses on zero or more values, and their indices.
An IndexedTraversal_ is an indexed optic that focuses on zero or more values, and their indices.
- I
the index of an IndexedTraversal_
- S
the source of an IndexedTraversal_
- T
the modified source of an IndexedTraversal_
- A
the foci of an IndexedTraversal_
- B
the modified foci of an IndexedTraversal_
- type Iso[S, A] = Iso_[S, S, A, A]
- abstract class Iso_[S, T, A, B] extends Iso0[S, T, A, B]
An Iso_ is a generalized isomorphism.
- type Lens[S, A] = Lens_[S, S, A, A]
- abstract class Lens_[S, T, A, B] extends Lens0[S, T, A, B]
A Lens_ ] focuses a single piece of data within a larger structure.
- type Prism[S, A] = Prism_[S, S, A, A]
- abstract class Prism_[S, T, A, B] extends Prism0[S, T, A, B]
A Prism_ is used for selecting cases of a type, most often a sum type.
- type Review[S, A] = Review_[S, S, A, A]
- abstract class Review_[S, T, A, B] extends Review0[T, B]
A Review_ describes how to construct a single value.
- type Setter[S, A] = Setter_[S, S, A, A]
- abstract class Setter_[S, T, A, B] extends Setter0[S, T, A, B]
A Setter_ is a generalization of map from cats.Functor
- type Traversal[S, A] = Traversal_[S, S, A, A]
Traversal is a specialization of Traversal_
- abstract class Traversal_[S, T, A, B] extends Traversal1[S, T, A, B]
A Traversal_ is an optic that focuses on zero or more values
A Traversal_ is an optic that focuses on zero or more values
- S
the source of a Traversal_
- T
the modified source of a Traversal_
- A
the foci of a Traversal_
- B
the modified foci of a Traversal_
Value Members
- object ALens
- object ALens_ extends Serializable
- object APrism
- object APrism_ extends Serializable
- object ATraversal
- object ATraversal_ extends Serializable
- object AffineTraversal
- object AffineTraversal_ extends Serializable
- object AnAffineTraversal
- object AnAffineTraversal_ extends Serializable
- object AnIndexedLens
- object AnIndexedLens_ extends Serializable
- object AnIso
- object AnIso_ extends Serializable
- object Fold
- object Fold_ extends Serializable
- object Getter
- object Getter_ extends Serializable
- object Grate
- object Grate_ extends Serializable
- object IndexedFold
- object IndexedFold_ extends Serializable
- object IndexedGetter
- object IndexedGetter_ extends Serializable
- object IndexedLens
- object IndexedLens_ extends Serializable
- object IndexedSetter
- object IndexedSetter_ extends Serializable
- object IndexedTraversal
- object IndexedTraversal_ extends Serializable
- object Iso
- object Iso_ extends Serializable
- object Lens
- object Lens2
- object Lens3
- object Lens4
- object Lens5
- object Lens_ extends Serializable
- object Prism
- object Prism_ extends Serializable
- object Review
- object Review_
- object Setter
- object Setter_
- object Traversal
- object Traversal2
- object Traversal3
- object Traversal4
- object Traversal5
- object Traversal_ extends Serializable