scalaz

PLens

object PLens extends PLensFunctions with PLensInstances

Source
package.scala
Linear Supertypes
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
Learn more about member selection
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

  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

  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

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

    Definition Classes
    AnyRef → Any
  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  6. 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
  7. implicit def PLensFamilyUnzip[S, R]: Unzip[[α]PLensFamily[S, R, α, α]]

    Definition Classes
    PLensInstances
  8. def apply[A, B](r: (A) ⇒ Option[Store[B, A]]): PLens[A, B]

  9. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  10. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  11. 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
  12. 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
  13. def distributePLens[A, B, C]: @?>[(A, \/[B, C]), \/[(A, B), (A, C)]]

    Definition Classes
    PLensFunctions
  14. 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
  15. def eitherLens[S, A, B](l: @?>[S, \/[A, B]]): (@?>[S, A], @?>[S, B])

    Definition Classes
    PLensFunctions
  16. 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
  17. def ephemeralStreamHeadPLens[A]: @?>[EphemeralStream[A], A]

    Definition Classes
    PLensFunctions
  18. def ephemeralStreamLookupByPLens[K, V](p: (K) ⇒ Boolean): @?>[EphemeralStream[(K, V)], V]

    Definition Classes
    PLensFunctions
  19. def ephemeralStreamLookupPLens[K, V](k: K)(implicit arg0: Equal[K]): @?>[EphemeralStream[(K, V)], V]

    Definition Classes
    PLensFunctions
  20. def ephemeralStreamNthPLens[A](n: Int): @?>[EphemeralStream[A], A]

    Definition Classes
    PLensFunctions
  21. def ephemeralStreamTailPLens[A]: @?>[EphemeralStream[A], EphemeralStream[A]]

    Definition Classes
    PLensFunctions
  22. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  23. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  24. def factorPLens[A, B, C]: @?>[\/[(A, B), (A, C)], (A, \/[B, C])]

    Definition Classes
    PLensFunctions
  25. 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
  26. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  27. implicit def fractionalPLens[S, F](lens: @?>[S, F])(implicit arg0: Fractional[F]): FractionalPLens[S, F]

    Definition Classes
    PLensInstances
  28. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  29. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  30. implicit def integralPLens[S, I](lens: @?>[S, I])(implicit arg0: Integral[I]): IntegralPLens[S, I]

    Definition Classes
    PLensInstances
  31. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  32. def lazyLeftPLens[A, B]: @?>[LazyEither[A, B], A]

    Definition Classes
    PLensFunctions
  33. def lazyLeftPLensFamily[A1, A2, B]: PLensFamily[LazyEither[A1, B], LazyEither[A2, B], A1, A2]

    Definition Classes
    PLensFamilyFunctions
  34. def lazyRightPLens[A, B]: @?>[LazyEither[A, B], B]

    Definition Classes
    PLensFunctions
  35. def lazyRightPLensFamily[A, B1, B2]: PLensFamily[LazyEither[A, B1], LazyEither[A, B2], B1, B2]

    Definition Classes
    PLensFamilyFunctions
  36. def lazySomePLens[A]: @?>[LazyOption[A], A]

    Definition Classes
    PLensFunctions
  37. def lazySomePLensFamily[A1, A2]: PLensFamily[LazyOption[A1], LazyOption[A2], A1, A2]

    Definition Classes
    PLensFamilyFunctions
  38. def leftPLens[A, B]: @?>[\/[A, B], A]

    Definition Classes
    PLensFunctions
  39. def leftPLensFamily[A1, A2, B]: PLensFamily[\/[A1, B], \/[A2, B], A1, A2]

    Definition Classes
    PLensFamilyFunctions
  40. def listHeadPLens[A]: @?>[List[A], A]

    Definition Classes
    PLensFunctions
  41. def listLookupByPLens[K, V](p: (K) ⇒ Boolean): @?>[List[(K, V)], V]

    Definition Classes
    PLensFunctions
  42. def listLookupPLens[K, V](k: K)(implicit arg0: Equal[K]): @?>[List[(K, V)], V]

    Definition Classes
    PLensFunctions
  43. def listNthPLens[A](n: Int): @?>[List[A], A]

    Definition Classes
    PLensFunctions
  44. def listTailPLens[A]: @?>[List[A], List[A]]

    Definition Classes
    PLensFunctions
  45. def mapVPLens[K, V](k: K): @?>[Map[K, V], V]

    Definition Classes
    PLensFunctions
  46. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  47. def nil[A, B]: PLens[A, B]

    The always-null partial lens

    The always-null partial lens

    Definition Classes
    PLensFunctions
  48. 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
  49. final def notify(): Unit

    Definition Classes
    AnyRef
  50. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  51. implicit def numericPLens[S, N](lens: @?>[S, N])(implicit arg0: Numeric[N]): NumericPLens[S, N]

    Definition Classes
    PLensInstances
  52. def plens[A, B](r: (A) ⇒ Option[Store[B, A]]): PLens[A, B]

    Definition Classes
    PLensFunctions
  53. implicit def plensCategory: PLensCategory

    Definition Classes
    PLensInstances
  54. def plensFamily[A1, A2, B1, B2](r: (A1) ⇒ Option[IndexedStore[B1, B2, A2]]): PLensFamily[A1, A2, B1, B2]

    Definition Classes
    PLensFamilyFunctions
  55. 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
  56. def plensFamilyf[A1, A2, B1, B2](r: PartialFunction[A1, IndexedStore[B1, B2, A2]]): PLensFamily[A1, A2, B1, B2]

    Definition Classes
    PLensFamilyFunctions
  57. def plensFamilyg[A1, A2, B1, B2](set: (A1) ⇒ Option[(B2) ⇒ A2], get: (A1) ⇒ Option[B1]): PLensFamily[A1, A2, B1, B2]

    Definition Classes
    PLensFamilyFunctions
  58. 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
  59. def plensf[A, B](r: PartialFunction[A, Store[B, A]]): PLens[A, B]

    Definition Classes
    PLensFunctions
  60. def plensg[A, B](set: (A) ⇒ Option[(B) ⇒ A], get: (A) ⇒ Option[B]): PLens[A, B]

    Definition Classes
    PLensFunctions
  61. def plensgf[A, B](set: PartialFunction[A, (B) ⇒ A], get: PartialFunction[A, B]): PLens[A, B]

    Definition Classes
    PLensFunctions
  62. def rightPLens[A, B]: @?>[\/[A, B], B]

    Definition Classes
    PLensFunctions
  63. def rightPLensFamily[A, B1, B2]: PLensFamily[\/[A, B1], \/[A, B2], B1, B2]

    Definition Classes
    PLensFamilyFunctions
  64. def scalaJSONArrayPLens: @?>[JSONType, List[Any]]

    Definition Classes
    PLensFunctions
  65. def scalaJSONObjectPLens: @?>[JSONType, Map[String, Any]]

    Definition Classes
    PLensFunctions
  66. def somePLens[A]: @?>[Option[A], A]

    Definition Classes
    PLensFunctions
  67. def somePLensFamily[A1, A2]: PLensFamily[Option[A1], Option[A2], A1, A2]

    Definition Classes
    PLensFamilyFunctions
  68. def streamHeadPLens[A]: @?>[Stream[A], A]

    Definition Classes
    PLensFunctions
  69. def streamLookupByPLens[K, V](p: (K) ⇒ Boolean): @?>[Stream[(K, V)], V]

    Definition Classes
    PLensFunctions
  70. def streamLookupPLens[K, V](k: K)(implicit arg0: Equal[K]): @?>[Stream[(K, V)], V]

    Definition Classes
    PLensFunctions
  71. def streamNthPLens[A](n: Int): @?>[Stream[A], A]

    Definition Classes
    PLensFunctions
  72. def streamTailPLens[A]: @?>[Stream[A], Stream[A]]

    Definition Classes
    PLensFunctions
  73. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  74. def toString(): String

    Definition Classes
    AnyRef → Any
  75. 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
  76. def tuple2PLens[S, A, B](lens: PLens[S, (A, B)]): (PLens[S, A], PLens[S, B])

    Definition Classes
    PLensFunctions
  77. 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
  78. def tuple3PLens[S, A, B, C](lens: PLens[S, (A, B, C)]): (PLens[S, A], PLens[S, B], PLens[S, C])

    Definition Classes
    PLensFunctions
  79. 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
  80. 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
  81. 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
  82. 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
  83. 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
  84. 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
  85. 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
  86. 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
  87. 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
  88. def vectorHeadPLens[A]: @?>[Vector[A], A]

    Definition Classes
    PLensFunctions
  89. def vectorLastPLens[A]: @?>[Vector[A], A]

    Definition Classes
    PLensFunctions
  90. def vectorNthPLens[A](n: Int): @?>[Vector[A], A]

    Definition Classes
    PLensFunctions
  91. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  92. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  93. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from PLensFunctions

Inherited from PLensFamilyFunctions

Inherited from PLensInstances

Inherited from AnyRef

Inherited from Any

Ungrouped