MonadPartialOrder

object MonadPartialOrder extends MonadPartialOrderInstances
Companion
class
trait MonadPartialOrderInstances
class Object
trait Matchable
class Any

Value members

Concrete methods

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

Implicits

Inherited implicits

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