Proptics core/proptics.syntax.applied

proptics.syntax.applied

package proptics.syntax.applied

Type members

Classlikes

trait AllIndexSyntax extends IndexSyntax with AppliedIndexSyntax
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
trait AppliedAffineTraversalSyntax
final case class AppliedAtOfMapLikeOps[M[_, _], K, V](map: M[K, V]) extends AnyVal
final case class AppliedAtOfSetOps[A](set: Set[A]) extends AnyVal
trait AppliedAtSyntax
final case class AppliedBifoldableElementOps[G[_, _], A](s: G[A, A]) extends AnyVal
final case class AppliedBitraversalElementOps[G[_, _], A](s: G[A, A]) extends AnyVal
final case class AppliedCollectionReverseOps[F[_], A](fa: F[A]) extends AnyVal
trait AppliedConsSyntax
trait AppliedEachSyntax
trait AppliedEitherSyntax
trait AppliedEmptySyntax
trait AppliedFieldsSyntax
final case class AppliedFoldAtOps[S, T, A](appliedFold: AppliedFold[S, T]) extends AnyVal
final case class AppliedFoldConsOps[S, A, B](appliedFold: AppliedFold[S, A]) 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 AppliedFoldEmptyOps[S, T](appliedFold: AppliedFold[S, T]) 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 AppliedFoldIndexOps[S, T, A](appliedFold: AppliedFold[S, T]) extends AnyVal
final case class AppliedFoldListOfCharsOps[S](appliedFold: AppliedFold[S, List[Char]]) extends AnyVal
final case class AppliedFoldListOps[S, A](appliedFold: AppliedFold[S, List[A]]) extends AnyVal
final case class AppliedFoldNonEmptyConsOps[S, H, T, A](appliedFold: AppliedFold[S, A]) extends AnyVal
final case class AppliedFoldOpsWithFoldable[F[_], A](s: F[A]) extends AnyVal
final case class AppliedFoldOptionOps[A, B](appliedFold: AppliedFold[A, Option[B]]) extends AnyVal
final case class AppliedFoldPrefixedOps[S, A, B](appliedFold: AppliedFold[S, A]) extends AnyVal
final case class AppliedFoldReverseOps[S, A](appliedFold: AppliedFold[S, A]) extends AnyVal
final case class AppliedFoldStringOps[S](appliedFold: AppliedFold[S, String]) extends AnyVal
final case class AppliedFoldSuffixedOps[S, A, B](appliedFold: AppliedFold[S, A]) extends AnyVal
final case class AppliedFoldSwapTuple2Ops[A, B, C](appliedFold: AppliedFold[A, (B, C)]) extends AnyVal
trait AppliedFoldSyntax
final case class AppliedFoldWithFoldableFocusElementOps[F[_], S, T, A](appliedFold: AppliedFold_[S, T, F[A], F[A]]) extends AnyVal
trait AppliedIndexSyntax
final case class AppliedLensAtOps[S, T, A](appliedLens: AppliedLens[S, T]) extends AnyVal
final case class AppliedLensConsOps[S, A, B](appliedLens: AppliedLens[S, 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 AppliedLensEmptyOps[S, T](appliedLens: AppliedLens[S, T]) 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 AppliedLensIndexOps[S, T, A](appliedLens: AppliedLens[S, T]) extends AnyVal
final case class AppliedLensListOfCharsOps[S](appliedLens: AppliedLens[S, List[Char]]) extends AnyVal
final case class AppliedLensListOps[S, A](appliedLens: AppliedLens[S, List[A]]) extends AnyVal
final case class AppliedLensNonEmptyConsOps[S, H, T, A](appliedLens: AppliedLens[S, A]) extends AnyVal
final case class AppliedLensOptionOps[A, B](appliedLens: AppliedLens[A, Option[B]]) extends AnyVal
final case class AppliedLensPrefixedOps[S, A, B](appliedLens: AppliedLens[S, A]) extends AnyVal
final case class AppliedLensReverseOps[S, A](appliedLens: AppliedLens[S, A]) extends AnyVal
final case class AppliedLensStringsOps[S](appliedLens: AppliedLens[S, String]) extends AnyVal
final case class AppliedLensSuffixedOps[S, A, B](appliedLens: AppliedLens[S, A]) extends AnyVal
final case class AppliedLensSwapTuple2Ops[A, B, C](appliedLens: AppliedLens[A, (B, C)]) extends AnyVal
trait AppliedLensSyntax
final case class AppliedLensTraversalOps[F[_], S, T, A](appliedLens: AppliedLens_[S, T, F[A], F[A]]) extends AnyVal
trait AppliedNonEmptyCons
trait AppliedOptionSyntax
final case class AppliedPolyLensOps[S, T, F[_], A](appliedLens: AppliedLens_[S, T, F[A], A]) extends AnyVal
trait AppliedPrefixedSyntax
final case class AppliedPrismAtOps[S, T, A](appliedPrism: AppliedPrism[S, T]) extends AnyVal
final case class AppliedPrismConsOps[S, A, B](appliedPrism: AppliedPrism[S, 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 AppliedPrismEmptyOps[S, T](appliedPrism: AppliedPrism[S, T]) 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 AppliedPrismIndexOps[S, T, A](appliedPrism: AppliedPrism[S, T]) extends AnyVal
final case class AppliedPrismListOfCharsOps[S](appliedPrism: AppliedPrism[S, List[Char]]) extends AnyVal
final case class AppliedPrismListOps[S, A](appliedPrism: AppliedPrism[S, List[A]]) 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 AppliedPrismPrefixedOps[S, A, B](appliedPrism: AppliedPrism[S, A]) extends AnyVal
final case class AppliedPrismReverseOps[S, A](appliedPrism: AppliedPrism[S, A]) extends AnyVal
final case class AppliedPrismStringOps[S](appliedPrism: AppliedPrism[S, String]) extends AnyVal
final case class AppliedPrismSuffixedOps[S, A, B](appliedPrism: AppliedPrism[S, A]) extends AnyVal
final case class AppliedPrismSwapTuple2Ops[A, B, C](appliedPrism: AppliedPrism[A, (B, C)]) extends AnyVal
trait AppliedPrismSyntax
trait AppliedReverseSyntax
final case class AppliedStringReverseOps(s: String) extends AnyVal
trait AppliedStringSyntax
final case class AppliedStringsOps(s: String) extends AnyVal
trait AppliedSuffixedSyntax
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 AppliedTraversalOpsWithTraverse[F[_], A](s: F[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
trait AppliedTraversalSyntax
final case class AppliedTraversalWithTraverseFocusElementOps[F[_], S, T, A](appliedTraversal: AppliedTraversal_[S, T, F[A], F[A]]) extends AnyVal
final case class AppliedTuple2ReverseOps[A, B](tuple: (A, B)) extends AnyVal
final case class AppliedTuple3ReverseOps[A, B, C](tuple: (A, B, C)) extends AnyVal
trait AppliedTupleSyntax
final case class CollectionEachOps[F[_], A](fa: F[A]) extends AnyVal
final case class ConsOps[S, A, B](s: S) extends AnyVal
final case class EachOps[S, T, A, B](s: S) extends AnyVal
final case class NonEmptyConsOps[S, H, T](s: S) extends AnyVal
final case class PrefixedFaOps[F[_], G[_], A](fa: F[A]) extends AnyVal
final case class PrefixedStringOps(s: String) extends AnyVal
final case class StringEachOps(str: String) extends AnyVal
final case class SuffixedFaOps[F[_], G[_], A](fa: F[A]) extends AnyVal
final case class SuffixedStringOps(s: String) extends AnyVal
final case class Tuple2ToAppliedLensOps[A, B](s: (A, B)) extends AnyVal
final case class Tuple2ToPolyAppliedLensOps[A, B](s: (A, B)) extends AnyVal
final case class Tuple3ToAppliedLensOps[A, B, C](s: (A, B, C)) extends AnyVal
final case class Tuple4ToAppliedLensOps[A, B, C, D](s: (A, B, C, D)) extends AnyVal
final case class Tuple5ToAppliedLensOps[A, B, C, D, E](s: (A, B, C, D, E)) extends AnyVal
object affineTraversal extends AppliedAffineTraversalSyntax
object all extends AppliedSyntax
object at extends AppliedAtSyntax
object cons extends AppliedConsSyntax
object each extends AppliedEachSyntax
object either extends AppliedEitherSyntax
object empty extends AppliedEmptySyntax
object fields extends AppliedFieldsSyntax
object fold extends AppliedFoldSyntax
object index extends AllIndexSyntax
object lens extends AppliedLensSyntax
object nonEmptyCons extends AppliedNonEmptyCons
object option extends AppliedOptionSyntax
object prefixed extends AppliedPrefixedSyntax
object reversed extends AppliedReverseSyntax
object string extends AppliedStringSyntax
object suffixed extends AppliedSuffixedSyntax
object traversal extends AppliedTraversalSyntax
object tuple extends AppliedTupleSyntax