MonadPartialOrderFunctions1

sealed abstract
class Object
trait Matchable
class Any

Implicits

Implicits

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