Packages

t

scalaz

IsomorphismIsEmpty

trait IsomorphismIsEmpty[F[_], G[_]] extends IsEmpty[F] with IsomorphismEmpty[F, G]

Source
Isomorphism.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. IsomorphismIsEmpty
  2. IsomorphismEmpty
  3. IsomorphismPlus
  4. IsEmpty
  5. PlusEmpty
  6. Plus
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. trait IsEmptyLaw extends EmptyLaw
    Definition Classes
    IsEmpty
  2. trait PlusLaw extends AnyRef
    Definition Classes
    Plus
  3. trait EmptyLaw extends PlusLaw
    Definition Classes
    PlusEmpty

Abstract Value Members

  1. implicit abstract def G: IsEmpty[G]
  2. abstract def iso: Isomorphism.<~>[F, G]
    Definition Classes
    IsomorphismPlus

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  6. 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
    PlusEmptyPlus
  7. def empty[A]: F[A]
    Definition Classes
    IsomorphismEmptyPlusEmpty
  8. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  9. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  10. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  11. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  12. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  13. def isEmpty[A](fa: F[A]): Boolean
    Definition Classes
    IsomorphismIsEmptyIsEmpty
  14. def isEmptyLaw: IsEmptyLaw
    Definition Classes
    IsEmpty
  15. val isEmptySyntax: IsEmptySyntax[F]
    Definition Classes
    IsEmpty
  16. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  17. def monoid[A]: Monoid[F[A]]
    Definition Classes
    PlusEmpty
  18. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  19. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  20. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  21. def plus[A](a: F[A], b: ⇒ F[A]): F[A]
    Definition Classes
    IsomorphismPlusPlus
  22. def plusEmptyLaw: EmptyLaw
    Definition Classes
    PlusEmpty
  23. val plusEmptySyntax: PlusEmptySyntax[F]
    Definition Classes
    PlusEmpty
  24. def plusLaw: PlusLaw
    Definition Classes
    Plus
  25. val plusSyntax: PlusSyntax[F]
    Definition Classes
    Plus
  26. 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

    Definition Classes
    PlusEmpty
  27. 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

    Definition Classes
    Plus
  28. def semigroup[A]: Semigroup[F[A]]
    Definition Classes
    Plus
  29. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  30. def toString(): String
    Definition Classes
    AnyRef → Any
  31. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  32. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  33. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from IsomorphismEmpty[F, G]

Inherited from IsomorphismPlus[F, G]

Inherited from IsEmpty[F]

Inherited from PlusEmpty[F]

Inherited from Plus[F]

Inherited from AnyRef

Inherited from Any

Ungrouped