trait PLensFunctions extends PLensInstances with PLensFamilyFunctions
Ordering
- Alphabetic
- By Inheritance
Inherited
- PLensFunctions
- PLensFamilyFunctions
- PLensInstances
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
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$4: 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( ... ) @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: Any): 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[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
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( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()