MonadLogicSyntax

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

Definition Classes
MonadLogicSyntax → MonadPlusSyntax → ApplicativePlusSyntax → PlusEmptySyntax → PlusSyntax → MonadSyntax → BindSyntax → ApplicativeSyntax → ApplySyntax → FunctorSyntax → InvariantFunctorSyntax

Concrete Value Members

final def !=(arg0: AnyRef): Boolean

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

Definition Classes
Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: AnyRef): Boolean

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

Definition Classes
Any
implicit def ApplicativeIdV[A](v: ⇒ A): ApplicativeIdV[A] { lazy val self: A }

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

Definition Classes
ApplicativeSyntax
implicit def ToApplicativePlusOps[A](v: F[A]): ApplicativePlusOps[F, A]

Definition Classes
ApplicativePlusSyntax
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 ToInvariantFunctorOps[A](v: F[A]): InvariantFunctorOps[F, A]

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

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

Definition Classes
MonadSyntax
implicit def ToMonadPlusOps[A](v: F[A]): MonadPlusOps[F, A]

Definition Classes
MonadPlusSyntax
implicit def ToPlusEmptyOps[A](v: F[A]): PlusEmptyOps[F, A]

Definition Classes
PlusEmptySyntax
implicit def ToPlusOps[A](v: F[A]): PlusOps[F, A]

Definition Classes
PlusSyntax
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
implicit def lift2[A, B, C](f: (A, B) ⇒ C): (F[A], F[B]) ⇒ F[C]

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

Definition Classes
ApplySyntax
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
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

trait MonadLogicSyntax[F[_]] extends MonadPlusSyntax[F]

Type Members

trait ApplicativeIdV[A] extends Ops[A]

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

Abstract Value Members

abstract def F: MonadLogic[F]

Concrete Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

implicit def ApplicativeIdV[A](v: ⇒ A): ApplicativeIdV[A] { lazy val self: A }

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

implicit def ToApplicativePlusOps[A](v: F[A]): ApplicativePlusOps[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 ToInvariantFunctorOps[A](v: F[A]): InvariantFunctorOps[F, A]

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

implicit def ToMonadLogicOps[A](v: F[A]): MonadLogicOps[F, A]

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

implicit def ToMonadPlusOps[A](v: F[A]): MonadPlusOps[F, A]

implicit def ToPlusEmptyOps[A](v: F[A]): PlusEmptyOps[F, A]

implicit def ToPlusOps[A](v: F[A]): PlusOps[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

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

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

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

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 MonadPlusSyntax[F]

Inherited from ApplicativePlusSyntax[F]

Inherited from PlusEmptySyntax[F]

Inherited from PlusSyntax[F]

Inherited from MonadSyntax[F]

Inherited from BindSyntax[F]

Inherited from ApplicativeSyntax[F]

Inherited from ApplySyntax[F]

Inherited from FunctorSyntax[F]

Inherited from InvariantFunctorSyntax[F]

Inherited from AnyRef

Inherited from Any

Ungrouped