scalaz-core/scalaz.syntax/Syntaxes/monadPlus

monadPlus

object monadPlus extends ToMonadPlusOps[[F[_]] =>> MonadPlus[F]]
trait ToMonadPlusOps[[F[_]] =>> MonadPlus[F]]
trait ToApplicativePlusOps[[F[_]] =>> MonadPlus[F]]
trait ToPlusEmptyOps[[F[_]] =>> MonadPlus[F]]
trait ToPlusOps[[F[_]] =>> MonadPlus[F]]
trait ToPlusOps0[[F[_]] =>> MonadPlus[F]]
trait ToPlusOpsU[[F[_]] =>> MonadPlus[F]]
trait ToPlusEmptyOps0[[F[_]] =>> MonadPlus[F]]
trait ToPlusEmptyOpsU[[F[_]] =>> MonadPlus[F]]
trait ToApplicativePlusOps0[[F[_]] =>> MonadPlus[F]]
trait ToApplicativePlusOpsU[[F[_]] =>> MonadPlus[F]]
trait ToMonadOps[[F[_]] =>> MonadPlus[F]]
trait ToBindOps[[F[_]] =>> MonadPlus[F]]
trait ToBindOps0[[F[_]] =>> MonadPlus[F]]
trait ToBindOpsU[[F[_]] =>> MonadPlus[F]]
trait ToApplicativeOps[[F[_]] =>> MonadPlus[F]]
trait ToApplyOps[[F[_]] =>> MonadPlus[F]]
trait ToFunctorOps[[F[_]] =>> MonadPlus[F]]
trait ToInvariantFunctorOps[[F[_]] =>> MonadPlus[F]]
trait ToInvariantFunctorOps0[[F[_]] =>> MonadPlus[F]]
trait ToInvariantFunctorOpsU[[F[_]] =>> MonadPlus[F]]
trait ToFunctorOps0[[F[_]] =>> MonadPlus[F]]
trait ToFunctorOpsU[[F[_]] =>> MonadPlus[F]]
trait ToApplyOps0[[F[_]] =>> MonadPlus[F]]
trait ToApplyOpsU[[F[_]] =>> MonadPlus[F]]
trait ToApplicativeOps0[[F[_]] =>> MonadPlus[F]]
trait ToApplicativeOpsU[[F[_]] =>> MonadPlus[F]]
trait ToMonadOps0[[F[_]] =>> MonadPlus[F]]
trait ToMonadOpsU[[F[_]] =>> MonadPlus[F]]
trait ToMonadPlusOps0[[F[_]] =>> MonadPlus[F]]
trait ToMonadPlusOpsU[[F[_]] =>> MonadPlus[F]]
class Object
trait Matchable
class Any

Type members

Inherited classlikes

trait ApplicativeIdV[A]
Inherited from
ToApplicativeOps0
trait FunctorIdV[A]
Inherited from
ToFunctorOps0
trait LiftV[F[_], A, B]
Inherited from
ToFunctorOps0

Value members

Inherited methods

def ^[F[_], A, B, C](fa: => F[A], fb: => F[B])(f: (A, B) => C)(implicit F: MonadPlus[F]): F[C]
Inherited from
ToApplyOps0
def ^^[F[_], A, B, C, D](fa: => F[A], fb: => F[B], fc: => F[C])(f: (A, B, C) => D)(implicit F: MonadPlus[F]): F[D]
Inherited from
ToApplyOps0
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: MonadPlus[F]): F[E]
Inherited from
ToApplyOps0
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: MonadPlus[F]): F[I]
Inherited from
ToApplyOps0
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: MonadPlus[F]): F[J]
Inherited from
ToApplyOps0
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: MonadPlus[F]): F[K]
Inherited from
ToApplyOps0
def mempty[F[_], A](implicit F: PlusEmpty[F]): F[A]
Inherited from
ToPlusEmptyOps0

Implicits

Inherited implicits

implicit
def ApplicativeIdV[A](v: => A): ApplicativeIdV[A]
Inherited from
ToApplicativeOps0
implicit
def ToApplicativeOps[F[_], A](v: F[A])(implicit F0: MonadPlus[F]): ApplicativeOps[F, A]
Inherited from
ToApplicativeOps0
implicit
def ToApplicativeOpsUnapply[FA](v: FA)(implicit F0: Unapply[[F[_]] =>> MonadPlus[F], FA]): ApplicativeOps[M, A]
Inherited from
ToApplicativeOpsU
implicit
def ToApplicativePlusOps[F[_], A](v: F[A])(implicit F0: MonadPlus[F]): ApplicativePlusOps[F, A]
Inherited from
ToApplicativePlusOps0
implicit
def ToApplicativePlusOpsUnapply[FA](v: FA)(implicit F0: Unapply[[F[_]] =>> MonadPlus[F], FA]): ApplicativePlusOps[M, A]
Inherited from
ToApplicativePlusOpsU
implicit
def ToApplyOps[F[_], A](v: F[A])(implicit F0: MonadPlus[F]): ApplyOps[F, A]
Inherited from
ToApplyOps0
implicit
def ToApplyOpsUnapply[FA](v: FA)(implicit F0: Unapply[[F[_]] =>> MonadPlus[F], FA]): ApplyOps[M, A]
Inherited from
ToApplyOpsU
implicit
def ToBindOps[F[_], A](v: F[A])(implicit F0: MonadPlus[F]): BindOps[F, A]
Inherited from
ToBindOps0
implicit
def ToBindOpsUnapply[FA](v: FA)(implicit F0: Unapply[[F[_]] =>> MonadPlus[F], FA]): BindOps[M, A]
Inherited from
ToBindOpsU
implicit
def ToFunctorIdV[A](v: A): FunctorIdV[A]
Inherited from
ToFunctorOps0
implicit
def ToFunctorOps[F[_], A](v: F[A])(implicit F0: MonadPlus[F]): FunctorOps[F, A]
Inherited from
ToFunctorOps0
implicit
def ToFunctorOpsUnapply[FA](v: FA)(implicit F0: Unapply[[F[_]] =>> MonadPlus[F], FA]): FunctorOps[M, A]
Inherited from
ToFunctorOpsU
implicit
def ToInvariantApplicativeOps[F[_], A](v: F[A])(implicit F0: MonadPlus[F]): InvariantApplicativeOps[F, A]
implicit
def ToInvariantApplicativeOpsUnapply[FA](v: FA)(implicit F0: Unapply[[F[_]] =>> MonadPlus[F], FA]): InvariantApplicativeOps[M, A]
implicit
def ToInvariantFunctorOps[F[_], A](v: F[A])(implicit F0: MonadPlus[F]): InvariantFunctorOps[F, A]
implicit
def ToInvariantFunctorOpsUnapply[FA](v: FA)(implicit F0: Unapply[[F[_]] =>> MonadPlus[F], FA]): InvariantFunctorOps[M, A]
implicit
def ToLiftV[F[_], A, B](v: A => B): LiftV[F, A, B]
Inherited from
ToFunctorOps0
implicit
def ToMonadOps[F[_], A](v: F[A])(implicit F0: MonadPlus[F]): MonadOps[F, A]
Inherited from
ToMonadOps0
implicit
def ToMonadOpsUnapply[FA](v: FA)(implicit F0: Unapply[[F[_]] =>> MonadPlus[F], FA]): MonadOps[M, A]
Inherited from
ToMonadOpsU
implicit
def ToMonadPlusOps[F[_], A](v: F[A])(implicit F0: MonadPlus[F]): MonadPlusOps[F, A]
Inherited from
ToMonadPlusOps0
implicit
def ToMonadPlusOpsUnapply[FA](v: FA)(implicit F0: Unapply[[F[_]] =>> MonadPlus[F], FA]): MonadPlusOps[M, A]
Inherited from
ToMonadPlusOpsU
implicit
def ToPlusEmptyOps[F[_], A](v: F[A])(implicit F0: MonadPlus[F]): PlusEmptyOps[F, A]
Inherited from
ToPlusEmptyOps0
implicit
def ToPlusEmptyOpsUnapply[FA](v: FA)(implicit F0: Unapply[[F[_]] =>> MonadPlus[F], FA]): PlusEmptyOps[M, A]
Inherited from
ToPlusEmptyOpsU
implicit
def ToPlusOps[F[_], A](v: F[A])(implicit F0: MonadPlus[F]): PlusOps[F, A]
Inherited from
ToPlusOps0
implicit
def ToPlusOpsUnapply[FA](v: FA)(implicit F0: Unapply[[F[_]] =>> MonadPlus[F], FA]): PlusOps[M, A]
Inherited from
ToPlusOpsU