scalaz/scalaz/Plus

Plus

trait Plus[F[_]]

Universally quantified scalaz.Semigroup.

Companion
object
class Object
trait Matchable
class Any
trait IsomorphismPlus[F, G]
trait PlusEmpty[F]
trait MonadPlus[F]
trait IsEmpty[F]
Plus[F]

Type members

Classlikes

trait PlusLaw

Value members

Abstract methods

def plus[A](a: F[A], b: => F[A]): F[A]

Concrete methods

def compose[G[_]]: Plus[[α] =>> F[G[α]]]

The composition of Plus F and G, [x]F[G[x]], is a Plus

The composition of Plus F and G, [x]F[G[x]], is a Plus

def product[G[_]](implicit G0: Plus[G]): Plus[[α] =>> (F[α], G[α])]

The product of Plus F and G, [x](F[x], G[x]]), is a Plus

The product of Plus F and G, [x](F[x], G[x]]), is a Plus

def semigroup[A]: Semigroup[F[A]]

Concrete fields