Packages

type Lens[A, B] = LensFamily[A, A, B, B]

A lens that doesn't transform the type of the record.

Source
package.scala
See also

[email protected]>

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Lens
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. trait LensLaw extends AnyRef
    Definition Classes
    LensFamily

Abstract Value Members

  1. abstract def run(a: A1): IndexedStore[B1, B2, A2]
    Definition Classes
    LensFamily

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. def %%=[C](s: IndexedState[B1, B2, C]): IndexedState[A1, A2, C]
    Definition Classes
    LensFamily
  4. def %=(f: (B1) ⇒ B2): IndexedState[A1, A2, B2]

    Modify the portion of the state viewed through the lens and return its new value.

    Modify the portion of the state viewed through the lens and return its new value.

    Definition Classes
    LensFamily
  5. def %==(f: (B1) ⇒ B2): IndexedState[A1, A2, Unit]

    Modify the portion of the state viewed through the lens, but do not return its new value.

    Modify the portion of the state viewed through the lens, but do not return its new value.

    Definition Classes
    LensFamily
  6. def ***[C1, C2, D1, D2](that: LensFamily[C1, C2, D1, D2]): LensFamily[(A1, C1), (A2, C2), (B1, D1), (B2, D2)]

    alias for product

    alias for product

    Definition Classes
    LensFamily
  7. def ->>-[C](f: ⇒ IndexedState[A1, A2, C]): IndexedState[A1, A2, C]

    Sequence the monadic action of looking through the lens to occur before the state action f.

    Sequence the monadic action of looking through the lens to occur before the state action f.

    Definition Classes
    LensFamily
  8. def :=(b: ⇒ B2): IndexedState[A1, A2, B2]

    Set the portion of the state viewed through the lens and return its new value.

    Set the portion of the state viewed through the lens and return its new value.

    Definition Classes
    LensFamily
  9. def <%=(f: (B1) ⇒ B2): IndexedState[A1, A2, B1]

    Modify the portion of the state viewed through the lens and return its old value.

    Modify the portion of the state viewed through the lens and return its old value. alias for modo

    Definition Classes
    LensFamily
    Since

    7.0.2

  10. def <:=(b: ⇒ B2): IndexedState[A1, A2, B1]

    Set the portion of the state viewed through the lens and return its old value.

    Set the portion of the state viewed through the lens and return its old value. alias for assigno

    Definition Classes
    LensFamily
    Since

    7.0.2

  11. def <=<[C1, C2](that: LensFamily[C1, C2, A1, A2]): LensFamily[C1, C2, B1, B2]

    alias for compose

    alias for compose

    Definition Classes
    LensFamily
  12. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  13. def =>=(f: (B1) ⇒ B2): (A1) ⇒ A2
    Definition Classes
    LensFamily
  14. def =>>=[X[_]](f: (B1) ⇒ X[B2])(implicit XF: Functor[X]): (A1) ⇒ X[A2]
    Definition Classes
    LensFamily
  15. def >-[C](f: (B1) ⇒ C): State[A1, C]

    Map the function f over the value under the lens, as a state action.

    Map the function f over the value under the lens, as a state action.

    Definition Classes
    LensFamily
  16. def >=>[C1, C2](that: LensFamily[B1, B2, C1, C2]): LensFamily[A1, A2, C1, C2]

    alias for andThen

    alias for andThen

    Definition Classes
    LensFamily
  17. def >>-[C](f: (B1) ⇒ IndexedState[A1, A2, C]): IndexedState[A1, A2, C]

    Bind the function f over the value under the lens, as a state action.

    Bind the function f over the value under the lens, as a state action.

    Definition Classes
    LensFamily
  18. def andThen[C1, C2](that: LensFamily[B1, B2, C1, C2]): LensFamily[A1, A2, C1, C2]
    Definition Classes
    LensFamily
  19. def apply(a: A1): IndexedStore[B1, B2, A2]
    Definition Classes
    LensFamily
  20. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  21. def assign(b: ⇒ B2): IndexedState[A1, A2, B2]

    Set the portion of the state viewed through the lens and return its new value.

    Set the portion of the state viewed through the lens and return its new value.

    Definition Classes
    LensFamily
  22. def assigno(b: ⇒ B2): IndexedState[A1, A2, B1]

    Set the portion of the state viewed through the lens and return its old value.

    Set the portion of the state viewed through the lens and return its old value.

    Definition Classes
    LensFamily
    Since

    7.0.2

  23. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  24. def compose[C1, C2](that: LensFamily[C1, C2, A1, A2]): LensFamily[C1, C2, B1, B2]

    Lenses can be composed

    Lenses can be composed

    Definition Classes
    LensFamily
  25. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  26. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  27. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  28. def flatMap[C](f: (B1) ⇒ IndexedState[A1, A2, C]): IndexedState[A1, A2, C]

    Bind the function f over the value under the lens, as a state action.

    Bind the function f over the value under the lens, as a state action.

    Definition Classes
    LensFamily
  29. def get(a: A1): B1
    Definition Classes
    LensFamily
  30. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  31. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  32. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  33. def lensLaw: LensLaw
    Definition Classes
    LensFamily
  34. def lifts[C](s: IndexedState[B1, B2, C]): IndexedState[A1, A2, C]

    Contravariantly map a state action through a lens.

    Contravariantly map a state action through a lens.

    Definition Classes
    LensFamily
  35. def liftsNT: ~>[[γ$0$]IndexedStateT[B1, B2, [X]X, γ$0$], [γ$1$]IndexedStateT[A1, A2, [X]X, γ$1$]]

    Contravariantly mapping the state of a state monad through a lens is a natural transformation

    Contravariantly mapping the state of a state monad through a lens is a natural transformation

    Definition Classes
    LensFamily
  36. def map[C](f: (B1) ⇒ C): State[A1, C]

    Map the function f over the lens as a state action.

    Map the function f over the lens as a state action.

    Definition Classes
    LensFamily
  37. def mod(f: (B1) ⇒ B2, a: A1): A2

    Modify the value viewed through the lens

    Modify the value viewed through the lens

    Definition Classes
    LensFamily
  38. def modf[X[_]](f: (B1) ⇒ X[B2], a: A1)(implicit XF: Functor[X]): X[A2]

    Modify the value viewed through the lens, returning a functor X full of results.

    Modify the value viewed through the lens, returning a functor X full of results.

    Definition Classes
    LensFamily
  39. def modo(f: (B1) ⇒ B2): IndexedState[A1, A2, B1]

    Modify the portion of the state viewed through the lens and return its old value.

    Modify the portion of the state viewed through the lens and return its old value.

    Definition Classes
    LensFamily
    Since

    7.0.2

  40. def modp[C](f: (B1) ⇒ (B2, C), a: A1): (A2, C)

    Modify the value viewed through the lens, returning a C on the side.

    Modify the value viewed through the lens, returning a C on the side.

    Definition Classes
    LensFamily
  41. def mods(f: (B1) ⇒ B2): IndexedState[A1, A2, B2]

    Modify the portion of the state viewed through the lens and return its new value.

    Modify the portion of the state viewed through the lens and return its new value.

    Definition Classes
    LensFamily
  42. def mods_(f: (B1) ⇒ B2): IndexedState[A1, A2, Unit]

    Modify the portion of the state viewed through the lens, but do not return its new value.

    Modify the portion of the state viewed through the lens, but do not return its new value.

    Definition Classes
    LensFamily
  43. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  44. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  45. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  46. def partial: PLensFamily[A1, A2, B1, B2]

    A homomorphism of lens categories

    A homomorphism of lens categories

    Definition Classes
    LensFamily
  47. def product[C1, C2, D1, D2](that: LensFamily[C1, C2, D1, D2]): LensFamily[(A1, C1), (A2, C2), (B1, D1), (B2, D2)]

    Two disjoint lenses can be paired

    Two disjoint lenses can be paired

    Definition Classes
    LensFamily
  48. def set(a: A1, b: B2): A2
    Definition Classes
    LensFamily
  49. def setf[X[_]](a: A1, b: X[B2])(implicit XF: Functor[X]): X[A2]
    Definition Classes
    LensFamily
  50. def st: State[A1, B1]
    Definition Classes
    LensFamily
  51. def sum[C1, C2](that: ⇒ LensFamily[C1, C2, B1, B2]): LensFamily[\/[A1, C1], \/[A2, C2], B1, B2]

    Two lenses that view a value of the same type can be joined

    Two lenses that view a value of the same type can be joined

    Definition Classes
    LensFamily
  52. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  53. def toString(): String
    Definition Classes
    AnyRef → Any
  54. def unary_~: PLensFamily[A1, A2, B1, B2]

    alias for partial

    alias for partial

    Definition Classes
    LensFamily
  55. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  56. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  57. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  58. def xmapA[X1, X2](f: (A2) ⇒ X2)(g: (X1) ⇒ A1): LensFamily[X1, X2, B1, B2]
    Definition Classes
    LensFamily
  59. def xmapB[X1, X2](f: (B1) ⇒ X1)(g: (X2) ⇒ B2): LensFamily[A1, A2, X1, X2]
    Definition Classes
    LensFamily
  60. def xmapbA[X, A >: A2 <: A1](b: Bijection[A, X]): LensFamily[X, X, B1, B2]
    Definition Classes
    LensFamily
  61. def xmapbB[X, B >: B1 <: B2](b: Bijection[B, X]): LensFamily[A1, A2, X, X]
    Definition Classes
    LensFamily
  62. def |||[C1, C2](that: ⇒ LensFamily[C1, C2, B1, B2]): LensFamily[\/[A1, C1], \/[A2, C2], B1, B2]

    Alias for sum

    Alias for sum

    Definition Classes
    LensFamily

Inherited from AnyRef

Inherited from Any

Ungrouped