MonadControlIOSyntax

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: MonadControlIO[F]

Definition Classes
MonadControlIOSyntax → MonadSyntax → BindSyntax → ApplicativeSyntax → InvariantApplicativeSyntax → ApplySyntax → FunctorSyntax → InvariantFunctorSyntax → LiftControlIOSyntax

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 ToLiftControlIOOps[A](v: F[A]): LiftControlIOOps[F, A]

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

Definition Classes
FunctorSyntax
implicit def ToMonadControlIOOps[A](v: F[A]): MonadControlIOOps[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[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

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

Definition Classes
AnyRef → Any
def finalize(): Unit

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

Definition Classes
AnyRef → Any
def hashCode(): Int

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

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
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]

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( ... )
final def wait(arg0: Long, arg1: Int): Unit

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

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

Definition Classes
ApplicativeSyntax

Related Doc: package effect

trait MonadControlIOSyntax[F[_]] extends LiftControlIOSyntax[F] with MonadSyntax[F]

Type Members

trait ApplicativeIdV[A] extends Ops[A]

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

Abstract Value Members

abstract def F: MonadControlIO[F]

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

implicit def ApplicativeIdV[A](v: ⇒ A): ApplicativeIdV[A]

implicit def ToApplicativeOps[A](v: F[A]): ApplicativeOps[F, A]

implicit def ToApplyOps[A](v: F[A]): ApplyOps[F, A]

implicit def ToBindOps[A](v: F[A]): BindOps[F, A]

implicit def ToFunctorOps[A](v: F[A]): FunctorOps[F, A]

implicit def ToInvariantApplicativeOps[A](v: F[A]): InvariantApplicativeOps[F, A]

implicit def ToInvariantFunctorOps[A](v: F[A]): InvariantFunctorOps[F, A]

implicit def ToLiftControlIOOps[A](v: F[A]): LiftControlIOOps[F, A]

implicit def ToLiftV[A, B](v: (A) ⇒ B): LiftV[A, B]

implicit def ToMonadControlIOOps[A](v: F[A]): MonadControlIOOps[F, A]

implicit def ToMonadOps[A](v: F[A]): MonadOps[F, A]

def ^[A, B, C](fa: ⇒ F[A], fb: ⇒ F[B])(f: (A, B) ⇒ C): F[C]

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

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]

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]

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]

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]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def point[A](a: ⇒ A)(implicit F: Applicative[F]): F[A]

def pure[A](a: ⇒ A)(implicit F: Applicative[F]): F[A]

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

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

def η[A](a: ⇒ A)(implicit F: Applicative[F]): F[A]

Inherited from MonadSyntax[F]

Inherited from BindSyntax[F]

Inherited from ApplicativeSyntax[F]

Inherited from InvariantApplicativeSyntax[F]

Inherited from ApplySyntax[F]

Inherited from FunctorSyntax[F]

Inherited from InvariantFunctorSyntax[F]

Inherited from LiftControlIOSyntax[F]

Inherited from AnyRef

Inherited from Any

Ungrouped