scalaz.effect

MonadControlIO

trait MonadControlIO[F[_]] extends LiftControlIO[F] with Monad[F]

Self Type
MonadControlIO[F]
Source
MonadControlIO.scala
Linear Supertypes
Monad[F], Bind[F], Applicative[F], Pointed[F], Apply[F], Functor[F], LiftControlIO[F], AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. MonadControlIO
  2. Monad
  3. Bind
  4. Applicative
  5. Pointed
  6. Apply
  7. Functor
  8. LiftControlIO
  9. AnyRef
  10. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. trait ApplicativeLaw extends Applicative.FunctorLaw

    Definition Classes
    Applicative

  2. trait FunctorLaw extends AnyRef

    Definition Classes
    Functor

  3. trait MonadLaw extends Monad.ApplicativeLaw

    Definition Classes
    Monad

Abstract Value Members

  1. abstract def bind[A, B](fa: F[A])(f: (A) ⇒ F[B]): F[B]

    Definition Classes
    Bind

  2. abstract def liftControlIO[A](f: (IO.RunInBase[F, IO]) ⇒ IO[A]): F[A]

    Definition Classes
    LiftControlIO

  3. abstract def point[A](a: ⇒ A): F[A]

    Definition Classes
    Pointed

Concrete Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  6. def ap[A, B](fa: ⇒ F[A])(f: ⇒ F[(A) ⇒ B]): F[B]

    Definition Classes
    Bind → Apply

  7. def ap2[A, B, C](fa: ⇒ F[A], fb: ⇒ F[B])(f: F[(A, B) ⇒ C]): F[C]

    Definition Classes
    Apply

  8. def ap3[A, B, C, D](fa: ⇒ F[A], fb: ⇒ F[B], fc: ⇒ F[C])(f: F[(A, B, C) ⇒ D]): F[D]

    Definition Classes
    Apply

  9. def ap4[A, B, C, D, E](fa: ⇒ F[A], fb: ⇒ F[B], fc: ⇒ F[C], fd: ⇒ F[D])(f: F[(A, B, C, D) ⇒ E]): F[E]

    Definition Classes
    Apply

  10. def ap5[A, B, C, D, E, R](fa: ⇒ F[A], fb: ⇒ F[B], fc: ⇒ F[C], fd: ⇒ F[D], fe: ⇒ F[E])(f: F[(A, B, C, D, E) ⇒ R]): F[R]

    Definition Classes
    Apply

  11. def ap6[A, B, C, D, E, FF, R](fa: ⇒ F[A], fb: ⇒ F[B], fc: ⇒ F[C], fd: ⇒ F[D], fe: ⇒ F[E], ff: ⇒ F[FF])(f: F[(A, B, C, D, E, FF) ⇒ R]): F[R]

    Definition Classes
    Apply

  12. def ap7[A, B, C, D, E, FF, G, R](fa: ⇒ F[A], fb: ⇒ F[B], fc: ⇒ F[C], fd: ⇒ F[D], fe: ⇒ F[E], ff: ⇒ F[FF], fg: ⇒ F[G])(f: F[(A, B, C, D, E, FF, G) ⇒ R]): F[R]

    Definition Classes
    Apply

  13. def ap8[A, B, C, D, E, FF, G, H, R](fa: ⇒ F[A], fb: ⇒ F[B], fc: ⇒ F[C], fd: ⇒ F[D], fe: ⇒ F[E], ff: ⇒ F[FF], fg: ⇒ F[G], fh: ⇒ F[H])(f: F[(A, B, C, D, E, FF, G, H) ⇒ R]): F[R]

    Definition Classes
    Apply

  14. def apF[A, B](f: ⇒ F[(A) ⇒ B]): (F[A]) ⇒ F[B]

    Definition Classes
    Apply

  15. def applicativeLaw: ApplicativeLaw

    Definition Classes
    Applicative

  16. val applicativeSyntax: ApplicativeSyntax[F]

    Definition Classes
    Applicative

  17. def apply[A, B](f: (A) ⇒ B): (F[A]) ⇒ F[B]

    Definition Classes
    Functor

  18. val applySyntax: ApplySyntax[F]

    Definition Classes
    Apply

  19. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  20. val bindSyntax: BindSyntax[F]

    Definition Classes
    Bind

  21. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  22. def compose[G[_]](implicit G0: Applicative[G]): Applicative[[α]F[G[α]]]

    Definition Classes
    Applicative

  23. def compose[G[_]](implicit G0: Pointed[G]): Pointed[[α]F[G[α]]]

    Definition Classes
    Pointed

  24. def compose[G[_]](implicit G0: Apply[G]): Apply[[α]F[G[α]]]

    Definition Classes
    Apply

  25. def compose[G[_]](implicit G0: Functor[G]): Functor[[α]F[G[α]]]

    Definition Classes
    Functor

  26. def counzip[A, B](a: \/[F[A], F[B]]): F[\/[A, B]]

    Definition Classes
    Functor

  27. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  28. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  29. def filterM[A](l: List[A])(f: (A) ⇒ F[Boolean]): F[List[A]]

    Definition Classes
    Monad

  30. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  31. def flip: Applicative[F]

    Definition Classes
    Applicative

  32. def fpair[A](fa: F[A]): F[(A, A)]

    Definition Classes
    Functor

  33. def functorLaw: FunctorLaw

    Definition Classes
    Functor

  34. val functorSyntax: FunctorSyntax[F]

    Definition Classes
    Functor

  35. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  36. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  37. def ifM[B](value: F[Boolean], ifTrue: ⇒ F[B], ifFalse: ⇒ F[B]): F[B]

    Definition Classes
    Bind

  38. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  39. def join[A](ffa: F[F[A]]): F[A]

    Definition Classes
    Bind

  40. def lift10[A, B, C, D, E, FF, G, H, I, J, R](f: (A, B, C, D, E, FF, G, H, I, J) ⇒ R): (F[A], F[B], F[C], F[D], F[E], F[FF], F[G], F[H], F[I], F[J]) ⇒ F[R]

    Definition Classes
    Apply

  41. def lift11[A, B, C, D, E, FF, G, H, I, J, K, R](f: (A, B, C, D, E, FF, G, H, I, J, K) ⇒ R): (F[A], F[B], F[C], F[D], F[E], F[FF], F[G], F[H], F[I], F[J], F[K]) ⇒ F[R]

    Definition Classes
    Apply

  42. def lift12[A, B, C, D, E, FF, G, H, I, J, K, L, R](f: (A, B, C, D, E, FF, G, H, I, J, K, L) ⇒ R): (F[A], F[B], F[C], F[D], F[E], F[FF], F[G], F[H], F[I], F[J], F[K], F[L]) ⇒ F[R]

    Definition Classes
    Apply

  43. def lift2[A, B, C](f: (A, B) ⇒ C): (F[A], F[B]) ⇒ F[C]

    Definition Classes
    Apply

  44. def lift3[A, B, C, D](f: (A, B, C) ⇒ D): (F[A], F[B], F[C]) ⇒ F[D]

    Definition Classes
    Apply

  45. def lift4[A, B, C, D, E](f: (A, B, C, D) ⇒ E): (F[A], F[B], F[C], F[D]) ⇒ F[E]

    Definition Classes
    Apply

  46. def lift5[A, B, C, D, E, R](f: (A, B, C, D, E) ⇒ R): (F[A], F[B], F[C], F[D], F[E]) ⇒ F[R]

    Definition Classes
    Apply

  47. def lift6[A, B, C, D, E, FF, R](f: (A, B, C, D, E, FF) ⇒ R): (F[A], F[B], F[C], F[D], F[E], F[FF]) ⇒ F[R]

    Definition Classes
    Apply

  48. def lift7[A, B, C, D, E, FF, G, R](f: (A, B, C, D, E, FF, G) ⇒ R): (F[A], F[B], F[C], F[D], F[E], F[FF], F[G]) ⇒ F[R]

    Definition Classes
    Apply

  49. def lift8[A, B, C, D, E, FF, G, H, R](f: (A, B, C, D, E, FF, G, H) ⇒ R): (F[A], F[B], F[C], F[D], F[E], F[FF], F[G], F[H]) ⇒ F[R]

    Definition Classes
    Apply

  50. def lift9[A, B, C, D, E, FF, G, H, I, R](f: (A, B, C, D, E, FF, G, H, I) ⇒ R): (F[A], F[B], F[C], F[D], F[E], F[FF], F[G], F[H], F[I]) ⇒ F[R]

    Definition Classes
    Apply

  51. val liftControlIOSyntax: LiftControlIOSyntax[F]

    Definition Classes
    LiftControlIO

  52. def map[A, B](fa: F[A])(f: (A) ⇒ B): F[B]

    Definition Classes
    Monad → Applicative → Functor

  53. def map10[A, B, C, D, E, FF, G, H, I, J, R](fa: ⇒ F[A], fb: ⇒ F[B], fc: ⇒ F[C], fd: ⇒ F[D], fe: ⇒ F[E], ff: ⇒ F[FF], fg: ⇒ F[G], fh: ⇒ F[H], fi: ⇒ F[I], fj: ⇒ F[J])(f: (A, B, C, D, E, FF, G, H, I, J) ⇒ R): F[R]

    Definition Classes
    Apply

  54. def map11[A, B, C, D, E, FF, G, H, I, J, K, R](fa: ⇒ F[A], fb: ⇒ F[B], fc: ⇒ F[C], fd: ⇒ F[D], fe: ⇒ F[E], ff: ⇒ F[FF], fg: ⇒ F[G], fh: ⇒ F[H], fi: ⇒ F[I], fj: ⇒ F[J], fk: ⇒ F[K])(f: (A, B, C, D, E, FF, G, H, I, J, K) ⇒ R): F[R]

    Definition Classes
    Apply

  55. def map12[A, B, C, D, E, FF, G, H, I, J, K, L, R](fa: ⇒ F[A], fb: ⇒ F[B], fc: ⇒ F[C], fd: ⇒ F[D], fe: ⇒ F[E], ff: ⇒ F[FF], fg: ⇒ F[G], fh: ⇒ F[H], fi: ⇒ F[I], fj: ⇒ F[J], fk: ⇒ F[K], fl: ⇒ F[L])(f: (A, B, C, D, E, FF, G, H, I, J, K, L) ⇒ R): F[R]

    Definition Classes
    Apply

  56. def map2[A, B, C](fa: ⇒ F[A], fb: ⇒ F[B])(f: (A, B) ⇒ C): F[C]

    Definition Classes
    Applicative → Apply

  57. def map3[A, B, C, D](fa: ⇒ F[A], fb: ⇒ F[B], fc: ⇒ F[C])(f: (A, B, C) ⇒ D): F[D]

    Definition Classes
    Apply

  58. def map4[A, B, C, D, E](fa: ⇒ F[A], fb: ⇒ F[B], fc: ⇒ F[C], fd: ⇒ F[D])(f: (A, B, C, D) ⇒ E): F[E]

    Definition Classes
    Apply

  59. def map5[A, B, C, D, E, R](fa: ⇒ F[A], fb: ⇒ F[B], fc: ⇒ F[C], fd: ⇒ F[D], fe: ⇒ F[E])(f: (A, B, C, D, E) ⇒ R): F[R]

    Definition Classes
    Apply

  60. def map6[A, B, C, D, E, FF, R](fa: ⇒ F[A], fb: ⇒ F[B], fc: ⇒ F[C], fd: ⇒ F[D], fe: ⇒ F[E], ff: ⇒ F[FF])(f: (A, B, C, D, E, FF) ⇒ R): F[R]

    Definition Classes
    Apply

  61. def map7[A, B, C, D, E, FF, G, R](fa: ⇒ F[A], fb: ⇒ F[B], fc: ⇒ F[C], fd: ⇒ F[D], fe: ⇒ F[E], ff: ⇒ F[FF], fg: ⇒ F[G])(f: (A, B, C, D, E, FF, G) ⇒ R): F[R]

    Definition Classes
    Apply

  62. def map8[A, B, C, D, E, FF, G, H, R](fa: ⇒ F[A], fb: ⇒ F[B], fc: ⇒ F[C], fd: ⇒ F[D], fe: ⇒ F[E], ff: ⇒ F[FF], fg: ⇒ F[G], fh: ⇒ F[H])(f: (A, B, C, D, E, FF, G, H) ⇒ R): F[R]

    Definition Classes
    Apply

  63. def map9[A, B, C, D, E, FF, G, H, I, R](fa: ⇒ F[A], fb: ⇒ F[B], fc: ⇒ F[C], fd: ⇒ F[D], fe: ⇒ F[E], ff: ⇒ F[FF], fg: ⇒ F[G], fh: ⇒ F[H], fi: ⇒ F[I])(f: (A, B, C, D, E, FF, G, H, I) ⇒ R): F[R]

    Definition Classes
    Apply

  64. def mapply[A, B](a: A)(f: F[(A) ⇒ B]): F[B]

    Definition Classes
    Functor

  65. val monadControlIOSyntax: MonadControlIOSyntax[F]

  66. def monadLaw: MonadLaw

    Definition Classes
    Monad

  67. val monadSyntax: MonadSyntax[F]

    Definition Classes
    Monad

  68. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  69. final def notify(): Unit

    Definition Classes
    AnyRef

  70. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  71. val pointedSyntax: PointedSyntax[F]

    Definition Classes
    Pointed

  72. def product[G[_]](implicit G0: Applicative[G]): Applicative[[α](F[α], G[α])]

    Definition Classes
    Applicative

  73. def product[G[_]](implicit G0: Pointed[G]): Pointed[[α](F[α], G[α])]

    Definition Classes
    Pointed

  74. def product[G[_]](implicit G0: Apply[G]): Apply[[α](F[α], G[α])]

    Definition Classes
    Apply

  75. def product[G[_]](implicit G0: Functor[G]): Functor[[α](F[α], G[α])]

    Definition Classes
    Functor

  76. def pure[A](a: ⇒ A): F[A]

    Definition Classes
    Pointed

  77. def replicateM[A](n: Int, fa: F[A]): F[List[A]]

    Definition Classes
    Monad

  78. def replicateM_[A](n: Int, fa: F[A]): F[Unit]

    Definition Classes
    Monad

  79. def sequence[A, G[_]](as: G[F[A]])(implicit arg0: Traverse[G]): F[G[A]]

    Definition Classes
    Applicative

  80. def strengthL[A, B](a: A, f: F[B]): F[(A, B)]

    Definition Classes
    Functor

  81. def strengthR[A, B](f: F[A], b: B): F[(A, B)]

    Definition Classes
    Functor

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

    Definition Classes
    AnyRef

  83. def toString(): String

    Definition Classes
    AnyRef → Any

  84. def traverse[A, G[_], B](value: G[A])(f: (A) ⇒ F[B])(implicit G: Traverse[G]): F[G[B]]

    Definition Classes
    Applicative

  85. def void[A](fa: F[A]): F[Unit]

    Definition Classes
    Functor

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

  89. def zip: Zip[F]

    Definition Classes
    Apply

Inherited from Monad[F]

Inherited from Bind[F]

Inherited from Applicative[F]

Inherited from Pointed[F]

Inherited from Apply[F]

Inherited from Functor[F]

Inherited from LiftControlIO[F]

Inherited from AnyRef

Inherited from Any

No Group