logic.syntax.Syntaxes

monadLogic

object monadLogic extends ToMonadLogicOps

Linear Supertypes
ToMonadLogicOps, ToMonadPlusOps, ToApplicativePlusOps, ToPlusEmptyOps, ToPlusOps, ToPlusOps0, ToPlusEmptyOps0, ToApplicativePlusOps0, ToMonadOps, ToBindOps, ToBindOps0, ToApplicativeOps, ToApplyOps, ToFunctorOps, ToInvariantFunctorOps, ToInvariantFunctorOps0, ToFunctorOps0, ToApplyOps0, ToApplicativeOps0, ToMonadOps0, ToMonadPlusOps0, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. monadLogic
  2. ToMonadLogicOps
  3. ToMonadPlusOps
  4. ToApplicativePlusOps
  5. ToPlusEmptyOps
  6. ToPlusOps
  7. ToPlusOps0
  8. ToPlusEmptyOps0
  9. ToApplicativePlusOps0
  10. ToMonadOps
  11. ToBindOps
  12. ToBindOps0
  13. ToApplicativeOps
  14. ToApplyOps
  15. ToFunctorOps
  16. ToInvariantFunctorOps
  17. ToInvariantFunctorOps0
  18. ToFunctorOps0
  19. ToApplyOps0
  20. ToApplicativeOps0
  21. ToMonadOps0
  22. ToMonadPlusOps0
  23. AnyRef
  24. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. trait ApplicativeIdV[A] extends Ops[A]

    Definition Classes
    ToApplicativeOps

  2. trait FunctorIdV[A] extends Ops[A]

    Definition Classes
    ToFunctorOps

  3. trait LiftV[F[_], A, B] extends Ops[(A) ⇒ B]

    Definition Classes
    ToFunctorOps

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

    Definition Classes
    ToApplicativeOps

  7. implicit def ToApplicativeOps[F[_], A](v: F[A])(implicit F0: Applicative[F]): ApplicativeOps[F, A]

    Definition Classes
    ToApplicativeOps

  8. implicit def ToApplicativeOpsUnapply[FA](v: FA)(implicit F0: Unapply[Applicative, FA]): ApplicativeOps[M, A]

    Definition Classes
    ToApplicativeOps0

  9. implicit def ToApplicativePlusOps[F[_], A](v: F[A])(implicit F0: ApplicativePlus[F]): ApplicativePlusOps[F, A]

    Definition Classes
    ToApplicativePlusOps

  10. implicit def ToApplicativePlusOpsUnapply[FA](v: FA)(implicit F0: Unapply[ApplicativePlus, FA]): ApplicativePlusOps[M, A]

    Definition Classes
    ToApplicativePlusOps0

  11. implicit def ToApplyOps[F[_], A](v: F[A])(implicit F0: Apply[F]): ApplyOps[F, A]

    Definition Classes
    ToApplyOps

  12. implicit def ToApplyOpsUnapply[FA](v: FA)(implicit F0: Unapply[Apply, FA]): ApplyOps[M, A]

    Definition Classes
    ToApplyOps0

  13. implicit def ToBindOps[F[_], A](v: F[A])(implicit F0: Bind[F]): BindOps[F, A]

    Definition Classes
    ToBindOps

  14. implicit def ToBindOpsUnapply[FA](v: FA)(implicit F0: Unapply[Bind, FA]): BindOps[M, A]

    Definition Classes
    ToBindOps0

  15. implicit def ToFunctorIdV[A](v: A): FunctorIdV[A]

    Definition Classes
    ToFunctorOps

  16. implicit def ToFunctorOps[F[_], A](v: F[A])(implicit F0: Functor[F]): FunctorOps[F, A]

    Definition Classes
    ToFunctorOps

  17. implicit def ToFunctorOpsUnapply[FA](v: FA)(implicit F0: Unapply[Functor, FA]): FunctorOps[M, A]

    Definition Classes
    ToFunctorOps0

  18. implicit def ToInvariantFunctorOps[F[_], A](v: F[A])(implicit F0: InvariantFunctor[F]): InvariantFunctorOps[F, A]

    Definition Classes
    ToInvariantFunctorOps

  19. implicit def ToInvariantFunctorOpsUnapply[FA](v: FA)(implicit F0: Unapply[InvariantFunctor, FA]): InvariantFunctorOps[M, A]

    Definition Classes
    ToInvariantFunctorOps0

  20. implicit def ToLiftV[F[_], A, B](v: (A) ⇒ B): LiftV[F, A, B]

    Definition Classes
    ToFunctorOps

  21. implicit def ToMonadLogicOps[F[_], A](v: F[A])(implicit F0: MonadLogic[F]): MonadLogicOps[F, A]

    Definition Classes
    ToMonadLogicOps

  22. implicit def ToMonadOps[F[_], A](v: F[A])(implicit F0: Monad[F]): MonadOps[F, A]

    Definition Classes
    ToMonadOps

  23. implicit def ToMonadOpsUnapply[FA](v: FA)(implicit F0: Unapply[Monad, FA]): MonadOps[M, A]

    Definition Classes
    ToMonadOps0

  24. implicit def ToMonadPlusOps[F[_], A](v: F[A])(implicit F0: MonadPlus[F]): MonadPlusOps[F, A]

    Definition Classes
    ToMonadPlusOps

  25. implicit def ToMonadPlusOpsUnapply[FA](v: FA)(implicit F0: Unapply[MonadPlus, FA]): MonadPlusOps[M, A]

    Definition Classes
    ToMonadPlusOps0

  26. implicit def ToPlusEmptyOps[F[_], A](v: F[A])(implicit F0: PlusEmpty[F]): PlusEmptyOps[F, A]

    Definition Classes
    ToPlusEmptyOps

  27. implicit def ToPlusEmptyOpsUnapply[FA](v: FA)(implicit F0: Unapply[PlusEmpty, FA]): PlusEmptyOps[M, A]

    Definition Classes
    ToPlusEmptyOps0

  28. implicit def ToPlusOps[F[_], A](v: F[A])(implicit F0: Plus[F]): PlusOps[F, A]

    Definition Classes
    ToPlusOps

  29. implicit def ToPlusOpsUnapply[FA](v: FA)(implicit F0: Unapply[Plus, FA]): PlusOps[M, A]

    Definition Classes
    ToPlusOps0

  30. def ^[F[_], A, B, C](fa: ⇒ F[A], fb: ⇒ F[B])(f: (A, B) ⇒ C)(implicit F: Apply[F]): F[C]

    Definition Classes
    ToApplyOps

  31. def ^^[F[_], A, B, C, D](fa: ⇒ F[A], fb: ⇒ F[B], fc: ⇒ F[C])(f: (A, B, C) ⇒ D)(implicit F: Apply[F]): F[D]

    Definition Classes
    ToApplyOps

  32. def ^^^[F[_], A, B, C, D, E](fa: ⇒ F[A], fb: ⇒ F[B], fc: ⇒ F[C], fd: ⇒ F[D])(f: (A, B, C, D) ⇒ E)(implicit F: Apply[F]): F[E]

    Definition Classes
    ToApplyOps

  33. def ^^^^[F[_], 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)(implicit F: Apply[F]): F[I]

    Definition Classes
    ToApplyOps

  34. def ^^^^^[F[_], 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)(implicit F: Apply[F]): F[J]

    Definition Classes
    ToApplyOps

  35. def ^^^^^^[F[_], 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)(implicit F: Apply[F]): F[K]

    Definition Classes
    ToApplyOps

  36. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  37. def clone(): AnyRef

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

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

    Definition Classes
    AnyRef

  39. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  40. def finalize(): Unit

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

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

    Definition Classes
    AnyRef → Any

  42. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  43. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  44. implicit def lift2[F[_], A, B, C](f: (A, B) ⇒ C)(implicit F: Apply[F]): (F[A], F[B]) ⇒ F[C]

    Definition Classes
    ToApplyOps

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

    Definition Classes
    ToApplyOps

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

    Definition Classes
    ToApplyOps

  47. def mempty[F[_], A](implicit F: PlusEmpty[F]): F[A]

    Definition Classes
    ToPlusEmptyOps

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

    Definition Classes
    AnyRef

  49. final def notify(): Unit

    Definition Classes
    AnyRef

  50. final def notifyAll(): Unit

    Definition Classes
    AnyRef

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

    Definition Classes
    AnyRef

  52. def toString(): String

    Definition Classes
    AnyRef → Any

  53. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  55. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from ToMonadLogicOps

Inherited from ToMonadPlusOps

Inherited from ToApplicativePlusOps

Inherited from ToPlusEmptyOps

Inherited from ToPlusOps

Inherited from ToPlusOps0

Inherited from ToPlusEmptyOps0

Inherited from ToApplicativePlusOps0

Inherited from ToMonadOps

Inherited from ToBindOps

Inherited from ToBindOps0

Inherited from ToApplicativeOps

Inherited from ToApplyOps

Inherited from ToFunctorOps

Inherited from ToInvariantFunctorOps

Inherited from ToInvariantFunctorOps0

Inherited from ToFunctorOps0

Inherited from ToApplyOps0

Inherited from ToApplicativeOps0

Inherited from ToMonadOps0

Inherited from ToMonadPlusOps0

Inherited from AnyRef

Inherited from Any

Ungrouped