proptics.syntax
package proptics.syntax
Type members
Classlikes
final case class ATraversalSequenceOps[F[_], I, S, T, A](grate: ATraversal_[S, T, F[A], A]) extends AnyVal
final case class AnIndexedLensSequenceOps[F[_], I, S, T, A](anIndexedLens: AnIndexedLens_[I, S, T, F[A], A]) extends AnyVal
trait CoreSyntax extends AtSyntax with IsoSyntax with FoldSyntax with LensSyntax with StarSyntax with AnIsoSyntax with ALensSyntax with PrismSyntax with TupleSyntax with IndexSyntax with CostarSyntax with APrismSyntax with SetterSyntax with FunctionSyntax with TraversalSyntax with ATraversalSyntax with IndexedLensSyntax with IndexedFoldSyntax with AnIndexedLensSyntax with IndexedTraversalSyntax with FunctorWithIndexSyntax with FoldableWithIndexSyntax with TraverseWithIndexSyntax
final case class IndexedFoldsOps[I, S, T, A](indexedFold: IndexedFold_[I, S, T, A, A]) extends AnyVal
final case class IndexedLensSequenceOps[F[_], I, S, T, A](indexedLens: IndexedLens_[I, S, T, F[A], A]) extends AnyVal
final case class IndexedTraversalOps[I, S, T, A](indexedTraversal: IndexedTraversal_[I, S, T, A, A]) extends AnyVal
final case class IndexedTraversalSequenceOps[F[_], I, S, T, A](iso: IndexedTraversal_[I, S, T, F[A], A]) extends AnyVal
final case class TraversalFSequenceOps[F[_], S, T, A](traversal: Traversal_[S, T, F[A], A]) extends AnyVal