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$4: 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. implicit def integralPLens[S, I](lens: @?>[S, I])(implicit arg0: Integral[I]): IntegralPLens[S, I]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Permalink

    The always-null partial lens

  45. 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
  46. final def notify(): Unit

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

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

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

    Permalink
  50. implicit val plensCategory: PLensCategory

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

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

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

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

    Permalink

    The identity partial lens for a given object

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Permalink

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Permalink
  86. final def wait(): Unit

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  88. 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