Proptics core/proptics.syntax

proptics.syntax

package proptics.syntax

Type members

Classlikes

final case class ALensSequenceOps[F[_], S, T, A](lens: ALens_[S, T, F[A], A]) extends AnyVal
trait ALensSyntax
final case class APrismSequenceOps[F[_], S, T, A](prism: APrism_[S, T, F[A], A]) extends AnyVal
trait APrismSyntax
final case class ATraversalElementOps[S, T, A](aTraversal: ATraversal_[S, T, A, A]) extends AnyVal
final case class ATraversalSequenceOps[F[_], I, S, T, A](grate: ATraversal_[S, T, F[A], A]) extends AnyVal
trait ATraversalSyntax
final case class AnIndexedLensSequenceOps[F[_], I, S, T, A](anIndexedLens: AnIndexedLens_[I, S, T, F[A], A]) extends AnyVal
trait AnIndexedLensSyntax
final case class AnIsoSequenceOps[F[_], S, T, A](iso: AnIso_[S, T, F[A], A]) extends AnyVal
trait AnIsoSyntax
final case class AppliedIndexOfCollectionOps[F[_], A](fa: F[A]) extends AnyVal
final case class AppliedPrismIndexOps[S, T, A](appliedPrism: AppliedPrism[S, T]) extends AnyVal
final case class AtRemoveOps[S, I, A](at: At[S, I, A]) extends AnyVal
trait AtSyntax
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 CostarOps[F[_], A, B](costar: Cokleisli[F, A, B]) extends AnyVal
trait CostarSyntax
final case class FoldElementOps[S, T, A](fold: Fold_[S, T, A, A]) extends AnyVal
trait FoldSyntax
final case class FoldableWithIndexOps[F[_], A](fa: F[A]) extends AnyVal
trait FoldableWithIndexSyntax
final case class Function2FlipOps[A, B, C](f: A => B => C) extends AnyVal
final case class FunctionFlippedApply[A](a: A) extends AnyVal
trait FunctionSyntax
final case class FunctorWithIndexOps[F[_], A](fa: F[A]) extends AnyVal
trait FunctorWithIndexSyntax
trait IndexSyntax
trait IndexedFoldSyntax
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
trait IndexedLensSyntax
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
trait IndexedTraversalSyntax
final case class IsoFunctorOps[S, A](iso: Iso[S, A]) extends AnyVal
final case class IsoSequenceOps[F[_], S, T, A](iso: Iso_[S, T, F[A], A]) extends AnyVal
trait IsoSyntax
final case class LensIndexOps[S, T, A](lens: Lens[S, T]) extends AnyVal
final case class LensSequenceOps[F[_], S, T, A](lens: Lens_[S, T, F[A], A]) extends AnyVal
trait LensSyntax
final case class PrismSequenceOps[F[_], S, T, A](prism: Prism_[S, T, F[A], A]) extends AnyVal
trait PrismSyntax
final case class SetterSTAOptionB[S, T, A, B](setter: Setter_[S, T, A, Option[B]]) extends AnyVal
trait SetterSyntax extends SetterSyntaxCompat
trait SetterSyntaxCompat extends Serializable
final case class StarOps[F[_], -A, B](star: Kleisli[F, A, B]) extends AnyVal
trait StarSyntax
final case class TraversalElementOps[S, T, A](traversal: Traversal_[S, T, A, A]) extends AnyVal
final case class TraversalFSequenceOps[F[_], S, T, A](traversal: Traversal_[S, T, F[A], A]) extends AnyVal
final case class TraversalIndexOps[S, T, A](traversal: Traversal[S, T]) extends AnyVal
trait TraversalSyntax
final case class TraverseWithIndexOps[F[_], A](fa: F[A]) extends AnyVal
trait TraverseWithIndexSyntax
final case class Tuple2TypeOps(tupleType: Tuple2.type) extends AnyVal
trait TupleSyntax
object aLens extends ALensSyntax
object aPrism extends APrismSyntax
object aTraversal extends ATraversalSyntax
object anIndexedLens extends AnIndexedLensSyntax
object anIso extends AnIsoSyntax
object at extends AtSyntax
object core
object costar extends CostarSyntax
object fold extends FoldSyntax
object foldableWithIndex extends FoldableWithIndexSyntax
object function extends FunctionSyntax
object functorWithIndex extends FunctorWithIndexSyntax
object index extends IndexSyntax
object indexedFold extends IndexedFoldSyntax
object indexedLens extends IndexedLensSyntax
object indexedTraversal extends IndexedTraversalSyntax
object iso extends IsoSyntax
object lens extends LensSyntax
object prism extends PrismSyntax
object setter extends SetterSyntax
object star extends StarSyntax
object traversal extends TraversalSyntax
object traverseWithIndex extends TraverseWithIndexSyntax
object tuple extends TupleSyntax