scalaz/scalaz/MonadPartialOrder

MonadPartialOrder

trait MonadPartialOrder[G[_], F[_]] extends NaturalTransformation[F, G]

This trait establishes a partial order among monads. A "bigger" monad is one that does all of the effects of the "smaller" as part of its execution.

Companion
object
class Object
trait Matchable
class Any

Value members

Abstract methods

def promote[A](m2: F[A]): G[A]

Concrete methods

def apply[A](m2: F[A]): G[A]
def compose[M[_]](mo: MonadPartialOrder[M, G]): MonadPartialOrder[M, F]
def transform[T[_[_], _] : MonadTrans]: MonadPartialOrder[[_] =>> T[G, _$26], F]

Inherited methods

Implicits

Implicits

implicit
val MF: Monad[F]
implicit
val MG: Monad[G]