scalaz/scalaz/PlusEmpty

PlusEmpty

trait PlusEmpty[F[_]] extends Plus[F]

Universally quantified scalaz.Monoid.

Companion
object
trait Plus[F]
class Object
trait Matchable
class Any
trait MonadPlus[F]
trait IsEmpty[F]

Type members

Classlikes

trait EmptyLaw extends PlusLaw

Inherited classlikes

trait PlusLaw
Inherited from
Plus

Value members

Abstract methods

def empty[A]: F[A]

Concrete methods

override
def compose[G[_]]: PlusEmpty[[α] =>> F[G[α]]]

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

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

Definition Classes
def monoid[A]: Monoid[F[A]]
def product[G[_]](implicit G0: PlusEmpty[G]): PlusEmpty[[α] =>> (F[α], G[α])]

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

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

Inherited methods

def plus[A](a: F[A], b: => F[A]): F[A]
Inherited from
Plus
def plusLaw: PlusLaw
Inherited from
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

Inherited from
Plus
def semigroup[A]: Semigroup[F[A]]
Inherited from
Plus

Concrete fields

Inherited fields

val plusSyntax: PlusSyntax[F]
Inherited from
Plus