scalaz-core/scalaz/MonadTrans

MonadTrans

trait MonadTrans[F[_[_], _]]

Class of monad transformers.

Companion
object
class Object
trait Matchable
class Any
trait Hoist[F]

Type members

Classlikes

trait MonadTransLaw

Value members

Abstract methods

def liftM[G[_] : Monad, A](a: G[A]): F[G, A]

A component of Applicative.point for the transformer stack.

A component of Applicative.point for the transformer stack.

Concrete methods

final
def liftMU[GA](a: GA)(implicit G: Unapply[[F[_]] =>> Monad[F], GA]): F[M, A]

A version of liftM that infers the type constructor G.

A version of liftM that infers the type constructor G.

def mapF[G[_], A, B](fa: F[G, A])(f: A => G[B])(implicit M: Monad[G]): F[G, B]
def wrapEffect[G[_] : Monad, A](a: G[F[G, A]]): F[G, A]

Implicits

Implicits

implicit
def apply[G[_] : Monad]: Monad[[_] =>> F[G, _$7]]

The scalaz.Monad implied by this transformer.

The scalaz.Monad implied by this transformer.