cats-mtl/cats.mtl/MonadPartialOrder

MonadPartialOrder

object MonadPartialOrder
Companion:
class
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[F[_], G[_]](implicit mpo: MonadPartialOrder[F, G]): MonadPartialOrder[F, G]

Implicits

Inherited implicits

implicit def monadPartialOrderForEitherT[F[_], E](implicit F: Monad[F]): MonadPartialOrder[F, [_] =>> EitherT[F, E, _$10]]
Inherited from:
MonadPartialOrderInstances (hidden)
implicit def monadPartialOrderForIorT[F[_], E : Semigroup](implicit evidence$3: Semigroup[E], F: Monad[F]): MonadPartialOrder[F, [_] =>> IorT[F, E, _$22]]
Inherited from:
MonadPartialOrderInstances (hidden)
implicit def monadPartialOrderForKleisli[F[_], R](implicit F: Monad[F]): MonadPartialOrder[F, [_] =>> Kleisli[F, R, _$7]]
Inherited from:
MonadPartialOrderInstances (hidden)
implicit def monadPartialOrderForOptionT[F[_]](implicit F: Monad[F]): MonadPartialOrder[F, [_] =>> OptionT[F, _$16]]
Inherited from:
MonadPartialOrderInstances (hidden)
implicit def monadPartialOrderForRWST[F[_], E, L : Monoid, S](implicit evidence$2: Monoid[L], F: Monad[F]): MonadPartialOrder[F, [_] =>> ReaderWriterStateT[F, E, L, S, _$19]]
Inherited from:
MonadPartialOrderInstances (hidden)
implicit def monadPartialOrderForStateT[F[_], S](implicit F: Monad[F]): MonadPartialOrder[F, [_] =>> StateT[F, S, _$4]]
Inherited from:
MonadPartialOrderInstances (hidden)
implicit def monadPartialOrderForWriterT[F[_], L : Monoid](implicit evidence$1: Monoid[L], F: Monad[F]): MonadPartialOrder[F, [_] =>> WriterT[F, L, _$13]]
Inherited from:
MonadPartialOrderInstances (hidden)