object Lens extends LensInstances with LensFunctions
- Source
- toplevel.scala
- See also
- Alphabetic
- By Inheritance
- Lens
- LensFunctions
- LensFamilyFunctions
- LensInstances
- LensInstances0
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- type ArrayLens[S, A] = ArrayLensFamily[S, S, A]
- Definition Classes
- LensInstances
- type FractionalLens[S, F] = FractionalLensFamily[S, S, F]
- Definition Classes
- LensInstances
- type IntegralLens[S, I] = IntegralLensFamily[S, S, I]
- Definition Classes
- LensInstances
- type MapLens[S, K, V] = MapLensFamily[S, S, K, V]
- Definition Classes
- LensInstances
- type NumericLens[S, N] = NumericLensFamily[S, S, N]
- Definition Classes
- LensInstances
- type QueueLens[S, A] = QueueLensFamily[S, S, A]
- Definition Classes
- LensInstances
- type SeqLikeLens[S, A, Repr <: SeqLike[A, Repr]] = SeqLikeLensFamily[S, S, A, Repr]
- Definition Classes
- LensInstances
- type SetLens[S, K] = SetLensFamily[S, S, K]
- Definition Classes
- LensInstances
- case class ArrayLensFamily[S1, S2, A](lens: LensFamily[S1, S2, Array[A], Array[A]]) extends Product with Serializable
Provide an imperative-seeming API for arrays viewed through a lens
Provide an imperative-seeming API for arrays viewed through a lens
- Definition Classes
- LensInstances
- case class FractionalLensFamily[S1, S2, F](lens: LensFamily[S1, S2, F, F], frac: Fractional[F]) extends Product with Serializable
Allow the illusion of imperative updates to numbers viewed through a lens
Allow the illusion of imperative updates to numbers viewed through a lens
- Definition Classes
- LensInstances
- case class IntegralLensFamily[S1, S2, I](lens: LensFamily[S1, S2, I, I], ig: Integral[I]) extends Product with Serializable
Allow the illusion of imperative updates to numbers viewed through a lens
Allow the illusion of imperative updates to numbers viewed through a lens
- Definition Classes
- LensInstances
- case class MapLensFamily[S1, S2, K, V](lens: LensFamily[S1, S2, Map[K, V], Map[K, V]]) extends Product with Serializable
A lens that views an immutable Map type can provide a mutable.Map-like API via State
A lens that views an immutable Map type can provide a mutable.Map-like API via State
- Definition Classes
- LensInstances
- case class NumericLensFamily[S1, S2, N](lens: LensFamily[S1, S2, N, N], num: Numeric[N]) extends Product with Serializable
Allow the illusion of imperative updates to numbers viewed through a lens
Allow the illusion of imperative updates to numbers viewed through a lens
- Definition Classes
- LensInstances
- case class QueueLensFamily[S1, S2, A](lens: LensFamily[S1, S2, Queue[A], Queue[A]]) extends Product with Serializable
Provide an imperative-seeming API for queues viewed through a lens
Provide an imperative-seeming API for queues viewed through a lens
- Definition Classes
- LensInstances
- case class SeqLikeLensFamily[S1, S2, A, Repr <: SeqLike[A, Repr]](lens: LensFamily[S1, S2, Repr, Repr]) extends Product with Serializable
Provide the appearance of a mutable-like API for sorting sequences through a lens
Provide the appearance of a mutable-like API for sorting sequences through a lens
- Definition Classes
- LensInstances
- case class SetLensFamily[S1, S2, K](lens: LensFamily[S1, S2, Set[K], Set[K]]) extends Product with Serializable
- Definition Classes
- LensInstances
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- val ArrayLens: ArrayLensFamily.type
- Definition Classes
- LensInstances
- val FractionalLens: FractionalLensFamily.type
- Definition Classes
- LensInstances
- val IntegralLens: IntegralLensFamily.type
- Definition Classes
- LensInstances
- implicit def LensFamilyState[A, B](lens: LensFamily[A, _, B, _]): State[A, B]
Lenses may be used implicitly as State monadic actions that get the viewed portion of the state
Lenses may be used implicitly as State monadic actions that get the viewed portion of the state
- Definition Classes
- LensInstances
- implicit def LensFamilyUnzip[S, R]: Unzip[[α]LensFamily[S, R, α, α]]
- Definition Classes
- LensInstances
- val MapLens: MapLensFamily.type
- Definition Classes
- LensInstances
- val NumericLens: NumericLensFamily.type
- Definition Classes
- LensInstances
- val QueueLens: QueueLensFamily.type
- Definition Classes
- LensInstances
- val SeqLikeLens: SeqLikeLensFamily.type
- Definition Classes
- LensInstances
- val SetLens: SetLensFamily.type
- Definition Classes
- LensInstances
- def apply[A, B](r: (A) => Store[B, A]): Lens[A, B]
- def applyLens[A, B](k: (B) => A)(implicit e: Equal[A]): @>[Store[A, B], B]
- Definition Classes
- LensFunctions
- implicit def arrayLensFamily[S1, S2, A](lens: LensFamily[S1, S2, Array[A], Array[A]]): ArrayLensFamily[S1, S2, A]
- Definition Classes
- LensInstances
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def codiagLens[A]: Lens[\/[A, A], A]
A lens that discards the choice of right or left from disjunction
A lens that discards the choice of right or left from disjunction
- Definition Classes
- LensFunctions
- def codiagLensFamily[A1, A2]: LensFamily[\/[A1, A1], \/[A2, A2], A1, A2]
A lens family that discards the choice of right or left from disjunction
A lens family that discards the choice of right or left from disjunction
- Definition Classes
- LensFamilyFunctions
- def distributeLens[A, B, C]: @>[(A, \/[B, C]), \/[(A, B), (A, C)]]
- Definition Classes
- LensFunctions
- def distributeLensFamily[A1, A2, B1, B2, C1, C2]: LensFamily[(A1, \/[B1, C1]), (A2, \/[B2, C2]), \/[(A1, B1), (A1, C1)], \/[(A2, B2), (A2, C2)]]
- Definition Classes
- LensFamilyFunctions
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def factorLens[A, B, C]: @>[\/[(A, B), (A, C)], (A, \/[B, C])]
- Definition Classes
- LensFunctions
- def factorLensFamily[A1, A2, B1, B2, C1, C2]: LensFamily[\/[(A1, B1), (A1, C1)], \/[(A2, B2), (A2, C2)], (A1, \/[B1, C1]), (A2, \/[B2, C2])]
- Definition Classes
- LensFamilyFunctions
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def firstLens[A, B]: @>[(A, B), A]
Access the first field of a tuple
Access the first field of a tuple
- Definition Classes
- LensFunctions
- def firstLensFamily[A1, A2, B]: LensFamily[(A1, B), (A2, B), A1, A2]
Polymorphically access the first field of a tuple
Polymorphically access the first field of a tuple
- Definition Classes
- LensFamilyFunctions
- implicit def fractionalLensFamily[S1, S2, F](lens: LensFamily[S1, S2, F, F])(implicit arg0: Fractional[F]): FractionalLensFamily[S1, S2, F]
- Definition Classes
- LensInstances
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- implicit def integralLensFamily[S1, S2, I](lens: LensFamily[S1, S2, I, I])(implicit arg0: Integral[I]): IntegralLensFamily[S1, S2, I]
- Definition Classes
- LensInstances
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def lazyFirstLens[A, B]: @>[LazyTuple2[A, B], A]
Access the first field of a tuple
Access the first field of a tuple
- Definition Classes
- LensFunctions
- def lazyFirstLensFamily[A1, A2, B]: LensFamily[LazyTuple2[A1, B], LazyTuple2[A2, B], A1, A2]
Polymorphically access the first field of a tuple
Polymorphically access the first field of a tuple
- Definition Classes
- LensFamilyFunctions
- def lazySecondLens[A, B]: @>[LazyTuple2[A, B], B]
Access the second field of a tuple
Access the second field of a tuple
- Definition Classes
- LensFunctions
- def lazySecondLensFamily[A, B1, B2]: LensFamily[LazyTuple2[A, B1], LazyTuple2[A, B2], B1, B2]
Polymorphically access the second field of a tuple
Polymorphically access the second field of a tuple
- Definition Classes
- LensFamilyFunctions
- def lens[A, B](r: (A) => Store[B, A]): Lens[A, B]
- Definition Classes
- LensFunctions
- implicit val lensCategory: LensCategory
- Definition Classes
- LensInstances
- def lensFamily[A1, A2, B1, B2](r: (A1) => IndexedStore[B1, B2, A2]): LensFamily[A1, A2, B1, B2]
- Definition Classes
- LensFamilyFunctions
- def lensFamilyId[A1, A2]: LensFamily[A1, A2, A1, A2]
The identity lens family for a given pair of objects
The identity lens family for a given pair of objects
- Definition Classes
- LensFamilyFunctions
- def lensFamilyg[A1, A2, B1, B2](set: (A1) => (B2) => A2, get: (A1) => B1): LensFamily[A1, A2, B1, B2]
- Definition Classes
- LensFamilyFunctions
- def lensFamilyu[A1, A2, B1, B2](set: (A1, B2) => A2, get: (A1) => B1): LensFamily[A1, A2, B1, B2]
- Definition Classes
- LensFamilyFunctions
- def lensId[A]: Lens[A, A]
The identity lens for a given object
The identity lens for a given object
- Definition Classes
- LensFunctions
- def lensg[A, B](set: (A) => (B) => A, get: (A) => B): Lens[A, B]
- Definition Classes
- LensFunctions
- def lensu[A, B](set: (A, B) => A, get: (A) => B): Lens[A, B]
- Definition Classes
- LensFunctions
- implicit def mapLensFamily[S1, S2, K, V](lens: LensFamily[S1, S2, Map[K, V], Map[K, V]]): MapLensFamily[S1, S2, K, V]
- Definition Classes
- LensInstances
- def mapVLens[K, V](k: K): @>[Map[K, V], Option[V]]
Access the value at a particular key of a Map *
Access the value at a particular key of a Map *
- Definition Classes
- LensFunctions
- def mapWithDefaultLens[K, V](k: K): @>[WithDefault[K, V], V]
Access the value at a particular key of a Map.WithDefault
Access the value at a particular key of a Map.WithDefault
- Definition Classes
- LensFunctions
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def nelHeadLens[A]: @>[NonEmptyList[A], A]
- Definition Classes
- LensFunctions
- def nelTailLens[A]: @>[NonEmptyList[A], List[A]]
- Definition Classes
- LensFunctions
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- implicit def numericLensFamily[S1, S2, N](lens: LensFamily[S1, S2, N, N])(implicit arg0: Numeric[N]): NumericLensFamily[S1, S2, N]
- Definition Classes
- LensInstances
- def predicateLens[A]: @>[Store[A, Boolean], \/[A, A]]
- Definition Classes
- LensFunctions
- def predicateLensFamily[A1, A2]: LensFamily[Store[A1, Boolean], Store[A2, Boolean], \/[A1, A1], \/[A2, A2]]
- Definition Classes
- LensFamilyFunctions
- implicit def queueLensFamily[S1, S2, A](lens: LensFamily[S1, S2, Queue[A], Queue[A]]): QueueLensFamily[S1, S2, A]
- Definition Classes
- LensInstances
- def secondLens[A, B]: @>[(A, B), B]
Access the second field of a tuple
Access the second field of a tuple
- Definition Classes
- LensFunctions
- def secondLensFamily[A, B1, B2]: LensFamily[(A, B1), (A, B2), B1, B2]
Polymorphically access the second field of a tuple
Polymorphically access the second field of a tuple
- Definition Classes
- LensFamilyFunctions
- implicit def seqLensFamily[S1, S2, A](lens: LensFamily[S1, S2, Seq[A], Seq[A]]): SeqLikeLensFamily[S1, S2, A, Seq[A]]
- Definition Classes
- LensInstances
- implicit def seqLikeLensFamily[S1, S2, A, Repr <: SeqLike[A, Repr]](lens: LensFamily[S1, S2, Repr, Repr]): SeqLikeLensFamily[S1, S2, A, Repr]
- Definition Classes
- LensInstances0
- implicit def setLensFamily[S1, S2, K](lens: LensFamily[S1, S2, Set[K], Set[K]]): SetLensFamily[S1, S2, K]
A lens that views a Set can provide the appearance of in place mutation
A lens that views a Set can provide the appearance of in place mutation
- Definition Classes
- LensInstances
- def setMembershipLens[A](a: A): @>[Set[A], Boolean]
Specify whether a value is in a Set
Specify whether a value is in a Set
- Definition Classes
- LensFunctions
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- def trivialLens[A]: Lens[A, Unit]
The trivial lens that can retrieve Unit from anything
The trivial lens that can retrieve Unit from anything
- Definition Classes
- LensFunctions
- implicit def tuple2LensFamily[S1, S2, A, B](lens: LensFamily[S1, S2, (A, B), (A, B)]): (LensFamily[S1, S2, A, A], LensFamily[S1, S2, B, B])
- Definition Classes
- LensInstances
- implicit def tuple3LensFamily[S1, S2, A, B, C](lens: LensFamily[S1, S2, (A, B, C), (A, B, C)]): (LensFamily[S1, S2, A, A], LensFamily[S1, S2, B, B], LensFamily[S1, S2, C, C])
- Definition Classes
- LensInstances
- implicit def tuple4LensFamily[S1, S2, A, B, C, D](lens: LensFamily[S1, S2, (A, B, C, D), (A, B, C, D)]): (LensFamily[S1, S2, A, A], LensFamily[S1, S2, B, B], LensFamily[S1, S2, C, C], LensFamily[S1, S2, D, D])
- Definition Classes
- LensInstances
- implicit def tuple5LensFamily[S1, S2, A, B, C, D, E](lens: LensFamily[S1, S2, (A, B, C, D, E), (A, B, C, D, E)]): (LensFamily[S1, S2, A, A], LensFamily[S1, S2, B, B], LensFamily[S1, S2, C, C], LensFamily[S1, S2, D, D], LensFamily[S1, S2, E, E])
- Definition Classes
- LensInstances
- implicit def tuple6LensFamily[S1, S2, A, B, C, D, E, H](lens: LensFamily[S1, S2, (A, B, C, D, E, H), (A, B, C, D, E, H)]): (LensFamily[S1, S2, A, A], LensFamily[S1, S2, B, B], LensFamily[S1, S2, C, C], LensFamily[S1, S2, D, D], LensFamily[S1, S2, E, E], LensFamily[S1, S2, H, H])
- Definition Classes
- LensInstances
- implicit def tuple7LensFamily[S1, S2, A, B, C, D, E, H, I](lens: LensFamily[S1, S2, (A, B, C, D, E, H, I), (A, B, C, D, E, H, I)]): (LensFamily[S1, S2, A, A], LensFamily[S1, S2, B, B], LensFamily[S1, S2, C, C], LensFamily[S1, S2, D, D], LensFamily[S1, S2, E, E], LensFamily[S1, S2, H, H], LensFamily[S1, S2, I, I])
- Definition Classes
- LensInstances
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()