type PLens[A, B] = PLensFamily[A, A, B, B]
A partial lens that doesn't transform the type of the record.
- Source
- package.scala
- See also
- Alphabetic
- By Inheritance
- PLens
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Abstract Value Members
- abstract def run(a: A1): Option[IndexedStore[B1, B2, A2]]
- Definition Classes
- PLensFamily
Concrete Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- def %%=[A >: A2 <: A1, C](s: IndexedState[B1, B2, C]): PState[A, C]
- Definition Classes
- PLensFamily
- def %=[A >: A2 <: A1](f: (B1) => B2): PState[A, B2]
- Definition Classes
- PLensFamily
- def %==[A >: A2 <: A1](f: (B1) => B2): State[A, Unit]
- Definition Classes
- PLensFamily
- def ***[C1, C2, D1, D2](that: PLensFamily[C1, C2, D1, D2]): PLensFamily[(A1, C1), (A2, C2), (B1, D1), (B2, D2)]
alias for
product
alias for
product
- Definition Classes
- PLensFamily
- def ->>-[A >: A2 <: A1, C](f: => State[A, C]): PState[A, C]
- Definition Classes
- PLensFamily
- def :=[A >: A2 <: A1](b: => B2): PState[A, B2]
- Definition Classes
- PLensFamily
- def <=<[C1, C2](that: PLensFamily[C1, C2, A1, A2]): PLensFamily[C1, C2, B1, B2]
alias for
compose
alias for
compose
- Definition Classes
- PLensFamily
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def =>=[A >: A2 <: A1](f: (B1) => B2): (A) => A
- Definition Classes
- PLensFamily
- def =?>=(f: (B1) => B2): (A1) => Option[A2]
- Definition Classes
- PLensFamily
- def >-[A >: A2 <: A1, C](f: (B1) => C): PState[A, C]
- Definition Classes
- PLensFamily
- def >=>[C1, C2](that: PLensFamily[B1, B2, C1, C2]): PLensFamily[A1, A2, C1, C2]
alias for
andThen
alias for
andThen
- Definition Classes
- PLensFamily
- def >>-[A >: A2 <: A1, C](f: (B1) => State[A, C]): PState[A, C]
- Definition Classes
- PLensFamily
- def andThen[C1, C2](that: PLensFamily[B1, B2, C1, C2]): PLensFamily[A1, A2, C1, C2]
- Definition Classes
- PLensFamily
- def apply(a: A1): Option[IndexedStore[B1, B2, A2]]
- Definition Classes
- PLensFamily
- def as(f: (B1) => A1, a: A1): A1
If the Partial Lens is null, then return the target object, otherwise run the function on its projection.
If the Partial Lens is null, then return the target object, otherwise run the function on its projection.
- Definition Classes
- PLensFamily
- 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 compose[C1, C2](that: PLensFamily[C1, C2, A1, A2]): PLensFamily[C1, C2, B1, B2]
Partial Lenses can be composed
Partial Lenses can be composed
- Definition Classes
- PLensFamily
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def exists(p: (B1) => Boolean, a: A1): Boolean
- Definition Classes
- PLensFamily
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def forall(p: (B1) => Boolean, a: A1): Boolean
- Definition Classes
- PLensFamily
- def get(a: A1): Option[B1]
- Definition Classes
- PLensFamily
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def getK: Kleisli[Option, A1, B1]
- Definition Classes
- PLensFamily
- def getOr(a: A1, b: => B1): B1
If the Partial Lens is null, then return the given default value.
If the Partial Lens is null, then return the given default value.
- Definition Classes
- PLensFamily
- def getOrZ(a: A1)(implicit M: Monoid[B1]): B1
- Definition Classes
- PLensFamily
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def is(a: A1): Boolean
- Definition Classes
- PLensFamily
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def isNot(a: A1): Boolean
- Definition Classes
- PLensFamily
- def kleisli: Kleisli[Option, A1, IndexedStore[B1, B2, A2]]
- Definition Classes
- PLensFamily
- def mod[A >: A2 <: A1](f: (B1) => B2, a: A): A
Modify the potential value viewed through the partial lens
Modify the potential value viewed through the partial lens
- Definition Classes
- PLensFamily
- def modg(f: (B1) => B2, a: A1): Option[A2]
- Definition Classes
- PLensFamily
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def product[C1, C2, D1, D2](that: PLensFamily[C1, C2, D1, D2]): PLensFamily[(A1, C1), (A2, C2), (B1, D1), (B2, D2)]
Two disjoint partial lenses can be paired
Two disjoint partial lenses can be paired
- Definition Classes
- PLensFamily
- def set(a: A1, b: B2): Option[A2]
- Definition Classes
- PLensFamily
- def setK(a: A1): Kleisli[Option, B2, A2]
- Definition Classes
- PLensFamily
- def setOr(a: A1, b: B2, d: => A2): A2
- Definition Classes
- PLensFamily
- def setOrZ(a: A1, b: B2)(implicit M: Monoid[A2]): A2
- Definition Classes
- PLensFamily
- def st: PState[A1, B1]
- Definition Classes
- PLensFamily
- def sum[C1, C2](that: => PLensFamily[C1, C2, B1, B2]): PLensFamily[\/[A1, C1], \/[A2, C2], B1, B2]
Two partial lenses that view a value of the same type can be joined
Two partial lenses that view a value of the same type can be joined
- Definition Classes
- PLensFamily
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- def trySet(a: A1): Option[(B2) => A2]
- Definition Classes
- PLensFamily
- def trySetK: Kleisli[Option, A1, (B2) => A2]
- Definition Classes
- PLensFamily
- def trySetOr(a: A1, d: => (B2) => A2): (B2) => A2
- Definition Classes
- PLensFamily
- def trySetOrZ(a: A1)(implicit M: Monoid[A2]): (B2) => A2
- Definition Classes
- PLensFamily
- 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()
- def xmapA[X1, X2](f: (A2) => X2)(g: (X1) => A1): PLensFamily[X1, X2, B1, B2]
- Definition Classes
- PLensFamily
- def xmapB[X1, X2](f: (B1) => X1)(g: (X2) => B2): PLensFamily[A1, A2, X1, X2]
- Definition Classes
- PLensFamily
- def xmapbA[X, A >: A2 <: A1](b: Bijection[A, X]): PLensFamily[X, X, B1, B2]
- Definition Classes
- PLensFamily
- def xmapbB[X, B >: B1 <: B2](b: Bijection[B, X]): PLensFamily[A1, A2, X, X]
- Definition Classes
- PLensFamily
- def |||[C1, C2](that: => PLensFamily[C1, C2, B1, B2]): PLensFamily[\/[A1, C1], \/[A2, C2], B1, B2]
Alias for
sum
Alias for
sum
- Definition Classes
- PLensFamily