Object/Class

scalaz

PLensFamily

Related Docs: class PLensFamily | package scalaz

Permalink

object PLensFamily extends PLensInstances with PLensFunctions

Source
PLens.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. PLensFamily
  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

    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. def apply[A1, A2, B1, B2](r: (A1) ⇒ Option[IndexedStore[B1, B2, A2]]): PLensFamily[A1, A2, B1, B2]

    Permalink
  7. final def asInstanceOf[T0]: T0

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

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

    Permalink

    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]

    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
  11. def distributePLens[A, B, C]: @?>[(A, \/[B, C]), \/[(A, B), (A, C)]]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Permalink

    The always-null partial lens

    The always-null partial lens

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

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

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

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

    Permalink
    Definition Classes
    PLensFunctions
  51. implicit val plensCategory: PLensCategory

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

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

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

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

    Permalink

    The identity partial lens for a given object

    The identity partial lens for a given object

    Definition Classes
    PLensFunctions
  57. def plensf[A, B](r: PartialFunction[A, Store[B, A]]): PLens[A, B]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Permalink

    The trivial partial lens that can retrieve Unit from anything

    The trivial partial lens that can retrieve Unit from anything

    Definition Classes
    PLensFunctions
  72. def tuple2PLens[S, A, B](lens: PLens[S, (A, B)]): (PLens[S, A], PLens[S, B])

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

    Permalink
    Definition Classes
    PLensFunctions
  75. 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
  76. 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
    Definition Classes
    PLensFunctions
  77. 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
  78. 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
    Definition Classes
    PLensFunctions
  79. 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
  80. 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
    Definition Classes
    PLensFunctions
  81. 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
  82. 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
    Definition Classes
    PLensFunctions
  83. 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
  84. def vectorHeadPLens[A]: @?>[Vector[A], A]

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

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

    Permalink
    Definition Classes
    PLensFunctions
  87. final def wait(): Unit

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

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

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

Inherited from PLensFunctions

Inherited from PLensFamilyFunctions

Inherited from PLensInstances

Inherited from AnyRef

Inherited from Any

Ungrouped