trait MonadIOSyntax[F[_]] extends LiftIOSyntax[F] with MonadSyntax[F]
- Source
- MonadIOSyntax.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- MonadIOSyntax
- MonadSyntax
- BindSyntax
- ApplicativeSyntax
- InvariantApplicativeSyntax
- ApplySyntax
- FunctorSyntax
- InvariantFunctorSyntax
- LiftIOSyntax
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Type Members
- trait ApplicativeIdV[A] extends Ops[A]
- Definition Classes
- ApplicativeSyntax
- trait LiftV[A, B] extends Ops[(A) => B]
- Definition Classes
- FunctorSyntax
Abstract Value Members
- abstract def F: MonadIO[F]
- Definition Classes
- MonadIOSyntax → MonadSyntax → BindSyntax → ApplicativeSyntax → InvariantApplicativeSyntax → ApplySyntax → FunctorSyntax → InvariantFunctorSyntax → LiftIOSyntax
Concrete Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- implicit def ApplicativeIdV[A](v: => A): ApplicativeIdV[A]
- Definition Classes
- ApplicativeSyntax
- implicit def ToApplicativeOps[A](v: F[A]): ApplicativeOps[F, A]
- Definition Classes
- ApplicativeSyntax
- implicit def ToApplyOps[A](v: F[A]): ApplyOps[F, A]
- Definition Classes
- ApplySyntax
- implicit def ToBindOps[A](v: F[A]): BindOps[F, A]
- Definition Classes
- BindSyntax
- implicit def ToFunctorOps[A](v: F[A]): FunctorOps[F, A]
- Definition Classes
- FunctorSyntax
- implicit def ToInvariantApplicativeOps[A](v: F[A]): InvariantApplicativeOps[F, A]
- Definition Classes
- InvariantApplicativeSyntax
- implicit def ToInvariantFunctorOps[A](v: F[A]): InvariantFunctorOps[F, A]
- Definition Classes
- InvariantFunctorSyntax
- implicit def ToLiftIOOps[A](v: F[A]): LiftIOOps[F, A]
- Definition Classes
- LiftIOSyntax
- implicit def ToLiftV[A, B](v: (A) => B): LiftV[A, B]
- Definition Classes
- FunctorSyntax
- implicit def ToMonadIOOps[A](v: F[A]): MonadIOOps[F, A]
- implicit def ToMonadOps[A](v: F[A]): MonadOps[F, A]
- Definition Classes
- MonadSyntax
- def ^[A, B, C](fa: => F[A], fb: => F[B])(f: (A, B) => C): F[C]
- Definition Classes
- ApplySyntax
- def ^^[A, B, C, D](fa: => F[A], fb: => F[B], fc: => F[C])(f: (A, B, C) => D): F[D]
- Definition Classes
- ApplySyntax
- 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
- 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
- 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
- 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
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def point[A](a: => A)(implicit F: Applicative[F]): F[A]
- Definition Classes
- ApplicativeSyntax
- def pure[A](a: => A)(implicit F: Applicative[F]): F[A]
Alias for
pointAlias for
point- Definition Classes
- ApplicativeSyntax
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- def η[A](a: => A)(implicit F: Applicative[F]): F[A]
- Definition Classes
- ApplicativeSyntax