Packages

object PLensFamily extends PLensInstances with PLensFunctions

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. PLensFamily
  2. PLensFunctions
  3. PLensFamilyFunctions
  4. PLensInstances
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. 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
  2. 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
  3. case class NumericPLens[S, N](lens: @?>[S, N], num: Numeric[N])(implicit evidence$4: 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

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. 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
  5. implicit def PLensFamilyUnzip[S, R]: Unzip[[α]PLensFamily[S, R, α, α]]
    Definition Classes
    PLensInstances
  6. def apply[A1, A2, B1, B2](r: (A1) ⇒ Option[IndexedStore[B1, B2, A2]]): PLensFamily[A1, A2, B1, B2]
  7. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  8. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  9. 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
  10. 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
  11. def distributePLens[A, B, C]: @?>[(A, \/[B, C]), \/[(A, B), (A, C)]]
    Definition Classes
    PLensFunctions
  12. 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
  13. def eitherLens[S, A, B](l: @?>[S, \/[A, B]]): (@?>[S, A], @?>[S, B])
    Definition Classes
    PLensFunctions
  14. 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
  15. def ephemeralStreamHeadPLens[A]: @?>[EphemeralStream[A], A]
    Definition Classes
    PLensFunctions
  16. def ephemeralStreamLookupByPLens[K, V](p: (K) ⇒ Boolean): @?>[EphemeralStream[(K, V)], V]
    Definition Classes
    PLensFunctions
  17. def ephemeralStreamLookupPLens[K, V](k: K)(implicit arg0: Equal[K]): @?>[EphemeralStream[(K, V)], V]
    Definition Classes
    PLensFunctions
  18. def ephemeralStreamNthPLens[A](n: Int): @?>[EphemeralStream[A], A]
    Definition Classes
    PLensFunctions
  19. def ephemeralStreamTailPLens[A]: @?>[EphemeralStream[A], EphemeralStream[A]]
    Definition Classes
    PLensFunctions
  20. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  21. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  22. def factorPLens[A, B, C]: @?>[\/[(A, B), (A, C)], (A, \/[B, C])]
    Definition Classes
    PLensFunctions
  23. 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
  24. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  25. implicit def fractionalPLens[S, F](lens: @?>[S, F])(implicit arg0: Fractional[F]): FractionalPLens[S, F]
    Definition Classes
    PLensInstances
  26. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  27. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  28. implicit def integralPLens[S, I](lens: @?>[S, I])(implicit arg0: Integral[I]): IntegralPLens[S, I]
    Definition Classes
    PLensInstances
  29. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  30. def lazyLeftPLens[A, B]: @?>[LazyEither[A, B], A]
    Definition Classes
    PLensFunctions
  31. def lazyLeftPLensFamily[A1, A2, B]: PLensFamily[LazyEither[A1, B], LazyEither[A2, B], A1, A2]
    Definition Classes
    PLensFamilyFunctions
  32. def lazyRightPLens[A, B]: @?>[LazyEither[A, B], B]
    Definition Classes
    PLensFunctions
  33. def lazyRightPLensFamily[A, B1, B2]: PLensFamily[LazyEither[A, B1], LazyEither[A, B2], B1, B2]
    Definition Classes
    PLensFamilyFunctions
  34. def lazySomePLens[A]: @?>[LazyOption[A], A]
    Definition Classes
    PLensFunctions
  35. def lazySomePLensFamily[A1, A2]: PLensFamily[LazyOption[A1], LazyOption[A2], A1, A2]
    Definition Classes
    PLensFamilyFunctions
  36. def leftPLens[A, B]: @?>[\/[A, B], A]
    Definition Classes
    PLensFunctions
  37. def leftPLensFamily[A1, A2, B]: PLensFamily[\/[A1, B], \/[A2, B], A1, A2]
    Definition Classes
    PLensFamilyFunctions
  38. def listHeadPLens[A]: @?>[List[A], A]
    Definition Classes
    PLensFunctions
  39. def listLookupByPLens[K, V](p: (K) ⇒ Boolean): @?>[List[(K, V)], V]
    Definition Classes
    PLensFunctions
  40. def listLookupPLens[K, V](k: K)(implicit arg0: Equal[K]): @?>[List[(K, V)], V]
    Definition Classes
    PLensFunctions
  41. def listNthPLens[A](n: Int): @?>[List[A], A]
    Definition Classes
    PLensFunctions
  42. def listTailPLens[A]: @?>[List[A], List[A]]
    Definition Classes
    PLensFunctions
  43. def mapVPLens[K, V](k: K): @?>[Map[K, V], V]
    Definition Classes
    PLensFunctions
  44. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  45. def nil[A, B]: PLens[A, B]

    The always-null partial lens

    The always-null partial lens

    Definition Classes
    PLensFunctions
  46. 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
  47. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  48. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  49. implicit def numericPLens[S, N](lens: @?>[S, N])(implicit arg0: Numeric[N]): NumericPLens[S, N]
    Definition Classes
    PLensInstances
  50. def plens[A, B](r: (A) ⇒ Option[Store[B, A]]): PLens[A, B]
    Definition Classes
    PLensFunctions
  51. implicit val plensCategory: PLensCategory
    Definition Classes
    PLensInstances
  52. def plensFamily[A1, A2, B1, B2](r: (A1) ⇒ Option[IndexedStore[B1, B2, A2]]): PLensFamily[A1, A2, B1, B2]
    Definition Classes
    PLensFamilyFunctions
  53. 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
  54. def plensFamilyf[A1, A2, B1, B2](r: PartialFunction[A1, IndexedStore[B1, B2, A2]]): PLensFamily[A1, A2, B1, B2]
    Definition Classes
    PLensFamilyFunctions
  55. def plensFamilyg[A1, A2, B1, B2](set: (A1) ⇒ Option[(B2) ⇒ A2], get: (A1) ⇒ Option[B1]): PLensFamily[A1, A2, B1, B2]
    Definition Classes
    PLensFamilyFunctions
  56. 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
  57. def plensf[A, B](r: PartialFunction[A, Store[B, A]]): PLens[A, B]
    Definition Classes
    PLensFunctions
  58. def plensg[A, B](set: (A) ⇒ Option[(B) ⇒ A], get: (A) ⇒ Option[B]): PLens[A, B]
    Definition Classes
    PLensFunctions
  59. def plensgf[A, B](set: PartialFunction[A, (B) ⇒ A], get: PartialFunction[A, B]): PLens[A, B]
    Definition Classes
    PLensFunctions
  60. def rightPLens[A, B]: @?>[\/[A, B], B]
    Definition Classes
    PLensFunctions
  61. def rightPLensFamily[A, B1, B2]: PLensFamily[\/[A, B1], \/[A, B2], B1, B2]
    Definition Classes
    PLensFamilyFunctions
  62. def somePLens[A]: @?>[Option[A], A]
    Definition Classes
    PLensFunctions
  63. def somePLensFamily[A1, A2]: PLensFamily[Option[A1], Option[A2], A1, A2]
    Definition Classes
    PLensFamilyFunctions
  64. def streamHeadPLens[A]: @?>[Stream[A], A]
    Definition Classes
    PLensFunctions
  65. def streamLookupByPLens[K, V](p: (K) ⇒ Boolean): @?>[Stream[(K, V)], V]
    Definition Classes
    PLensFunctions
  66. def streamLookupPLens[K, V](k: K)(implicit arg0: Equal[K]): @?>[Stream[(K, V)], V]
    Definition Classes
    PLensFunctions
  67. def streamNthPLens[A](n: Int): @?>[Stream[A], A]
    Definition Classes
    PLensFunctions
  68. def streamTailPLens[A]: @?>[Stream[A], Stream[A]]
    Definition Classes
    PLensFunctions
  69. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  70. def toString(): String
    Definition Classes
    AnyRef → Any
  71. 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
  72. def tuple2PLens[S, A, B](lens: PLens[S, (A, B)]): (PLens[S, A], PLens[S, B])
    Definition Classes
    PLensFunctions
  73. 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
  74. def tuple3PLens[S, A, B, C](lens: PLens[S, (A, B, C)]): (PLens[S, A], PLens[S, B], PLens[S, C])
    Definition Classes
    PLensFunctions
  75. 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
  76. 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
  77. 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
  78. 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
  79. 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
  80. 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
  81. 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
  82. 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
  83. 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
  84. def vectorHeadPLens[A]: @?>[Vector[A], A]
    Definition Classes
    PLensFunctions
  85. def vectorLastPLens[A]: @?>[Vector[A], A]
    Definition Classes
    PLensFunctions
  86. def vectorNthPLens[A](n: Int): @?>[Vector[A], A]
    Definition Classes
    PLensFunctions
  87. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  88. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  89. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from PLensFunctions

Inherited from PLensFamilyFunctions

Inherited from PLensInstances

Inherited from AnyRef

Inherited from Any

Ungrouped