object PLens extends PLensInstances with PLensFunctions
- Source
- package.scala
- See also
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- PLens
- 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$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
- def apply[A, B](r: (A) ⇒ Option[Store[B, A]]): PLens[A, B]
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
def
codiagPLens[A]: PLens[\/[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
- PLensFunctions
-
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)]]
- Definition Classes
- PLensFunctions
-
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])
- Definition Classes
- PLensFunctions
-
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]
- Definition Classes
- PLensFunctions
-
def
ephemeralStreamLookupByPLens[K, V](p: (K) ⇒ Boolean): @?>[EphemeralStream[(K, V)], V]
- Definition Classes
- PLensFunctions
-
def
ephemeralStreamLookupPLens[K, V](k: K)(implicit arg0: Equal[K]): @?>[EphemeralStream[(K, V)], V]
- Definition Classes
- PLensFunctions
-
def
ephemeralStreamNthPLens[A](n: Int): @?>[EphemeralStream[A], A]
- Definition Classes
- PLensFunctions
-
def
ephemeralStreamTailPLens[A]: @?>[EphemeralStream[A], EphemeralStream[A]]
- Definition Classes
- PLensFunctions
-
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])]
- Definition Classes
- PLensFunctions
-
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[java.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()
-
def
iListHeadPLens[A]: @?>[IList[A], A]
- Definition Classes
- PLensFunctions
-
def
iListLookupByPLens[K, V](p: (K) ⇒ Boolean): @?>[IList[(K, V)], V]
- Definition Classes
- PLensFunctions
-
def
iListLookupPLens[K, V](k: K)(implicit arg0: Equal[K]): @?>[IList[(K, V)], V]
- Definition Classes
- PLensFunctions
-
def
iListNthPLens[A](n: Int): @?>[IList[A], A]
- Definition Classes
- PLensFunctions
-
def
iListTailPLens[A]: @?>[IList[A], IList[A]]
- Definition Classes
- PLensFunctions
-
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]
- Definition Classes
- PLensFunctions
-
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]
- Definition Classes
- PLensFunctions
-
def
lazyRightPLensFamily[A, B1, B2]: PLensFamily[LazyEither[A, B1], LazyEither[A, B2], B1, B2]
- Definition Classes
- PLensFamilyFunctions
-
def
lazySomePLens[A]: @?>[LazyOption[A], A]
- Definition Classes
- PLensFunctions
-
def
lazySomePLensFamily[A1, A2]: PLensFamily[LazyOption[A1], LazyOption[A2], A1, A2]
- Definition Classes
- PLensFamilyFunctions
-
def
leftPLens[A, B]: @?>[\/[A, B], A]
- Definition Classes
- PLensFunctions
-
def
leftPLensFamily[A1, A2, B]: PLensFamily[\/[A1, B], \/[A2, B], A1, A2]
- Definition Classes
- PLensFamilyFunctions
-
def
listHeadPLens[A]: @?>[List[A], A]
- Definition Classes
- PLensFunctions
-
def
listLookupByPLens[K, V](p: (K) ⇒ Boolean): @?>[List[(K, V)], V]
- Definition Classes
- PLensFunctions
-
def
listLookupPLens[K, V](k: K)(implicit arg0: Equal[K]): @?>[List[(K, V)], V]
- Definition Classes
- PLensFunctions
-
def
listNthPLens[A](n: Int): @?>[List[A], A]
- Definition Classes
- PLensFunctions
-
def
listTailPLens[A]: @?>[List[A], List[A]]
- Definition Classes
- PLensFunctions
-
def
mapVPLens[K, V](k: K): @?>[Map[K, V], V]
- Definition Classes
- PLensFunctions
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
nil[A, B]: PLens[A, B]
The always-null partial lens
The always-null partial lens
- Definition Classes
- PLensFunctions
-
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]
- Definition Classes
- PLensFunctions
-
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
The identity partial lens for a given object
- Definition Classes
- PLensFunctions
-
def
plensf[A, B](r: PartialFunction[A, Store[B, A]]): PLens[A, B]
- Definition Classes
- PLensFunctions
-
def
plensg[A, B](set: (A) ⇒ Option[(B) ⇒ A], get: (A) ⇒ Option[B]): PLens[A, B]
- Definition Classes
- PLensFunctions
-
def
plensgf[A, B](set: PartialFunction[A, (B) ⇒ A], get: PartialFunction[A, B]): PLens[A, B]
- Definition Classes
- PLensFunctions
-
def
rightPLens[A, B]: @?>[\/[A, B], B]
- Definition Classes
- PLensFunctions
-
def
rightPLensFamily[A, B1, B2]: PLensFamily[\/[A, B1], \/[A, B2], B1, B2]
- Definition Classes
- PLensFamilyFunctions
-
def
somePLens[A]: @?>[Option[A], A]
- Definition Classes
- PLensFunctions
-
def
somePLensFamily[A1, A2]: PLensFamily[Option[A1], Option[A2], A1, A2]
- Definition Classes
- PLensFamilyFunctions
-
def
streamHeadPLens[A]: @?>[Stream[A], A]
- Definition Classes
- PLensFunctions
-
def
streamLookupByPLens[K, V](p: (K) ⇒ Boolean): @?>[Stream[(K, V)], V]
- Definition Classes
- PLensFunctions
-
def
streamLookupPLens[K, V](k: K)(implicit arg0: Equal[K]): @?>[Stream[(K, V)], V]
- Definition Classes
- PLensFunctions
-
def
streamNthPLens[A](n: Int): @?>[Stream[A], A]
- Definition Classes
- PLensFunctions
-
def
streamTailPLens[A]: @?>[Stream[A], Stream[A]]
- Definition Classes
- PLensFunctions
-
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
The trivial partial lens that can retrieve Unit from anything
- Definition Classes
- PLensFunctions
-
def
tuple2PLens[S, A, B](lens: PLens[S, (A, B)]): (PLens[S, A], PLens[S, B])
- Definition Classes
- PLensFunctions
-
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])
- Definition Classes
- PLensFunctions
-
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])
- Definition Classes
- PLensFunctions
-
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])
- Definition Classes
- PLensFunctions
-
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])
- Definition Classes
- PLensFunctions
-
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])
- Definition Classes
- PLensFunctions
-
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]
- Definition Classes
- PLensFunctions
-
def
vectorLastPLens[A]: @?>[Vector[A], A]
- Definition Classes
- PLensFunctions
-
def
vectorNthPLens[A](n: Int): @?>[Vector[A], A]
- Definition Classes
- PLensFunctions
-
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
- @native() @throws( ... )