trait PLensFunctions extends PLensInstances with PLensFamilyFunctions
- Alphabetic
- By Inheritance
- PLensFunctions
- PLensFamilyFunctions
- PLensInstances
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- case class FractionalPLens[S, F](lens: @?>[S, F], frac: Fractional[F]) extends Product with Serializable
Allow the illusion of imperative updates to potential numbers viewed through a partial lens
Allow the illusion of imperative updates to potential numbers viewed through a partial lens
- Definition Classes
- PLensInstances
- case class IntegralPLens[S, I](lens: @?>[S, I], ig: Integral[I]) extends Product with Serializable
Allow the illusion of imperative updates to potential numbers viewed through a partial lens
Allow the illusion of imperative updates to potential numbers viewed through a partial lens
- Definition Classes
- PLensInstances
- case class NumericPLens[S, N](lens: @?>[S, N], num: Numeric[N])(implicit evidence$5: Numeric[N]) extends Product with Serializable
Allow the illusion of imperative updates to potential numbers viewed through a partial lens
Allow the illusion of imperative updates to potential numbers viewed through a partial lens
- Definition Classes
- PLensInstances
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
- implicit def PLensFamilyState[A, B](plens: PLensFamily[A, _, B, _]): PState[A, B]
Partial Lenses may be used implicitly as State monadic actions that get the potentially viewed portion of the state
Partial Lenses may be used implicitly as State monadic actions that get the potentially viewed portion of the state
- Definition Classes
- PLensInstances
- implicit def PLensFamilyUnzip[S, R]: Unzip[[α]PLensFamily[S, R, α, α]]
- Definition Classes
- PLensInstances
- 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 codiagPLens[A]: PLens[\/[A, A], A]
A lens that discards the choice of right or left from disjunction
- def codiagPLensFamily[A1, A2]: PLensFamily[\/[A1, A1], \/[A2, A2], A1, A2]
A partial lens family that discards the choice of right or left from disjunction
A partial lens family that discards the choice of right or left from disjunction
- Definition Classes
- PLensFamilyFunctions
- def distributePLens[A, B, C]: @?>[(A, \/[B, C]), \/[(A, B), (A, C)]]
- def distributePLensFamily[A1, A2, B1, B2, C1, C2]: PLensFamily[(A1, \/[B1, C1]), (A2, \/[B2, C2]), \/[(A1, B1), (A1, C1)], \/[(A2, B2), (A2, C2)]]
- Definition Classes
- PLensFamilyFunctions
- def eitherLens[S, A, B](l: @?>[S, \/[A, B]]): (@?>[S, A], @?>[S, B])
- def eitherLensFamily[S1, S2, A, B](l: PLensFamily[S1, S2, \/[A, B], \/[A, B]]): (PLensFamily[S1, S2, A, A], PLensFamily[S1, S2, B, B])
- Definition Classes
- PLensFamilyFunctions
- def ephemeralStreamHeadPLens[A]: @?>[EphemeralStream[A], A]
- def ephemeralStreamLookupByPLens[K, V](p: (K) => Boolean): @?>[EphemeralStream[(K, V)], V]
- def ephemeralStreamLookupPLens[K, V](k: K)(implicit arg0: Equal[K]): @?>[EphemeralStream[(K, V)], V]
- def ephemeralStreamNthPLens[A](n: Int): @?>[EphemeralStream[A], A]
- def ephemeralStreamTailPLens[A]: @?>[EphemeralStream[A], EphemeralStream[A]]
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def factorPLens[A, B, C]: @?>[\/[(A, B), (A, C)], (A, \/[B, C])]
- def factorPLensFamily[A1, A2, B1, B2, C1, C2]: PLensFamily[\/[(A1, B1), (A1, C1)], \/[(A2, B2), (A2, C2)], (A1, \/[B1, C1]), (A2, \/[B2, C2])]
- Definition Classes
- PLensFamilyFunctions
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- implicit def fractionalPLens[S, F](lens: @?>[S, F])(implicit arg0: Fractional[F]): FractionalPLens[S, F]
- Definition Classes
- PLensInstances
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def iListHeadPLens[A]: @?>[IList[A], A]
- def iListLookupByPLens[K, V](p: (K) => Boolean): @?>[IList[(K, V)], V]
- def iListLookupPLens[K, V](k: K)(implicit arg0: Equal[K]): @?>[IList[(K, V)], V]
- def iListNthPLens[A](n: Int): @?>[IList[A], A]
- def iListTailPLens[A]: @?>[IList[A], IList[A]]
- implicit def integralPLens[S, I](lens: @?>[S, I])(implicit arg0: Integral[I]): IntegralPLens[S, I]
- Definition Classes
- PLensInstances
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def lazyLeftPLens[A, B]: @?>[LazyEither[A, B], A]
- def lazyLeftPLensFamily[A1, A2, B]: PLensFamily[LazyEither[A1, B], LazyEither[A2, B], A1, A2]
- Definition Classes
- PLensFamilyFunctions
- def lazyRightPLens[A, B]: @?>[LazyEither[A, B], B]
- def lazyRightPLensFamily[A, B1, B2]: PLensFamily[LazyEither[A, B1], LazyEither[A, B2], B1, B2]
- Definition Classes
- PLensFamilyFunctions
- def lazySomePLens[A]: @?>[LazyOption[A], A]
- def lazySomePLensFamily[A1, A2]: PLensFamily[LazyOption[A1], LazyOption[A2], A1, A2]
- Definition Classes
- PLensFamilyFunctions
- def leftPLens[A, B]: @?>[\/[A, B], A]
- def leftPLensFamily[A1, A2, B]: PLensFamily[\/[A1, B], \/[A2, B], A1, A2]
- Definition Classes
- PLensFamilyFunctions
- def listHeadPLens[A]: @?>[List[A], A]
- def listLookupByPLens[K, V](p: (K) => Boolean): @?>[List[(K, V)], V]
- def listLookupPLens[K, V](k: K)(implicit arg0: Equal[K]): @?>[List[(K, V)], V]
- def listNthPLens[A](n: Int): @?>[List[A], A]
- def listTailPLens[A]: @?>[List[A], List[A]]
- def mapVPLens[K, V](k: K): @?>[Map[K, V], V]
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def nil[A, B]: PLens[A, B]
The always-null partial lens
- def nilFamily[A1, A2, B1, B2]: PLensFamily[A1, A2, B1, B2]
The always-null partial lens family
The always-null partial lens family
- Definition Classes
- PLensFamilyFunctions
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- implicit def numericPLens[S, N](lens: @?>[S, N])(implicit arg0: Numeric[N]): NumericPLens[S, N]
- Definition Classes
- PLensInstances
- def plens[A, B](r: (A) => Option[Store[B, A]]): PLens[A, B]
- implicit val plensCategory: PLensCategory
- Definition Classes
- PLensInstances
- def plensFamily[A1, A2, B1, B2](r: (A1) => Option[IndexedStore[B1, B2, A2]]): PLensFamily[A1, A2, B1, B2]
- Definition Classes
- PLensFamilyFunctions
- def plensFamilyId[A1, A2]: PLensFamily[A1, A2, A1, A2]
The identity partial lens family for a given pair of objects
The identity partial lens family for a given pair of objects
- Definition Classes
- PLensFamilyFunctions
- def plensFamilyf[A1, A2, B1, B2](r: PartialFunction[A1, IndexedStore[B1, B2, A2]]): PLensFamily[A1, A2, B1, B2]
- Definition Classes
- PLensFamilyFunctions
- def plensFamilyg[A1, A2, B1, B2](set: (A1) => Option[(B2) => A2], get: (A1) => Option[B1]): PLensFamily[A1, A2, B1, B2]
- Definition Classes
- PLensFamilyFunctions
- def plensId[A]: PLens[A, A]
The identity partial lens for a given object
- def plensf[A, B](r: PartialFunction[A, Store[B, A]]): PLens[A, B]
- def plensg[A, B](set: (A) => Option[(B) => A], get: (A) => Option[B]): PLens[A, B]
- def plensgf[A, B](set: PartialFunction[A, (B) => A], get: PartialFunction[A, B]): PLens[A, B]
- def rightPLens[A, B]: @?>[\/[A, B], B]
- def rightPLensFamily[A, B1, B2]: PLensFamily[\/[A, B1], \/[A, B2], B1, B2]
- Definition Classes
- PLensFamilyFunctions
- def somePLens[A]: @?>[Option[A], A]
- def somePLensFamily[A1, A2]: PLensFamily[Option[A1], Option[A2], A1, A2]
- Definition Classes
- PLensFamilyFunctions
- def streamHeadPLens[A]: @?>[Stream[A], A]
- def streamLookupByPLens[K, V](p: (K) => Boolean): @?>[Stream[(K, V)], V]
- def streamLookupPLens[K, V](k: K)(implicit arg0: Equal[K]): @?>[Stream[(K, V)], V]
- def streamNthPLens[A](n: Int): @?>[Stream[A], A]
- def streamTailPLens[A]: @?>[Stream[A], Stream[A]]
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- def trivialPLens[A]: PLens[A, Unit]
The trivial partial lens that can retrieve Unit from anything
- def tuple2PLens[S, A, B](lens: PLens[S, (A, B)]): (PLens[S, A], PLens[S, B])
- def tuple2PLensFamily[S1, S2, A, B](lens: PLensFamily[S1, S2, (A, B), (A, B)]): (PLensFamily[S1, S2, A, A], PLensFamily[S1, S2, B, B])
- Definition Classes
- PLensFamilyFunctions
- def tuple3PLens[S, A, B, C](lens: PLens[S, (A, B, C)]): (PLens[S, A], PLens[S, B], PLens[S, C])
- def tuple3PLensFamily[S1, S2, A, B, C](lens: PLensFamily[S1, S2, (A, B, C), (A, B, C)]): (PLensFamily[S1, S2, A, A], PLensFamily[S1, S2, B, B], PLensFamily[S1, S2, C, C])
- Definition Classes
- PLensFamilyFunctions
- def tuple4PLens[S, A, B, C, D](lens: PLens[S, (A, B, C, D)]): (PLens[S, A], PLens[S, B], PLens[S, C], PLens[S, D])
- def tuple4PLensFamily[S1, S2, A, B, C, D](lens: PLensFamily[S1, S2, (A, B, C, D), (A, B, C, D)]): (PLensFamily[S1, S2, A, A], PLensFamily[S1, S2, B, B], PLensFamily[S1, S2, C, C], PLensFamily[S1, S2, D, D])
- Definition Classes
- PLensFamilyFunctions
- def tuple5PLens[S, A, B, C, D, E](lens: PLens[S, (A, B, C, D, E)]): (PLens[S, A], PLens[S, B], PLens[S, C], PLens[S, D], PLens[S, E])
- def tuple5PLensFamily[S1, S2, A, B, C, D, E](lens: PLensFamily[S1, S2, (A, B, C, D, E), (A, B, C, D, E)]): (PLensFamily[S1, S2, A, A], PLensFamily[S1, S2, B, B], PLensFamily[S1, S2, C, C], PLensFamily[S1, S2, D, D], PLensFamily[S1, S2, E, E])
- Definition Classes
- PLensFamilyFunctions
- def tuple6PLens[S, A, B, C, D, E, H](lens: PLens[S, (A, B, C, D, E, H)]): (PLens[S, A], PLens[S, B], PLens[S, C], PLens[S, D], PLens[S, E], PLens[S, H])
- def tuple6PLensFamily[S1, S2, A, B, C, D, E, H](lens: PLensFamily[S1, S2, (A, B, C, D, E, H), (A, B, C, D, E, H)]): (PLensFamily[S1, S2, A, A], PLensFamily[S1, S2, B, B], PLensFamily[S1, S2, C, C], PLensFamily[S1, S2, D, D], PLensFamily[S1, S2, E, E], PLensFamily[S1, S2, H, H])
- Definition Classes
- PLensFamilyFunctions
- def tuple7PLens[S, A, B, C, D, E, H, I](lens: PLens[S, (A, B, C, D, E, H, I)]): (PLens[S, A], PLens[S, B], PLens[S, C], PLens[S, D], PLens[S, E], PLens[S, H], PLens[S, I])
- def tuple7PLensFamily[S1, S2, A, B, C, D, E, H, I](lens: PLensFamily[S1, S2, (A, B, C, D, E, H, I), (A, B, C, D, E, H, I)]): (PLensFamily[S1, S2, A, A], PLensFamily[S1, S2, B, B], PLensFamily[S1, S2, C, C], PLensFamily[S1, S2, D, D], PLensFamily[S1, S2, E, E], PLensFamily[S1, S2, H, H], PLensFamily[S1, S2, I, I])
- Definition Classes
- PLensFamilyFunctions
- def vectorHeadPLens[A]: @?>[Vector[A], A]
- def vectorLastPLens[A]: @?>[Vector[A], A]
- def vectorNthPLens[A](n: Int): @?>[Vector[A], A]
- 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()