org.specs2.internal.scalaz.syntax

MonadSyntax

trait MonadSyntax[F[_]] extends ApplicativeSyntax[F] with BindSyntax[F]

Source
MonadSyntax.scala
Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. MonadSyntax
  2. BindSyntax
  3. ApplicativeSyntax
  4. PointedSyntax
  5. ApplySyntax
  6. FunctorSyntax
  7. AnyRef
  8. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. trait LiftV[A, B] extends Ops[(A) ⇒ B]

    Definition Classes
    FunctorSyntax
  2. trait PointedIdV[A] extends Ops[A]

    Definition Classes
    PointedSyntax

Abstract Value Members

  1. abstract def F: Monad[F]

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. implicit def PointedIdV[A](v: ⇒ A): PointedIdV[A] { lazy val self: A }

    Definition Classes
    PointedSyntax
  7. implicit def ToApplicativeOps[A](v: F[A]): ApplicativeOps[F, A]

    Definition Classes
    ApplicativeSyntax
  8. implicit def ToApplyOps[A](v: F[A]): ApplyOps[F, A]

    Definition Classes
    ApplySyntax
  9. implicit def ToBindOps[A](v: F[A]): BindOps[F, A]

    Definition Classes
    BindSyntax
  10. implicit def ToFunctorOps[A](v: F[A]): FunctorOps[F, A]

    Definition Classes
    FunctorSyntax
  11. implicit def ToLiftV[A, B](v: (A) ⇒ B): LiftV[A, B]

    Definition Classes
    FunctorSyntax
  12. implicit def ToMonadOps[A](v: F[A]): MonadOps[F, A]

  13. implicit def ToPointedOps[A](v: F[A]): PointedOps[F, A]

    Definition Classes
    PointedSyntax
  14. def ^[A, B, C](fa: ⇒ F[A], fb: ⇒ F[B])(f: (A, B) ⇒ C): F[C]

    Definition Classes
    ApplySyntax
  15. def ^[A, B](fa: F[A])(f: (A) ⇒ B): F[B]

    Definition Classes
    FunctorSyntax
  16. def ^^[A, B, C, D](fa: ⇒ F[A], fb: ⇒ F[B], fc: ⇒ F[C])(f: (A, B, C) ⇒ D): F[D]

    Definition Classes
    ApplySyntax
  17. def ^^^[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
    ApplySyntax
  18. def ^^^^[A, B, C, D, E, I](fa: ⇒ F[A], fb: ⇒ F[B], fc: ⇒ F[C], fd: ⇒ F[D], fe: ⇒ F[E])(f: (A, B, C, D, E) ⇒ I): F[I]

    Definition Classes
    ApplySyntax
  19. def ^^^^^[A, B, C, D, E, I, J](fa: ⇒ F[A], fb: ⇒ F[B], fc: ⇒ F[C], fd: ⇒ F[D], fe: ⇒ F[E], fi: ⇒ F[I])(f: (A, B, C, D, E, I) ⇒ J): F[J]

    Definition Classes
    ApplySyntax
  20. def ^^^^^^[A, B, C, D, E, I, J, K](fa: ⇒ F[A], fb: ⇒ F[B], fc: ⇒ F[C], fd: ⇒ F[D], fe: ⇒ F[E], fi: ⇒ F[I], fj: ⇒ F[J])(f: (A, B, C, D, E, I, J) ⇒ K): F[K]

    Definition Classes
    ApplySyntax
  21. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  22. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  23. final def eq(arg0: AnyRef): Boolean

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

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

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  26. final def getClass(): Class[_]

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

    Definition Classes
    AnyRef → Any
  28. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  29. implicit def lift2[A, B, C](f: (A, B) ⇒ C): (F[A], F[B]) ⇒ F[C]

    Definition Classes
    ApplySyntax
  30. implicit def lift3[A, B, C, D](f: (A, B, C) ⇒ D): (F[A], F[B], F[C]) ⇒ F[D]

    Definition Classes
    ApplySyntax
  31. implicit 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
    ApplySyntax
  32. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  33. final def notify(): Unit

    Definition Classes
    AnyRef
  34. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  35. def point[A](a: ⇒ A)(implicit F: Pointed[F]): F[A]

    Definition Classes
    PointedSyntax
  36. def pure[A](a: ⇒ A)(implicit F: Pointed[F]): F[A]

    Alias for point

    Alias for point

    Definition Classes
    PointedSyntax
  37. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  38. def toString(): String

    Definition Classes
    AnyRef → Any
  39. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws()
  42. def η[A](a: ⇒ A)(implicit F: Pointed[F]): F[A]

    Definition Classes
    PointedSyntax

Inherited from BindSyntax[F]

Inherited from ApplicativeSyntax[F]

Inherited from PointedSyntax[F]

Inherited from ApplySyntax[F]

Inherited from FunctorSyntax[F]

Inherited from AnyRef

Inherited from Any

Ungrouped