Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
implicit
def
PLensFamilyState[A, B](plens: PLensFamily[A, _, B, _]): PState[A, B]
-
implicit
def
PLensFamilyUnzip[S, R]: Unzip[[α]PLensFamily[S, R, α, α]]
-
def
apply[A1, A2, B1, B2](r: (A1) ⇒ Option[IndexedStore[B1, B2, A2]]): PLensFamily[A1, A2, B1, B2]
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
def
codiagPLens[A]: PLens[\/[A, A], A]
-
def
codiagPLensFamily[A1, A2]: PLensFamily[\/[A1, A1], \/[A2, A2], A1, A2]
-
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)]]
-
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])
-
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
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])]
-
def
finalize(): Unit
-
implicit
def
fractionalPLens[S, F](lens: @?>[S, F])(implicit arg0: Fractional[F]): FractionalPLens[S, F]
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
implicit
def
integralPLens[S, I](lens: @?>[S, I])(implicit arg0: Integral[I]): IntegralPLens[S, I]
-
final
def
isInstanceOf[T0]: Boolean
-
def
lazyLeftPLens[A, B]: @?>[LazyEither[A, B], A]
-
-
def
lazyRightPLens[A, B]: @?>[LazyEither[A, B], B]
-
def
lazyRightPLensFamily[A, B1, B2]: PLensFamily[LazyEither[A, B1], LazyEither[A, B2], B1, B2]
-
def
lazySomePLens[A]: @?>[LazyOption[A], A]
-
-
def
leftPLens[A, B]: @?>[\/[A, B], A]
-
def
leftPLensFamily[A1, A2, B]: PLensFamily[\/[A1, B], \/[A2, B], A1, A2]
-
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]
-
-
def
nil[A, B]: PLens[A, B]
-
def
nilFamily[A1, A2, B1, B2]: PLensFamily[A1, A2, B1, B2]
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
implicit
def
numericPLens[S, N](lens: @?>[S, N])(implicit arg0: Numeric[N]): NumericPLens[S, N]
-
def
plens[A, B](r: (A) ⇒ Option[Store[B, A]]): PLens[A, B]
-
implicit
val
plensCategory: PLensCategory
-
def
plensFamily[A1, A2, B1, B2](r: (A1) ⇒ Option[IndexedStore[B1, B2, A2]]): PLensFamily[A1, A2, B1, B2]
-
def
plensFamilyId[A1, A2]: PLensFamily[A1, A2, A1, A2]
-
-
def
plensFamilyg[A1, A2, B1, B2](set: (A1) ⇒ Option[(B2) ⇒ A2], get: (A1) ⇒ Option[B1]): PLensFamily[A1, A2, B1, B2]
-
def
plensId[A]: PLens[A, A]
-
-
def
plensg[A, B](set: (A) ⇒ Option[(B) ⇒ A], get: (A) ⇒ Option[B]): PLens[A, B]
-
-
def
rightPLens[A, B]: @?>[\/[A, B], B]
-
def
rightPLensFamily[A, B1, B2]: PLensFamily[\/[A, B1], \/[A, B2], B1, B2]
-
def
somePLens[A]: @?>[Option[A], A]
-
def
somePLensFamily[A1, A2]: PLensFamily[Option[A1], Option[A2], A1, A2]
-
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
-
def
toString(): String
-
def
trivialPLens[A]: PLens[A, Unit]
-
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])
-
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])
-
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])
-
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])
-
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])
-
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])
-
def
vectorHeadPLens[A]: @?>[Vector[A], A]
-
def
vectorLastPLens[A]: @?>[Vector[A], A]
-
def
vectorNthPLens[A](n: Int): @?>[Vector[A], A]
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit