scalaz-core/scalaz.syntax/MonadPlusOps

MonadPlusOps

final
class MonadPlusOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to MonadPlus

trait Ops[F[A]]
class Object
trait Matchable
class Any

Value members

Concrete methods

def filter(f: A => Boolean): F[A]
final
def lefts[G[_, _], B, C](implicit ev: A === G[B, C], G: Bifoldable[G]): F[B]
final
def rights[G[_, _], B, C](implicit ev: A === G[B, C], G: Bifoldable[G]): F[C]
final
def separate[G[_, _], B, C](implicit ev: A === G[B, C], G: Bifoldable[G]): (F[B], F[C])
def unite[T[_], B](implicit ev: A === T[B], T: Foldable[T]): F[B]
final
def uniteU[T](implicit T: Unapply[[F[_]] =>> Foldable[F], A]): F[A]
def withFilter(f: A => Boolean): F[A]

Concrete fields

val self: F[A]

Implicits

Implicits

implicit
val F: MonadPlus[F]