Packages

o

scalaz

PLens

object PLens extends PLensInstances with PLensFunctions

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. PLens
  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$5: 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[A, B](r: (A) ⇒ Option[Store[B, A]]): PLens[A, B]
  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. def iListHeadPLens[A]: @?>[IList[A], A]
    Definition Classes
    PLensFunctions
  29. def iListLookupByPLens[K, V](p: (K) ⇒ Boolean): @?>[IList[(K, V)], V]
    Definition Classes
    PLensFunctions
  30. def iListLookupPLens[K, V](k: K)(implicit arg0: Equal[K]): @?>[IList[(K, V)], V]
    Definition Classes
    PLensFunctions
  31. def iListNthPLens[A](n: Int): @?>[IList[A], A]
    Definition Classes
    PLensFunctions
  32. def iListTailPLens[A]: @?>[IList[A], IList[A]]
    Definition Classes
    PLensFunctions
  33. implicit def integralPLens[S, I](lens: @?>[S, I])(implicit arg0: Integral[I]): IntegralPLens[S, I]
    Definition Classes
    PLensInstances
  34. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  35. def lazyLeftPLens[A, B]: @?>[LazyEither[A, B], A]
    Definition Classes
    PLensFunctions
  36. def lazyLeftPLensFamily[A1, A2, B]: PLensFamily[LazyEither[A1, B], LazyEither[A2, B], A1, A2]
    Definition Classes
    PLensFamilyFunctions
  37. def lazyRightPLens[A, B]: @?>[LazyEither[A, B], B]
    Definition Classes
    PLensFunctions
  38. def lazyRightPLensFamily[A, B1, B2]: PLensFamily[LazyEither[A, B1], LazyEither[A, B2], B1, B2]
    Definition Classes
    PLensFamilyFunctions
  39. def lazySomePLens[A]: @?>[LazyOption[A], A]
    Definition Classes
    PLensFunctions
  40. def lazySomePLensFamily[A1, A2]: PLensFamily[LazyOption[A1], LazyOption[A2], A1, A2]
    Definition Classes
    PLensFamilyFunctions
  41. def leftPLens[A, B]: @?>[\/[A, B], A]
    Definition Classes
    PLensFunctions
  42. def leftPLensFamily[A1, A2, B]: PLensFamily[\/[A1, B], \/[A2, B], A1, A2]
    Definition Classes
    PLensFamilyFunctions
  43. def listHeadPLens[A]: @?>[List[A], A]
    Definition Classes
    PLensFunctions
  44. def listLookupByPLens[K, V](p: (K) ⇒ Boolean): @?>[List[(K, V)], V]
    Definition Classes
    PLensFunctions
  45. def listLookupPLens[K, V](k: K)(implicit arg0: Equal[K]): @?>[List[(K, V)], V]
    Definition Classes
    PLensFunctions
  46. def listNthPLens[A](n: Int): @?>[List[A], A]
    Definition Classes
    PLensFunctions
  47. def listTailPLens[A]: @?>[List[A], List[A]]
    Definition Classes
    PLensFunctions
  48. def mapVPLens[K, V](k: K): @?>[Map[K, V], V]
    Definition Classes
    PLensFunctions
  49. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  50. def nil[A, B]: PLens[A, B]

    The always-null partial lens

    The always-null partial lens

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