root/scalaz.syntax/monad

monad

object monad extends ToMonadOps[[F[_]] =>> Monad[F]]
trait ToMonadOps[[F[_]] =>> Monad[F]]
trait ToBindOps[[F[_]] =>> Monad[F]]
trait ToBindOps0[[F[_]] =>> Monad[F]]
trait ToBindOpsU[[F[_]] =>> Monad[F]]
trait ToApplicativeOps[[F[_]] =>> Monad[F]]
trait ToInvariantApplicativeOps[[F[_]] =>> Monad[F]]
trait ToInvariantApplicativeOps0[[F[_]] =>> Monad[F]]
trait ToInvariantApplicativeOpsU[[F[_]] =>> Monad[F]]
trait ToApplyOps[[F[_]] =>> Monad[F]]
trait ToFunctorOps[[F[_]] =>> Monad[F]]
trait ToInvariantFunctorOps[[F[_]] =>> Monad[F]]
trait ToInvariantFunctorOps0[[F[_]] =>> Monad[F]]
trait ToInvariantFunctorOpsU[[F[_]] =>> Monad[F]]
trait ToFunctorOps0[[F[_]] =>> Monad[F]]
trait ToFunctorOpsU[[F[_]] =>> Monad[F]]
trait ToApplyOps0[[F[_]] =>> Monad[F]]
trait ToApplyOpsU[[F[_]] =>> Monad[F]]
trait ToApplicativeOps0[[F[_]] =>> Monad[F]]
trait ToApplicativeOpsU[[F[_]] =>> Monad[F]]
trait ToMonadOps0[[F[_]] =>> Monad[F]]
trait ToMonadOpsU[[F[_]] =>> Monad[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: Monad[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: Monad[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: Monad[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: Monad[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: Monad[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: Monad[F]): F[K]
Inherited from
ToApplyOps0

Implicits

Inherited implicits

implicit
def ApplicativeIdV[A](v: => A): ApplicativeIdV[A]
Inherited from
ToApplicativeOps0
implicit
def ToApplicativeOps[F[_], A](v: F[A])(implicit F0: Monad[F]): ApplicativeOps[F, A]
Inherited from
ToApplicativeOps0
implicit
def ToApplicativeOpsUnapply[FA](v: FA)(implicit F0: Unapply[[F[_]] =>> Monad[F], FA]): ApplicativeOps[M, A]
Inherited from
ToApplicativeOpsU
implicit
def ToApplyOps[F[_], A](v: F[A])(implicit F0: Monad[F]): ApplyOps[F, A]
Inherited from
ToApplyOps0
implicit
def ToApplyOpsUnapply[FA](v: FA)(implicit F0: Unapply[[F[_]] =>> Monad[F], FA]): ApplyOps[M, A]
Inherited from
ToApplyOpsU
implicit
def ToBindOps[F[_], A](v: F[A])(implicit F0: Monad[F]): BindOps[F, A]
Inherited from
ToBindOps0
implicit
def ToBindOpsUnapply[FA](v: FA)(implicit F0: Unapply[[F[_]] =>> Monad[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: Monad[F]): FunctorOps[F, A]
Inherited from
ToFunctorOps0
implicit
def ToFunctorOpsUnapply[FA](v: FA)(implicit F0: Unapply[[F[_]] =>> Monad[F], FA]): FunctorOps[M, A]
Inherited from
ToFunctorOpsU
implicit
def ToInvariantApplicativeOps[F[_], A](v: F[A])(implicit F0: Monad[F]): InvariantApplicativeOps[F, A]
implicit
def ToInvariantApplicativeOpsUnapply[FA](v: FA)(implicit F0: Unapply[[F[_]] =>> Monad[F], FA]): InvariantApplicativeOps[M, A]
implicit
def ToInvariantFunctorOps[F[_], A](v: F[A])(implicit F0: Monad[F]): InvariantFunctorOps[F, A]
implicit
def ToInvariantFunctorOpsUnapply[FA](v: FA)(implicit F0: Unapply[[F[_]] =>> Monad[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: Monad[F]): MonadOps[F, A]
Inherited from
ToMonadOps0
implicit
def ToMonadOpsUnapply[FA](v: FA)(implicit F0: Unapply[[F[_]] =>> Monad[F], FA]): MonadOps[M, A]
Inherited from
ToMonadOpsU