root/scalaz/PLensFamily

PLensFamily

object PLensFamily extends PLensInstances with PLensFunctions
Companion
class
class Object
trait Matchable
class Any

Type members

Inherited classlikes

case
class FractionalPLens[S, F](lens: PLens[S, F], frac: Fractional[F])

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

Inherited from
PLensInstances
case
class IntegralPLens[S, I](lens: PLens[S, I], ig: Integral[I])

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

Inherited from
PLensInstances
case
class NumericPLens[S, N](lens: PLens[S, N], num: Numeric[N])(implicit evidence$1: Numeric[N])

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

Inherited from
PLensInstances

Value members

Concrete methods

def apply[A1, A2, B1, B2](r: A1 => Option[IndexedStore[B1, B2, A2]]): PLensFamily[A1, A2, B1, B2]

Inherited methods

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

Inherited from
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

Inherited from
PLensFamilyFunctions
def distributePLens[A, B, C]: PLens[(A, B \/ C), (A, B) \/ (A, C)]
Inherited from
PLensFunctions
def distributePLensFamily[A1, A2, B1, B2, C1, C2]: PLensFamily[(A1, B1 \/ C1), (A2, B2 \/ C2), (A1, B1) \/ (A1, C1), (A2, B2) \/ (A2, C2)]
Inherited from
PLensFamilyFunctions
def eitherLens[S, A, B](l: PLens[S, A \/ B]): (PLens[S, A], PLens[S, B])
Inherited from
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])
Inherited from
PLensFamilyFunctions
def ephemeralStreamLookupByPLens[K, V](p: K => Boolean): PLens[EphemeralStream[(K, V)], V]
Inherited from
PLensFunctions
def ephemeralStreamLookupPLens[K : Equal, V](k: K): PLens[EphemeralStream[(K, V)], V]
Inherited from
PLensFunctions
def ephemeralStreamNthPLens[A](n: Int): PLens[EphemeralStream[A], A]
Inherited from
PLensFunctions
def factorPLens[A, B, C]: PLens[(A, B) \/ (A, C), (A, B \/ C)]
Inherited from
PLensFunctions
def factorPLensFamily[A1, A2, B1, B2, C1, C2]: PLensFamily[(A1, B1) \/ (A1, C1), (A2, B2) \/ (A2, C2), (A1, B1 \/ C1), (A2, B2 \/ C2)]
Inherited from
PLensFamilyFunctions
def iListHeadPLens[A]: PLens[IList[A], A]
Inherited from
PLensFunctions
def iListLookupByPLens[K, V](p: K => Boolean): PLens[IList[(K, V)], V]
Inherited from
PLensFunctions
def iListLookupPLens[K : Equal, V](k: K): PLens[IList[(K, V)], V]
Inherited from
PLensFunctions
def iListNthPLens[A](n: Int): PLens[IList[A], A]
Inherited from
PLensFunctions
def iListTailPLens[A]: PLens[IList[A], IList[A]]
Inherited from
PLensFunctions
def lazyLeftPLens[A, B]: PLens[LazyEither[A, B], A]
Inherited from
PLensFunctions
def lazyLeftPLensFamily[A1, A2, B]: PLensFamily[LazyEither[A1, B], LazyEither[A2, B], A1, A2]
Inherited from
PLensFamilyFunctions
def lazyRightPLens[A, B]: PLens[LazyEither[A, B], B]
Inherited from
PLensFunctions
def lazyRightPLensFamily[A, B1, B2]: PLensFamily[LazyEither[A, B1], LazyEither[A, B2], B1, B2]
Inherited from
PLensFamilyFunctions
def lazySomePLens[A]: PLens[LazyOption[A], A]
Inherited from
PLensFunctions
def lazySomePLensFamily[A1, A2]: PLensFamily[LazyOption[A1], LazyOption[A2], A1, A2]
Inherited from
PLensFamilyFunctions
def leftPLens[A, B]: PLens[A \/ B, A]
Inherited from
PLensFunctions
def leftPLensFamily[A1, A2, B]: PLensFamily[A1 \/ B, A2 \/ B, A1, A2]
Inherited from
PLensFamilyFunctions
def listHeadPLens[A]: PLens[List[A], A]
Inherited from
PLensFunctions
def listLookupByPLens[K, V](p: K => Boolean): PLens[List[(K, V)], V]
Inherited from
PLensFunctions
def listLookupPLens[K : Equal, V](k: K): PLens[List[(K, V)], V]
Inherited from
PLensFunctions
def listNthPLens[A](n: Int): PLens[List[A], A]
Inherited from
PLensFunctions
def listTailPLens[A]: PLens[List[A], List[A]]
Inherited from
PLensFunctions
def mapVPLens[K, V](k: K): PLens[Map[K, V], V]
Inherited from
PLensFunctions
def nil[A, B]: PLens[A, B]

The always-null partial lens

The always-null partial lens

Inherited from
PLensFunctions
def nilFamily[A1, A2, B1, B2]: PLensFamily[A1, A2, B1, B2]

The always-null partial lens family

The always-null partial lens family

Inherited from
PLensFamilyFunctions
def plens[A, B](r: A => Option[Store[B, A]]): PLens[A, B]
Inherited from
PLensFunctions
def plensFamily[A1, A2, B1, B2](r: A1 => Option[IndexedStore[B1, B2, A2]]): PLensFamily[A1, A2, B1, B2]
Inherited from
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

Inherited from
PLensFamilyFunctions
def plensFamilyf[A1, A2, B1, B2](r: PartialFunction[A1, IndexedStore[B1, B2, A2]]): PLensFamily[A1, A2, B1, B2]
Inherited from
PLensFamilyFunctions
def plensFamilyg[A1, A2, B1, B2](set: A1 => Option[B2 => A2], get: A1 => Option[B1]): PLensFamily[A1, A2, B1, B2]
Inherited from
PLensFamilyFunctions
def plensId[A]: PLens[A, A]

The identity partial lens for a given object

The identity partial lens for a given object

Inherited from
PLensFunctions
def plensf[A, B](r: PartialFunction[A, Store[B, A]]): PLens[A, B]
Inherited from
PLensFunctions
def plensg[A, B](set: A => Option[B => A], get: A => Option[B]): PLens[A, B]
Inherited from
PLensFunctions
def plensgf[A, B](set: PartialFunction[A, B => A], get: PartialFunction[A, B]): PLens[A, B]
Inherited from
PLensFunctions
def rightPLens[A, B]: PLens[A \/ B, B]
Inherited from
PLensFunctions
def rightPLensFamily[A, B1, B2]: PLensFamily[A \/ B1, A \/ B2, B1, B2]
Inherited from
PLensFamilyFunctions
def somePLens[A]: PLens[Option[A], A]
Inherited from
PLensFunctions
def somePLensFamily[A1, A2]: PLensFamily[Option[A1], Option[A2], A1, A2]
Inherited from
PLensFamilyFunctions
def streamHeadPLens[A]: PLens[Stream[A], A]
Inherited from
PLensFunctions
def streamLookupByPLens[K, V](p: K => Boolean): PLens[Stream[(K, V)], V]
Inherited from
PLensFunctions
def streamLookupPLens[K : Equal, V](k: K): PLens[Stream[(K, V)], V]
Inherited from
PLensFunctions
def streamNthPLens[A](n: Int): PLens[Stream[A], A]
Inherited from
PLensFunctions
def streamTailPLens[A]: PLens[Stream[A], Stream[A]]
Inherited from
PLensFunctions
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

Inherited from
PLensFunctions
def tuple2PLens[S, A, B](lens: PLens[S, (A, B)]): (PLens[S, A], PLens[S, B])
Inherited from
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])
Inherited from
PLensFamilyFunctions
def tuple3PLens[S, A, B, C](lens: PLens[S, (A, B, C)]): (PLens[S, A], PLens[S, B], PLens[S, C])
Inherited from
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])
Inherited from
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])
Inherited from
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])
Inherited from
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])
Inherited from
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])
Inherited from
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])
Inherited from
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])
Inherited from
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])
Inherited from
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])
Inherited from
PLensFamilyFunctions
def vectorHeadPLens[A]: PLens[Vector[A], A]
Inherited from
PLensFunctions
def vectorLastPLens[A]: PLens[Vector[A], A]
Inherited from
PLensFunctions
def vectorNthPLens[A](n: Int): PLens[Vector[A], A]
Inherited from
PLensFunctions

Implicits

Inherited implicits

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

Inherited from
PLensInstances
implicit
def PLensFamilyUnzip[S, R]: Unzip[[α] =>> PLensFamily[S, R, α, α]]
Inherited from
PLensInstances
implicit
def fractionalPLens[S, F : Fractional](lens: PLens[S, F]): FractionalPLens[S, F]
Inherited from
PLensInstances
implicit
def integralPLens[S, I : Integral](lens: PLens[S, I]): IntegralPLens[S, I]
Inherited from
PLensInstances
implicit
def numericPLens[S, N : Numeric](lens: PLens[S, N]): NumericPLens[S, N]
Inherited from
PLensInstances
implicit
val plensCategory: PLensCategory
Inherited from
PLensInstances