MonadPartialOrderFunctions

class Object
trait Matchable
class Any

Implicits

Implicits

implicit
def id[M[_] : Monad]: MonadPartialOrder[M, M]
implicit
def transformer[M[_] : Monad, F[_[_], _] : MonadTrans]: MonadPartialOrder[[_] =>> F[M, _$36], M]

Inherited implicits

implicit
def transitive[G[_], F[_], E[_]](implicit e1: MonadPartialOrder[G, F], e2: MonadPartialOrder[F, E]): MonadPartialOrder[G, E]