scalaz

MAB

trait MAB [M[_, _], A, B] extends PimpedType[M[A, B]] with MA[[X]M[A, X], B]

Attributes
sealed
Linear Supertypes
MA[[X]M[A, X], B], MASugar[[X]M[A, X], B], PimpedType[M[A, B]], AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. MAB
  2. MA
  3. MASugar
  4. PimpedType
  5. AnyRef
  6. Any
Visibility
  1. Public
  2. All

Abstract Value Members

  1. val value : M[A, B]

    Attributes
    abstract
    Definition Classes
    PimpedType

Concrete Value Members

  1. def ! (n: Int)(implicit i: Index[[X]M[A, X]]): Option[B]

    Definition Classes
    MA
  2. def !! (n: Int)(implicit r: Foldable[[X]M[A, X]]): B

    Definition Classes
    MA
  3. def != (arg0: AnyRef): Boolean

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

    Attributes
    final
    Definition Classes
    Any
  5. def ## (): Int

    Attributes
    final
    Definition Classes
    AnyRef → Any
  6. def &&& [C] (k: M[A, C])(implicit a: Arrow[M]): M[A, (B, C)]

  7. def &: (a: B): ViewL[[X]M[A, X], B]

    Definition Classes
    MA
  8. def *** [C, D] (k: M[C, D])(implicit a: Arrow[M]): M[(A, C), (B, D)]

  9. def *> [B] (b: M[A, B])(implicit t: Functor[[X]M[A, X]], a: Apply[[X]M[A, X]]): M[A, B]

    Definition Classes
    MA
  10. def +>: (a: B)(implicit s: Semigroup[M[A, B]], q: Pure[[X]M[A, X]]): M[A, B]

    Definition Classes
    MA
  11. def -!- (n: Int)(implicit i: Index[[X]M[A, X]]): B

    Definition Classes
    MA
  12. def :& (a: B): ViewR[[X]M[A, X], B]

    Definition Classes
    MA
  13. def :-> [D] (g: (B) ⇒ D)(implicit b: Bifunctor[M]): M[A, D]

  14. def <* [B] (b: M[A, B])(implicit t: Functor[[X]M[A, X]], a: Apply[[X]M[A, X]]): M[A, B]

    Definition Classes
    MA
  15. def <*****> [B, C, D, E, F] (b: M[A, B], c: M[A, C], d: M[A, D], e: M[A, E])(z: (B, B, C, D, E) ⇒ F)(implicit t: Functor[[X]M[A, X]], a: Apply[[X]M[A, X]]): M[A, F]

    Definition Classes
    MA
  16. def <****> [B, C, D, E] (b: M[A, B], c: M[A, C], d: M[A, D])(z: (B, B, C, D) ⇒ E)(implicit t: Functor[[X]M[A, X]], a: Apply[[X]M[A, X]]): M[A, E]

    Definition Classes
    MA
  17. def <***> [B, C, D] (b: M[A, B], c: M[A, C])(z: (B, B, C) ⇒ D)(implicit t: Functor[[X]M[A, X]], a: Apply[[X]M[A, X]]): M[A, D]

    Definition Classes
    MA
  18. def <**> [B, C] (b: M[A, B])(z: (B, B) ⇒ C)(implicit t: Functor[[X]M[A, X]], a: Apply[[X]M[A, X]]): M[A, C]

    Definition Classes
    MA
  19. def <*> [B] (f: M[A, (B) ⇒ B])(implicit a: Apply[[X]M[A, X]]): M[A, B]

    Definition Classes
    MA
  20. def <+> (z: ⇒ M[A, B])(implicit p: Plus[[X]M[A, X]]): M[A, B]

    Definition Classes
    MA
  21. def <+>: (a: B)(implicit p: Plus[[X]M[A, X]], q: Pure[[X]M[A, X]]): M[A, B]

    Definition Classes
    MA
  22. def <---> (w: M[A, B])(implicit l: Length[[X]M[A, X]], ind: Index[[X]M[A, X]], equ: Equal[B]): Int

    Definition Classes
    MA
  23. def <-: [C] (f: (A) ⇒ C)(implicit b: Bifunctor[M]): M[C, B]

  24. def <<< [C] (k: M[C, A])(implicit c: Category[M]): M[C, B]

  25. def <<^ [C] (f: (C) ⇒ A)(implicit a: Arrow[M]): M[C, B]

  26. def <|****|> [B, C, D, E] (b: M[A, B], c: M[A, C], d: M[A, D], e: M[A, E])(implicit t: Functor[[X]M[A, X]], a: Apply[[X]M[A, X]]): M[A, (B, B, C, D, E)]

    Definition Classes
    MA
  27. def <|***|> [B, C, D] (b: M[A, B], c: M[A, C], d: M[A, D])(implicit t: Functor[[X]M[A, X]], a: Apply[[X]M[A, X]]): M[A, (B, B, C, D)]

    Definition Classes
    MA
  28. def <|**|> [B, C] (b: M[A, B], c: M[A, C])(implicit t: Functor[[X]M[A, X]], a: Apply[[X]M[A, X]]): M[A, (B, B, C)]

    Definition Classes
    MA
  29. def <|*|> [B] (b: M[A, B])(implicit t: Functor[[X]M[A, X]], a: Apply[[X]M[A, X]]): M[A, (B, B)]

    Definition Classes
    MA
  30. def == (arg0: AnyRef): Boolean

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

    Attributes
    final
    Definition Classes
    Any
  32. def =>> [B] (f: (M[A, B]) ⇒ B)(implicit w: Comonad[[X]M[A, X]]): M[A, B]

    Definition Classes
    MA
  33. def >>= [B] (f: (B) ⇒ M[A, B])(implicit b: Bind[[X]M[A, X]]): M[A, B]

    Definition Classes
    MA
  34. def >>=| [B] (f: ⇒ M[A, B])(implicit b: Bind[[X]M[A, X]]): M[A, B]

    Definition Classes
    MA
  35. def >>> [C] (k: M[B, C])(implicit c: Category[M]): M[A, C]

  36. def >>^ [C] (f: (B) ⇒ C)(implicit a: Arrow[M]): M[A, C]

  37. def >| [B] (f: ⇒ B)(implicit t: Functor[[X]M[A, X]]): M[A, B]

    Definition Classes
    MA
  38. def >|> [B] (f: ⇒ M[A, B])(implicit b: Bind[[X]M[A, X]]): M[A, B]

    Alias for >>=|

    Alias for >>=|

    Definition Classes
    MA
  39. def ^<< [C] (f: (B) ⇒ C)(implicit a: Arrow[M]): M[A, C]

  40. def ^>> [C] (f: (C) ⇒ A)(implicit a: Arrow[M]): M[C, B]

  41. def all (p: (B) ⇒ Boolean)(implicit r: Foldable[[X]M[A, X]]): Boolean

    Definition Classes
    MA
  42. def any (p: (B) ⇒ Boolean)(implicit r: Foldable[[X]M[A, X]]): Boolean

    Definition Classes
    MA
  43. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any
  44. def asMA : MA[[X]M[A, X], B]

    Use this to force implicit conversion of M[A] to MA[M, A].

    Use this to force implicit conversion of M[A] to MA[M, A]. Useful when the original type contains a member with the same name as MA, for example: List(1,2,3) map f

    Definition Classes
    MA
  45. def asMAB : MAB[M, A, B]

  46. def asStream [B] (f: (Stream[B]) ⇒ Stream[B])(implicit r: Foldable[[X]M[A, X]], m: Monoid[M[A, B]], p: Pure[[X]M[A, X]]): M[A, B]

    Definition Classes
    MA
  47. def bktree (implicit f: Foldable[[X]M[A, X]], m: MetricSpace[B]): BKTree[B]

    Definition Classes
    MA
  48. def clone (): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  49. def cojoin (implicit j: Cojoin[[X]M[A, X]]): M[A, M[A, B]]

    Definition Classes
    MA
  50. def collapse (implicit t: Traverse[[X]M[A, X]], m: Monoid[B]): B

    Definition Classes
    MA
  51. def comp [N[_], B] (implicit n: <:<[B, N[B]], f: Functor[[X]M[A, X]]): MA[[α]M[A, N[α]], B]

    Returns a MA with the type parameter M equal to [A] M[N[A]], given that type A is constructed from type constructor N.

    Returns a MA with the type parameter M equal to [A] M[N[A]], given that type A is constructed from type constructor N. This allows composition of type classes for M and N. For example: (List(List(1)).comp.map {2 +}) assert_=== List(List(3))

    Definition Classes
    MA
  52. def copure (implicit p: Copure[[X]M[A, X]]): B

    Definition Classes
    MA
  53. def count (implicit r: Foldable[[X]M[A, X]]): Int

    Definition Classes
    MA
  54. def digits (implicit c: <:<[B, Char], t: Functor[[X]M[A, X]]): M[A, Option[Digit]]

    Definition Classes
    MA
  55. def element (a: B)(implicit r: Foldable[[X]M[A, X]], eq: Equal[B]): Boolean

    Definition Classes
    MA
  56. def empty (implicit r: Foldable[[X]M[A, X]]): Boolean

    Definition Classes
    MA
  57. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  58. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  59. def finalize (): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  60. def first [C] (implicit a: Arrow[M]): M[(A, C), (B, C)]

  61. def flatMap [B] (f: (B) ⇒ M[A, B])(implicit b: Bind[[X]M[A, X]]): M[A, B]

    Definition Classes
    MA
  62. def foldLeftM [N[_], B] (b: B)(f: (B, B) ⇒ N[B])(implicit fr: Foldable[[X]M[A, X]], m: Monad[N]): N[B]

    Definition Classes
    MA
  63. def foldMap [B] (f: (B) ⇒ B)(implicit r: Foldable[[X]M[A, X]], m: Monoid[B]): B

    Definition Classes
    MA
  64. def foldMapDefault [B] (f: (B) ⇒ B)(implicit t: Traverse[[X]M[A, X]], m: Monoid[B]): B

    Definition Classes
    MA
  65. def foldReduce [B] (implicit f: Foldable[[X]M[A, X]], r: Reducer[B, B]): B

    Definition Classes
    MA
  66. def foldRightM [N[_], B] (b: B)(f: (B, B) ⇒ N[B])(implicit fr: Foldable[[X]M[A, X]], m: Monad[N]): N[B]

    Definition Classes
    MA
  67. def foldl [B] (b: B)(f: (B, B) ⇒ B)(implicit r: Foldable[[X]M[A, X]]): B

    Definition Classes
    MA
  68. def foldl1 (f: (B, B) ⇒ B)(implicit r: Foldable[[X]M[A, X]]): Option[B]

    Definition Classes
    MA
  69. def foldr [B] (b: B)(f: (B, ⇒ B) ⇒ B)(implicit r: Foldable[[X]M[A, X]]): B

    Definition Classes
    MA
  70. def foldr1 (f: (B, ⇒ B) ⇒ B)(implicit r: Foldable[[X]M[A, X]]): Option[B]

    Definition Classes
    MA
  71. def foreach (f: (B) ⇒ Unit)(implicit e: Each[[X]M[A, X]]): Unit

    Definition Classes
    MA
  72. def forever [B] (implicit b: Bind[[X]M[A, X]]): M[A, B]

    Definition Classes
    MA
  73. def fpair (implicit f: Functor[[X]M[A, X]]): M[A, (B, B)]

    Definition Classes
    MA
  74. def fpure [N[_]] (implicit f: Functor[[X]M[A, X]], p: Pure[N]): M[A, N[B]]

    Definition Classes
    MA
  75. def getClass (): java.lang.Class[_]

    Attributes
    final
    Definition Classes
    AnyRef
  76. def getOrElseM (a: M[A, Option[B]])(implicit m: Monad[[X]M[A, X]]): M[A, B]

    Definition Classes
    MA
  77. def hashCode (): Int

    Definition Classes
    AnyRef → Any
  78. def ifM [B] (t: ⇒ M[A, B], f: ⇒ M[A, B])(implicit a: Monad[[X]M[A, X]], b: <:<[B, Boolean]): M[A, B]

    Definition Classes
    MA
  79. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any
  80. def join [B] (implicit m: <:<[B, M[A, B]], b: Bind[[X]M[A, X]]): M[A, B]

    Definition Classes
    MA
  81. def len (implicit l: Length[[X]M[A, X]]): Int

    Definition Classes
    MA
  82. def liftw [F[_]] (implicit f: Functor[[X]M[A, X]], p: Pure[F]): ~>[Id, [α]WriterT[[X]M[A, X], F[α], B]]

    Puts the given write value into a writer transformer, lifted into a pointed functor, and associates with this M[A] value

    Puts the given write value into a writer transformer, lifted into a pointed functor, and associates with this M[A] value

    Definition Classes
    MA
  83. def liftwWith [F[_]] (implicit f: Functor[[X]M[A, X]], p: Pure[F]): ~>[[α](B) ⇒ α, [α]WriterT[[X]M[A, X], F[α], B]]

    Puts the given write value that is produced by applying the given function into a writer transformer, lifted into a pointed functor, and associates with this M[A] value

    Puts the given write value that is produced by applying the given function into a writer transformer, lifted into a pointed functor, and associates with this M[A] value

    Definition Classes
    MA
  84. def listl (implicit r: Foldable[[X]M[A, X]]): List[B]

    Definition Classes
    MA
  85. def listr (implicit r: Foldable[[X]M[A, X]]): List[B]

    Definition Classes
    MA
  86. def longDigits (implicit d: <:<[B, Digit], t: Foldable[[X]M[A, X]]): Long

    Definition Classes
    MA
  87. def map [B] (f: (B) ⇒ B)(implicit t: Functor[[X]M[A, X]]): M[A, B]

    Definition Classes
    MA
  88. def map2 [N[_], B, C] (f: (B) ⇒ C)(implicit m: <:<[B, N[B]], f1: Functor[[X]M[A, X]], f2: Functor[N]): M[A, N[C]]

    Definition Classes
    MA
  89. def maximum (implicit r: Foldable[[X]M[A, X]], ord: Order[B]): Option[B]

    Definition Classes
    MA
  90. def minimum (implicit r: Foldable[[X]M[A, X]], ord: Order[B]): Option[B]

    Definition Classes
    MA
  91. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  92. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  93. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  94. def parBind [B] (f: (B) ⇒ M[A, B])(implicit m: Monad[[X]M[A, X]], s: Strategy, t: Traverse[[X]M[A, X]]): Promise[M[A, B]]

    Definition Classes
    MA
  95. def parMap [B] (f: (B) ⇒ B)(implicit s: Strategy, t: Traverse[[X]M[A, X]]): Promise[M[A, B]]

    Definition Classes
    MA
  96. def parZipWith [B, C] (bs: M[A, B])(f: (B, B) ⇒ C)(implicit z: Applicative[[X]M[A, X]], s: Strategy, t: Traverse[[X]M[A, X]]): Promise[M[A, C]]

    Definition Classes
    MA
  97. def para [B] (b: B, f: (⇒ B, ⇒ M[A, B], B) ⇒ B)(implicit p: Paramorphism[[X]M[A, X]]): B

    Definition Classes
    MA
  98. def product (implicit a: Arrow[M]): M[(A, A), (B, B)]

  99. def put [W] (w: W)(implicit f: Functor[[X]M[A, X]]): WriterT[[X]M[A, X], W, B]

    Puts the given write value into a writer transformer and associates with this M[A] value

    Puts the given write value into a writer transformer and associates with this M[A] value

    Definition Classes
    MA
  100. def putWith [W] (w: (B) ⇒ W)(implicit f: Functor[[X]M[A, X]]): WriterT[[X]M[A, X], W, B]

    Puts the write value that is produced by applying the given function into a writer transformer and associates with this M[A] value

    Puts the write value that is produced by applying the given function into a writer transformer and associates with this M[A] value

    Definition Classes
    MA
  101. def replicateM [N[_]] (n: Int)(implicit m: Monad[[X]M[A, X]], p: Pure[N], d: Monoid[N[B]]): M[A, N[B]]

    Definition Classes
    MA
  102. def replicateM_ (n: Int)(implicit m: Monad[[X]M[A, X]]): M[A, Unit]

    Definition Classes
    MA
  103. def second [C] (implicit a: Arrow[M]): M[(C, A), (C, B)]

  104. def selectSplit (p: (B) ⇒ Boolean)(implicit r: Foldable[[X]M[A, X]]): List[List[B]]

    Selects groups of elements that satisfy p and discards others.

    Selects groups of elements that satisfy p and discards others.

    Definition Classes
    MA
  105. def sequence [N[_], B] (implicit a: <:<[B, N[B]], t: Traverse[[X]M[A, X]], n: Applicative[N]): N[M[A, B]]

    Definition Classes
    MA
  106. def splitWith (p: (B) ⇒ Boolean)(implicit r: Foldable[[X]M[A, X]]): List[List[B]]

    Splits the elements into groups that alternatively satisfy and don't satisfy the predicate p.

    Splits the elements into groups that alternatively satisfy and don't satisfy the predicate p.

    Definition Classes
    MA
  107. def stream (implicit r: Foldable[[X]M[A, X]]): Stream[B]

    Definition Classes
    MA
  108. def sum (implicit r: Foldable[[X]M[A, X]], m: Monoid[B]): B

    Definition Classes
    MA
  109. def sumr (implicit r: Foldable[[X]M[A, X]], m: Monoid[B]): B

    Definition Classes
    MA
  110. def synchronized [T0] (arg0: ⇒ T0): T0

    Attributes
    final
    Definition Classes
    AnyRef
  111. def toString (): String

    Definition Classes
    AnyRef → Any
  112. def traverse [F[_], B] (f: (B) ⇒ F[B])(implicit a: Applicative[F], t: Traverse[[X]M[A, X]]): F[M[A, B]]

    Definition Classes
    MA
  113. def traverseDigits (implicit c: <:<[B, Char], t: Traverse[[X]M[A, X]]): Option[M[A, Digit]]

    Definition Classes
    MA
  114. def traverse_ [F[_], B] (f: (B) ⇒ F[B])(implicit a: Applicative[F], t: Foldable[[X]M[A, X]]): F[Unit]

    Definition Classes
    MA
  115. def wait (): Unit

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

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()
  118. def xmap [B] (f: (B) ⇒ B)(g: (B) ⇒ B)(implicit xf: InvariantFunctor[[X]M[A, X]]): M[A, B]

    Definition Classes
    MA
  119. def zipWithA [F[_], B, C] (b: M[A, B])(f: (B, B) ⇒ F[C])(implicit a: Applicative[[X]M[A, X]], t: Traverse[[X]M[A, X]], z: Applicative[F]): F[M[A, C]]

    Definition Classes
    MA
  120. def |>| (f: (B) ⇒ Unit)(implicit e: Each[[X]M[A, X]]): Unit

    Definition Classes
    MA
  121. def |@| [B] (b: M[A, B]): ApplicativeBuilder[[X]M[A, X], B, B]

    Accumulates values MA[A] and MA[B], and returns an ApplicativeBuilder that can accumulate further such values.

    Accumulates values MA[A] and MA[B], and returns an ApplicativeBuilder that can accumulate further such values. These values can be then applied to a provided function through the Applicative Functor for M.

    Example:

    (1.some ⊛ 2.some) apply { (a, b, c) => a + b + c) } === Some(3) (1.some ⊛ 2.some ⊛ 3.some) tupled === Some((1, 2, 3))

    returns

    An ApplicativeBuilder that has accumulated value: M[A] and b: M[B].

    Definition Classes
    MA
  122. def μ [B] (implicit m: <:<[B, M[A, B]], b: Bind[[X]M[A, X]]): M[A, B]

    Alias for join

    Alias for join

    Definition Classes
    MASugar
  123. def [F[_], B] (f: (B) ⇒ F[B])(implicit a: Applicative[F], t: Traverse[[X]M[A, X]]): F[M[A, B]]

    Alias for traverse

    Alias for traverse

    Definition Classes
    MASugar
  124. def (p: (B) ⇒ Boolean)(implicit r: Foldable[[X]M[A, X]]): Boolean

    Alias for all

    Alias for all

    Definition Classes
    MASugar
  125. def (p: (B) ⇒ Boolean)(implicit r: Foldable[[X]M[A, X]]): Boolean

    Alias for any

    Alias for any

    Definition Classes
    MASugar
  126. def ∈: (a: B)(implicit r: Foldable[[X]M[A, X]], eq: Equal[B]): Boolean

    Right associative alias for element

    Right associative alias for element

    Definition Classes
    MASugar
  127. def (a: B)(implicit r: Foldable[[X]M[A, X]], eq: Equal[B]): Boolean

    Alias for element

    Alias for element

    Definition Classes
    MASugar
  128. def [B] (f: (B) ⇒ M[A, B])(implicit b: Bind[[X]M[A, X]]): M[A, B]

    Alias for >>= and flatMap

    Alias for >>= and flatMap

    Definition Classes
    MASugar
  129. def ∗| [B] (f: ⇒ M[A, B])(implicit b: Bind[[X]M[A, X]]): M[A, B]

    Alias for >>=|

    Alias for >>=|

    Definition Classes
    MASugar
  130. def [B] (f: (B) ⇒ B)(implicit t: Functor[[X]M[A, X]]): M[A, B]

    Alias for map

    Alias for map

    Definition Classes
    MASugar
  131. def ∘∘ [N[_], B, C] (f: (B) ⇒ C)(implicit m: <:<[B, N[B]], f1: Functor[[X]M[A, X]], f2: Functor[N]): M[A, N[C]]

    Alias for map2

    Alias for map2

    Definition Classes
    MASugar
  132. def [B] (b: M[A, B]): ApplicativeBuilder[[X]M[A, X], B, B]

    Alias for |@|

    Alias for |@|

    Definition Classes
    MASugar
  133. def [C] (k: M[C, A])(implicit c: Category[M]): M[C, B]

  134. def [C] (k: M[B, C])(implicit c: Category[M]): M[A, C]

Inherited from MA[[X]M[A, X], B]

Inherited from MASugar[[X]M[A, X], B]

Inherited from PimpedType[M[A, B]]

Inherited from AnyRef

Inherited from Any