Trait

scalaz

PLensFunctions

Related Doc: package scalaz

Permalink

trait PLensFunctions extends PLensInstances with PLensFamilyFunctions

Source
PLens.scala
Linear Supertypes
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

    Permalink

    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

    Permalink

    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

    Permalink

    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

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

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

    Permalink
    Definition Classes
    AnyRef → Any
  4. implicit def PLensFamilyState[A, B](plens: PLensFamily[A, _, B, _]): PState[A, B]

    Permalink

    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, α, α]]

    Permalink
    Definition Classes
    PLensInstances
  6. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  7. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  8. def codiagPLens[A]: PLens[\/[A, A], A]

    Permalink

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

  9. def codiagPLensFamily[A1, A2]: PLensFamily[\/[A1, A1], \/[A2, A2], A1, A2]

    Permalink

    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)]]

    Permalink
  11. def distributePLensFamily[A1, A2, B1, B2, C1, C2]: PLensFamily[(A1, \/[B1, C1]), (A2, \/[B2, C2]), \/[(A1, B1), (A1, C1)], \/[(A2, B2), (A2, C2)]]

    Permalink
    Definition Classes
    PLensFamilyFunctions
  12. def eitherLens[S, A, B](l: @?>[S, \/[A, B]]): (@?>[S, A], @?>[S, B])

    Permalink
  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])

    Permalink
    Definition Classes
    PLensFamilyFunctions
  14. def ephemeralStreamHeadPLens[A]: @?>[EphemeralStream[A], A]

    Permalink
  15. def ephemeralStreamLookupByPLens[K, V](p: (K) ⇒ Boolean): @?>[EphemeralStream[(K, V)], V]

    Permalink
  16. def ephemeralStreamLookupPLens[K, V](k: K)(implicit arg0: Equal[K]): @?>[EphemeralStream[(K, V)], V]

    Permalink
  17. def ephemeralStreamNthPLens[A](n: Int): @?>[EphemeralStream[A], A]

    Permalink
  18. def ephemeralStreamTailPLens[A]: @?>[EphemeralStream[A], EphemeralStream[A]]

    Permalink
  19. final def eq(arg0: AnyRef): Boolean

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

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

    Permalink
  22. def factorPLensFamily[A1, A2, B1, B2, C1, C2]: PLensFamily[\/[(A1, B1), (A1, C1)], \/[(A2, B2), (A2, C2)], (A1, \/[B1, C1]), (A2, \/[B2, C2])]

    Permalink
    Definition Classes
    PLensFamilyFunctions
  23. def finalize(): Unit

    Permalink
    Attributes
    protected[java.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]

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  27. def iListHeadPLens[A]: @?>[IList[A], A]

    Permalink
  28. def iListLookupByPLens[K, V](p: (K) ⇒ Boolean): @?>[IList[(K, V)], V]

    Permalink
  29. def iListLookupPLens[K, V](k: K)(implicit arg0: Equal[K]): @?>[IList[(K, V)], V]

    Permalink
  30. def iListNthPLens[A](n: Int): @?>[IList[A], A]

    Permalink
  31. def iListTailPLens[A]: @?>[IList[A], IList[A]]

    Permalink
  32. implicit def integralPLens[S, I](lens: @?>[S, I])(implicit arg0: Integral[I]): IntegralPLens[S, I]

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

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

    Permalink
  35. def lazyLeftPLensFamily[A1, A2, B]: PLensFamily[LazyEither[A1, B], LazyEither[A2, B], A1, A2]

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

    Permalink
  37. def lazyRightPLensFamily[A, B1, B2]: PLensFamily[LazyEither[A, B1], LazyEither[A, B2], B1, B2]

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

    Permalink
  39. def lazySomePLensFamily[A1, A2]: PLensFamily[LazyOption[A1], LazyOption[A2], A1, A2]

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

    Permalink
  41. def leftPLensFamily[A1, A2, B]: PLensFamily[\/[A1, B], \/[A2, B], A1, A2]

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

    Permalink
  43. def listLookupByPLens[K, V](p: (K) ⇒ Boolean): @?>[List[(K, V)], V]

    Permalink
  44. def listLookupPLens[K, V](k: K)(implicit arg0: Equal[K]): @?>[List[(K, V)], V]

    Permalink
  45. def listNthPLens[A](n: Int): @?>[List[A], A]

    Permalink
  46. def listTailPLens[A]: @?>[List[A], List[A]]

    Permalink
  47. def mapVPLens[K, V](k: K): @?>[Map[K, V], V]

    Permalink
  48. final def ne(arg0: AnyRef): Boolean

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

    Permalink

    The always-null partial lens

  50. def nilFamily[A1, A2, B1, B2]: PLensFamily[A1, A2, B1, B2]

    Permalink

    The always-null partial lens family

    The always-null partial lens family

    Definition Classes
    PLensFamilyFunctions
  51. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  52. final def notifyAll(): Unit

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

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

    Permalink
  55. implicit val plensCategory: PLensCategory

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

    Permalink
    Definition Classes
    PLensFamilyFunctions
  57. def plensFamilyId[A1, A2]: PLensFamily[A1, A2, A1, A2]

    Permalink

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

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

    Permalink
    Definition Classes
    PLensFamilyFunctions
  60. def plensId[A]: PLens[A, A]

    Permalink

    The identity partial lens for a given object

  61. def plensf[A, B](r: PartialFunction[A, Store[B, A]]): PLens[A, B]

    Permalink
  62. def plensg[A, B](set: (A) ⇒ Option[(B) ⇒ A], get: (A) ⇒ Option[B]): PLens[A, B]

    Permalink
  63. def plensgf[A, B](set: PartialFunction[A, (B) ⇒ A], get: PartialFunction[A, B]): PLens[A, B]

    Permalink
  64. def rightPLens[A, B]: @?>[\/[A, B], B]

    Permalink
  65. def rightPLensFamily[A, B1, B2]: PLensFamily[\/[A, B1], \/[A, B2], B1, B2]

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

    Permalink
  67. def somePLensFamily[A1, A2]: PLensFamily[Option[A1], Option[A2], A1, A2]

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

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

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

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

    Permalink
  72. def streamTailPLens[A]: @?>[Stream[A], Stream[A]]

    Permalink
  73. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  74. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  75. def trivialPLens[A]: PLens[A, Unit]

    Permalink

    The trivial partial lens that can retrieve Unit from anything

  76. def tuple2PLens[S, A, B](lens: PLens[S, (A, B)]): (PLens[S, A], PLens[S, B])

    Permalink
  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])

    Permalink
    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])

    Permalink
  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])

    Permalink
    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])

    Permalink
  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])

    Permalink
    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])

    Permalink
  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])

    Permalink
    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])

    Permalink
  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])

    Permalink
    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])

    Permalink
  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])

    Permalink
    Definition Classes
    PLensFamilyFunctions
  88. def vectorHeadPLens[A]: @?>[Vector[A], A]

    Permalink
  89. def vectorLastPLens[A]: @?>[Vector[A], A]

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

    Permalink
  91. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from PLensFamilyFunctions

Inherited from PLensInstances

Inherited from AnyRef

Inherited from Any

Ungrouped