proptics.syntax.applied
package proptics.syntax.applied
Type members
Classlikes
final case class AppliedAffineTraversalAtOps[S, T, A](appliedAffineTraversal: AppliedAffineTraversal[S, T]) extends AnyVal
final case class AppliedAffineTraversalConsOps[S, A, B](appliedAffineTraversal: AppliedAffineTraversal[S, A]) extends AnyVal
final case class AppliedAffineTraversalEachOps[S, T, F[_], A](appliedAffineTraversal: AppliedAffineTraversal_[S, T, F[A], F[A]]) extends AnyVal
final case class AppliedAffineTraversalEitherOps[A, B, C](appliedAffineTraversal: AppliedAffineTraversal[A, Either[B, C]]) extends AnyVal
final case class AppliedAffineTraversalEmptyOps[S, T](appliedAffineTraversal: AppliedAffineTraversal[S, T]) extends AnyVal
final case class AppliedAffineTraversalFieldsTuple2Ops[A, B, C](appliedAffineTraversal: AppliedAffineTraversal[(A, B), C]) extends AnyVal
final case class AppliedAffineTraversalFieldsTuple3Ops[A, B, C, D](appliedAffineTraversal: AppliedAffineTraversal[(A, B, C), D]) extends AnyVal
final case class AppliedAffineTraversalFieldsTuple4Ops[A, B, C, D, E](appliedAffineTraversal: AppliedAffineTraversal[(A, B, C, D), E]) extends AnyVal
final case class AppliedAffineTraversalFieldsTuple5Ops[A, B, C, D, E, F](appliedAffineTraversal: AppliedAffineTraversal[(A, B, C, D, E), F]) extends AnyVal
final case class AppliedAffineTraversalIndexOps[S, T, A](appliedAffineTraversal: AppliedAffineTraversal[S, T]) extends AnyVal
final case class AppliedAffineTraversalListOfCharsOps[S](appliedAffineTraversal: AppliedAffineTraversal[S, List[Char]]) extends AnyVal
final case class AppliedAffineTraversalListOps[S, A](appliedAffineTraversal: AppliedAffineTraversal[S, List[A]]) extends AnyVal
final case class AppliedAffineTraversalNonEmptyConsOps[S, H, T, A](appliedAffineTraversal: AppliedAffineTraversal[S, A]) extends AnyVal
final case class AppliedAffineTraversalOps[F[_], S, T, A](appliedAffineTraversal: AppliedAffineTraversal_[S, T, F[A], F[A]]) extends AnyVal
final case class AppliedAffineTraversalOptionOps[A, B](appliedAffineTraversal: AppliedAffineTraversal[A, Option[B]]) extends AnyVal
final case class AppliedAffineTraversalPrefixedOps[S, A, B](appliedAffineTraversal: AppliedAffineTraversal[S, A]) extends AnyVal
final case class AppliedAffineTraversalReverseOps[S, A](appliedAffineTraversal: AppliedAffineTraversal[S, A]) extends AnyVal
final case class AppliedAffineTraversalStringOps[S](appliedAffineTraversal: AppliedAffineTraversal[S, String]) extends AnyVal
final case class AppliedAffineTraversalSuffixedOps[S, A, B](appliedAffineTraversal: AppliedAffineTraversal[S, A]) extends AnyVal
final case class AppliedAffineTraversalSwapTuple2Ops[A, B, C](appliedAffineTraversal: AppliedAffineTraversal[A, (B, C)]) extends AnyVal
final case class AppliedFoldEachOps[S, T, F[_], A](appliedFold: AppliedFold_[S, T, F[A], F[A]]) extends AnyVal
final case class AppliedFoldEitherOps[A, B, C](appliedFold: AppliedFold[A, Either[B, C]]) extends AnyVal
final case class AppliedFoldElementOps[S, T, A](appliedFold: AppliedFold_[S, T, A, A]) extends AnyVal
final case class AppliedFoldFieldsTuple2Ops[A, B, C](appliedFold: AppliedFold[(A, B), C]) extends AnyVal
final case class AppliedFoldFieldsTuple3Ops[A, B, C, D](appliedFold: AppliedFold[(A, B, C), D]) extends AnyVal
final case class AppliedFoldFieldsTuple4Ops[A, B, C, D, E](appliedFold: AppliedFold[(A, B, C, D), E]) extends AnyVal
final case class AppliedFoldFieldsTuple5Ops[A, B, C, D, E, F](appliedFold: AppliedFold[(A, B, C, D, E), F]) extends AnyVal
final case class AppliedFoldListOfCharsOps[S](appliedFold: AppliedFold[S, List[Char]]) extends AnyVal
final case class AppliedFoldNonEmptyConsOps[S, H, T, A](appliedFold: AppliedFold[S, A]) extends AnyVal
final case class AppliedFoldSwapTuple2Ops[A, B, C](appliedFold: AppliedFold[A, (B, C)]) extends AnyVal
final case class AppliedFoldWithFoldableFocusElementOps[F[_], S, T, A](appliedFold: AppliedFold_[S, T, F[A], F[A]]) extends AnyVal
final case class AppliedLensEachOps[S, T, F[_], A](appliedLens: AppliedLens_[S, T, F[A], F[A]]) extends AnyVal
final case class AppliedLensEitherOps[A, B, C](appliedLens: AppliedLens[A, Either[B, C]]) extends AnyVal
final case class AppliedLensFieldsTuple2Ops[A, B, C](appliedLens: AppliedLens[(A, B), C]) extends AnyVal
final case class AppliedLensFieldsTuple3Ops[A, B, C, D](appliedLens: AppliedLens[(A, B, C), D]) extends AnyVal
final case class AppliedLensFieldsTuple4Ops[A, B, C, D, E](appliedLens: AppliedLens[(A, B, C, D), E]) extends AnyVal
final case class AppliedLensFieldsTuple5Ops[A, B, C, D, E, F](appliedLens: AppliedLens[(A, B, C, D, E), F]) extends AnyVal
final case class AppliedLensListOfCharsOps[S](appliedLens: AppliedLens[S, List[Char]]) extends AnyVal
final case class AppliedLensNonEmptyConsOps[S, H, T, A](appliedLens: AppliedLens[S, A]) extends AnyVal
final case class AppliedLensSwapTuple2Ops[A, B, C](appliedLens: AppliedLens[A, (B, C)]) extends AnyVal
final case class AppliedLensTraversalOps[F[_], S, T, A](appliedLens: AppliedLens_[S, T, F[A], F[A]]) extends AnyVal
final case class AppliedPolyLensOps[S, T, F[_], A](appliedLens: AppliedLens_[S, T, F[A], A]) extends AnyVal
final case class AppliedPrismEachOps[S, T, F[_], A](appliedPrism: AppliedPrism_[S, T, F[A], F[A]]) extends AnyVal
final case class AppliedPrismEitherOps[A, B, C](appliedPrism: AppliedPrism[A, Either[B, C]]) extends AnyVal
final case class AppliedPrismFieldsTuple2Ops[A, B, C](appliedPrism: AppliedPrism[(A, B), C]) extends AnyVal
final case class AppliedPrismFieldsTuple3Ops[A, B, C, D](appliedPrism: AppliedPrism[(A, B, C), D]) extends AnyVal
final case class AppliedPrismFieldsTuple4Ops[A, B, C, D, E](appliedPrism: AppliedPrism[(A, B, C, D), E]) extends AnyVal
final case class AppliedPrismFieldsTuple5Ops[A, B, C, D, E, F](appliedPrism: AppliedPrism[(A, B, C, D, E), F]) extends AnyVal
final case class AppliedPrismListOfCharsOps[S](appliedPrism: AppliedPrism[S, List[Char]]) extends AnyVal
final case class AppliedPrismNonEmptyConsOps[S, H, T, A](appliedPrism: AppliedPrism[S, A]) extends AnyVal
final case class AppliedPrismOptionOps[A, B](appliedPrism: AppliedPrism[A, Option[B]]) extends AnyVal
final case class AppliedPrismSwapTuple2Ops[A, B, C](appliedPrism: AppliedPrism[A, (B, C)]) extends AnyVal
trait AppliedSyntax extends AppliedAtSyntax with AppliedFoldSyntax with AppliedEachSyntax with AppliedLensSyntax with AppliedConsSyntax with AppliedEmptySyntax with AppliedIndexSyntax with AppliedTupleSyntax with AppliedStringSyntax with AppliedOptionSyntax with AppliedEitherSyntax with AppliedFieldsSyntax with AppliedNonEmptyCons with AppliedReverseSyntax with AppliedSuffixedSyntax with AppliedPrefixedSyntax with AppliedTraversalSyntax with AppliedAffineTraversalSyntax
final case class AppliedTraversalAtOps[S, T, A](appliedTraversal: AppliedTraversal[S, T]) extends AnyVal
final case class AppliedTraversalConsOps[S, A, B](appliedTraversal: AppliedTraversal[S, A]) extends AnyVal
final case class AppliedTraversalEachOps[S, T, F[_], A](appliedTraversal: AppliedTraversal_[S, T, F[A], F[A]]) extends AnyVal
final case class AppliedTraversalEitherOps[A, B, C](appliedTraversal: AppliedTraversal[A, Either[B, C]]) extends AnyVal
final case class AppliedTraversalElementOps[S, T, A](appliedTraversal: AppliedTraversal_[S, T, A, A]) extends AnyVal
final case class AppliedTraversalEmptyOps[S, T](appliedTraversal: AppliedTraversal[S, T]) extends AnyVal
final case class AppliedTraversalFSequenceOps[F[_], G[_], T, A](appliedTraversal: AppliedTraversal_[F[G[A]], F[A], G[A], A]) extends AnyVal
final case class AppliedTraversalFieldsTuple2Ops[A, B, C](appliedTraversal: AppliedTraversal[(A, B), C]) extends AnyVal
final case class AppliedTraversalFieldsTuple3Ops[A, B, C, D](appliedTraversal: AppliedTraversal[(A, B, C), D]) extends AnyVal
final case class AppliedTraversalFieldsTuple4Ops[A, B, C, D, E](appliedTraversal: AppliedTraversal[(A, B, C, D), E]) extends AnyVal
final case class AppliedTraversalFieldsTuple5Ops[A, B, C, D, E, F](appliedTraversal: AppliedTraversal[(A, B, C, D, E), F]) extends AnyVal
final case class AppliedTraversalIndexOps[S, T, A](appliedTraversal: AppliedTraversal[S, T]) extends AnyVal
final case class AppliedTraversalListOfCharsOps[S](appliedTraversal: AppliedTraversal[S, List[Char]]) extends AnyVal
final case class AppliedTraversalListOps[S, A](appliedTraversal: AppliedTraversal[S, List[A]]) extends AnyVal
final case class AppliedTraversalNonEmptyConsOps[S, T, H, A](appliedTraversal: AppliedTraversal[S, A]) extends AnyVal
final case class AppliedTraversalOptionOps[A, B](appliedTraversal: AppliedTraversal[A, Option[B]]) extends AnyVal
final case class AppliedTraversalPrefixedOps[S, A, B](appliedTraversal: AppliedTraversal[S, A]) extends AnyVal
final case class AppliedTraversalReverseOps[S, A](appliedTraversal: AppliedTraversal[S, A]) extends AnyVal
final case class AppliedTraversalStringOps[S](appliedTraversal: AppliedTraversal[S, String]) extends AnyVal
final case class AppliedTraversalSuffixedOps[S, A, B](appliedTraversal: AppliedTraversal[S, A]) extends AnyVal
final case class AppliedTraversalSwapTuple2Ops[A, B, C](appliedTraversal: AppliedTraversal[A, (B, C)]) extends AnyVal
final case class AppliedTraversalWithTraverseFocusElementOps[F[_], S, T, A](appliedTraversal: AppliedTraversal_[S, T, F[A], F[A]]) extends AnyVal