scalaz-core/scalaz/Hoist

Hoist

trait Hoist[F[_[_], _]] extends MonadTrans[F]
Companion
object
trait MonadTrans[F]
class Object
trait Matchable
class Any

Type members

Inherited classlikes

trait MonadTransLaw
Inherited from
MonadTrans

Value members

Abstract methods

def hoist[M[_] : Monad, N[_]](f: NaturalTransformation[M, N]): NaturalTransformation[[_] =>> F[M, _$22], [_] =>> F[N, _$23]]

Inherited 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.

Inherited from
MonadTrans
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.

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

Implicits

Inherited implicits

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

The scalaz.Monad implied by this transformer.

The scalaz.Monad implied by this transformer.

Inherited from
MonadTrans