scalaz/scalaz/IsomorphismIsEmpty

IsomorphismIsEmpty

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

Type members

Inherited classlikes

trait EmptyLaw
Inherited from
PlusEmpty
trait IsEmptyLaw
Inherited from
IsEmpty
trait PlusLaw
Inherited from
Plus

Value members

Concrete methods

def isEmpty[A](fa: F[A]): Boolean

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 empty[A]: F[A]
Inherited from
IsomorphismEmpty
def isEmptyLaw: IsEmptyLaw
Inherited from
IsEmpty
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 isEmptySyntax: IsEmptySyntax[F]
Inherited from
IsEmpty
val plusSyntax: PlusSyntax[F]
Inherited from
Plus

Implicits

Implicits

implicit
def G: IsEmpty[G]