PlusEmpty

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

Universally quantified scalaz.Monoid.

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

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

def unfoldlPsum[S, A](seed: S)(f: S => Maybe[(S, F[A])]): F[A]
def unfoldrPsum[S, A](seed: S)(f: S => Maybe[(F[A], S)]): F[A]

Inherited methods

def plus[A](a: F[A], b: => F[A]): F[A]
Inherited from
Plus
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
def unfoldlPsumOpt[S, A](seed: S)(f: S => Maybe[(S, F[A])]): Maybe[F[A]]

Unfold seed to the left and sum using plus. Plus instances with right absorbing elements may override this method to not unfold more than is necessary to determine the result.

Unfold seed to the left and sum using plus. Plus instances with right absorbing elements may override this method to not unfold more than is necessary to determine the result.

Inherited from
Plus
def unfoldrPsumOpt[S, A](seed: S)(f: S => Maybe[(F[A], S)]): Maybe[F[A]]

Unfold seed to the right and sum using plus. Plus instances with left absorbing elements may override this method to not unfold more than is necessary to determine the result.

Unfold seed to the right and sum using plus. Plus instances with left absorbing elements may override this method to not unfold more than is necessary to determine the result.

Inherited from
Plus

Concrete fields

Inherited fields

Inherited from
Plus