p
proptics
package proptics
Linear Supertypes
Type Members
- type ALens[S, A] = ALens_[S, S, A, A]
- type APrism[S, A] = APrism_[S, S, A, A]
- type ATraversal[S, A] = ATraversal_[S, S, A, A]
- type AffineTraversal[S, A] = AffineTraversal_[S, S, A, A]
- type AnAffineTraversal[S, A] = AnAffineTraversal_[S, S, A, A]
- type AnIndexedLens[I, S, A] = AnIndexedLens_[I, S, S, A, A]
- type AnIso[S, A] = AnIso_[S, S, A, A]
- type Fold[S, A] = Fold_[S, S, A, A]
- type Getter[S, A] = Getter_[S, S, A, A]
- type Grate[S, A] = Grate_[S, S, A, A]
- type IndexedFold[I, S, A] = IndexedFold_[I, S, S, A, A]
- type IndexedGetter[I, S, A] = IndexedGetter_[I, S, S, A, A]
- type IndexedLens[I, S, A] = IndexedLens_[I, S, S, A, A]
- type IndexedSetter[I, S, A] = IndexedSetter_[I, S, S, A, A]
- type IndexedTraversal[I, S, A] = IndexedTraversal_[I, S, S, A, A]
- type Iso[S, A] = Iso_[S, S, A, A]
- type Lens[S, A] = Lens_[S, S, A, A]
- type Prism[S, A] = Prism_[S, S, A, A]
- type Review[S, A] = Review_[S, S, A, A]
- type Setter[S, A] = Setter_[S, S, A, A]
- type Traversal[S, A] = Traversal_[S, S, A, A]