scalaz/scalaz/IsomorphismEmpty

IsomorphismEmpty

trait IsomorphismEmpty[F[_], G[_]] extends PlusEmpty[F] with IsomorphismPlus[F, G]
trait IsomorphismPlus[F, G]
trait PlusEmpty[F]
trait Plus[F]
class Object
trait Matchable
class Any

Type members

Inherited classlikes

trait EmptyLaw
Inherited from
PlusEmpty
trait PlusLaw
Inherited from
Plus

Value members

Concrete methods

def empty[A]: F[A]

Inherited 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
Inherited from
PlusEmpty
def iso: IsoFunctor[F, G]
Inherited from
IsomorphismPlus
def monoid[A]: Monoid[F[A]]
Inherited from
PlusEmpty
def plus[A](a: F[A], b: => F[A]): F[A]
Inherited from
IsomorphismPlus
def plusEmptyLaw: EmptyLaw
Inherited from
PlusEmpty
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 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 from
PlusEmpty
def semigroup[A]: Semigroup[F[A]]
Inherited from
Plus

Inherited fields

val plusSyntax: PlusSyntax[F]
Inherited from
Plus

Implicits

Implicits

implicit
def G: PlusEmpty[G]