Packages

t

scalaz

PLensFunctions

trait PLensFunctions extends PLensInstances with PLensFamilyFunctions

Source
PLens.scala
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. PLensFunctions
  2. PLensFamilyFunctions
  3. PLensInstances
  4. AnyRef
  5. 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. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  8. def codiagPLens[A]: PLens[\/[A, A], A]

    A lens that discards the choice of right or left from disjunction

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

    The always-null partial lens

  45. 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
  46. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  47. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  48. implicit def numericPLens[S, N](lens: @?>[S, N])(implicit arg0: Numeric[N]): NumericPLens[S, N]
    Definition Classes
    PLensInstances
  49. def plens[A, B](r: (A) ⇒ Option[Store[B, A]]): PLens[A, B]
  50. implicit val plensCategory: PLensCategory
    Definition Classes
    PLensInstances
  51. def plensFamily[A1, A2, B1, B2](r: (A1) ⇒ Option[IndexedStore[B1, B2, A2]]): PLensFamily[A1, A2, B1, B2]
    Definition Classes
    PLensFamilyFunctions
  52. 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
  53. def plensFamilyf[A1, A2, B1, B2](r: PartialFunction[A1, IndexedStore[B1, B2, A2]]): PLensFamily[A1, A2, B1, B2]
    Definition Classes
    PLensFamilyFunctions
  54. def plensFamilyg[A1, A2, B1, B2](set: (A1) ⇒ Option[(B2) ⇒ A2], get: (A1) ⇒ Option[B1]): PLensFamily[A1, A2, B1, B2]
    Definition Classes
    PLensFamilyFunctions
  55. def plensId[A]: PLens[A, A]

    The identity partial lens for a given object

  56. def plensf[A, B](r: PartialFunction[A, Store[B, A]]): PLens[A, B]
  57. def plensg[A, B](set: (A) ⇒ Option[(B) ⇒ A], get: (A) ⇒ Option[B]): PLens[A, B]
  58. def plensgf[A, B](set: PartialFunction[A, (B) ⇒ A], get: PartialFunction[A, B]): PLens[A, B]
  59. def rightPLens[A, B]: @?>[\/[A, B], B]
  60. def rightPLensFamily[A, B1, B2]: PLensFamily[\/[A, B1], \/[A, B2], B1, B2]
    Definition Classes
    PLensFamilyFunctions
  61. def somePLens[A]: @?>[Option[A], A]
  62. def somePLensFamily[A1, A2]: PLensFamily[Option[A1], Option[A2], A1, A2]
    Definition Classes
    PLensFamilyFunctions
  63. def streamHeadPLens[A]: @?>[Stream[A], A]
  64. def streamLookupByPLens[K, V](p: (K) ⇒ Boolean): @?>[Stream[(K, V)], V]
  65. def streamLookupPLens[K, V](k: K)(implicit arg0: Equal[K]): @?>[Stream[(K, V)], V]
  66. def streamNthPLens[A](n: Int): @?>[Stream[A], A]
  67. def streamTailPLens[A]: @?>[Stream[A], Stream[A]]
  68. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  69. def toString(): String
    Definition Classes
    AnyRef → Any
  70. def trivialPLens[A]: PLens[A, Unit]

    The trivial partial lens that can retrieve Unit from anything

  71. def tuple2PLens[S, A, B](lens: PLens[S, (A, B)]): (PLens[S, A], PLens[S, B])
  72. 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
  73. def tuple3PLens[S, A, B, C](lens: PLens[S, (A, B, C)]): (PLens[S, A], PLens[S, B], PLens[S, C])
  74. 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
  75. 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])
  76. 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
  77. 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])
  78. 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
  79. 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])
  80. 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
  81. 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])
  82. 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
  83. def vectorHeadPLens[A]: @?>[Vector[A], A]
  84. def vectorLastPLens[A]: @?>[Vector[A], A]
  85. def vectorNthPLens[A](n: Int): @?>[Vector[A], A]
  86. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  87. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  88. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from PLensFamilyFunctions

Inherited from PLensInstances

Inherited from AnyRef

Inherited from Any

Ungrouped