object Coproduct extends CoproductInstances with Serializable
- Source
- Coproduct.scala
- Alphabetic
- By Inheritance
- Coproduct
- Serializable
- CoproductInstances
- CoproductInstances0
- CoproductInstances1
- CoproductInstances2
- CoproductInstances3
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- final class CoproductLeft[G[_]] extends AnyRef
- final class CoproductRight[F[_]] extends AnyRef
- type TupleCoglorified[F[_], G[_], A] = Coproduct[F, G, A]
- Definition Classes
- CoproductInstances3
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- implicit def coproductCobind[F[_], G[_]](implicit F0: Cobind[F], G0: Cobind[G]): Cobind[[γ$7$]Coproduct[F, G, γ$7$]]
- Definition Classes
- CoproductInstances1
- implicit def coproductComonad[F[_], G[_]](implicit F0: Comonad[F], G0: Comonad[G]): Comonad[[γ$9$]Coproduct[F, G, γ$9$]]
- Definition Classes
- CoproductInstances
- implicit def coproductContravariant[F[_], G[_]](implicit F0: Contravariant[F], G0: Contravariant[G]): Contravariant[[γ$5$]Coproduct[F, G, γ$5$]]
- Definition Classes
- CoproductInstances2
- implicit def coproductEqual[F[_], G[_], A](implicit E: Equal[\/[F[A], G[A]]]): Equal[Coproduct[F, G, A]]
- Definition Classes
- CoproductInstances3
- implicit def coproductFoldable[F[_], G[_]](implicit F0: Foldable[F], G0: Foldable[G]): Foldable[[γ$4$]Coproduct[F, G, γ$4$]]
- Definition Classes
- CoproductInstances3
- implicit def coproductFoldable1[F[_], G[_]](implicit F0: Foldable1[F], G0: Foldable1[G]): Foldable1[[γ$6$]Coproduct[F, G, γ$6$]]
- Definition Classes
- CoproductInstances2
- implicit def coproductFunctor[F[_], G[_]](implicit F0: Functor[F], G0: Functor[G]): Functor[[γ$3$]Coproduct[F, G, γ$3$]]
- Definition Classes
- CoproductInstances3
- def coproductIso[F[_], G[_]]: Isomorphism.<~>[[γ$1$]Coproduct[F, G, γ$1$], [A]\/[F[A], G[A]]]
- implicit def coproductTraverse[F[_], G[_]](implicit F0: Traverse[F], G0: Traverse[G]): Traverse[[γ$8$]Coproduct[F, G, γ$8$]]
- Definition Classes
- CoproductInstances0
- implicit def coproductTraverse1[F[_], G[_]](implicit F0: Traverse1[F], G0: Traverse1[G]): Traverse1[[γ$0$]Coproduct[F, G, γ$0$]]
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def left[G[_]]: CoproductLeft[G]
Like
Coproduct.leftc
, but specify only theG
Like
Coproduct.leftc
, but specify only theG
Coproduct.left[Option](List(1)) // Coproduct[List, Option, Int](-\/(List(1)))
Example: - def leftc[F[_], G[_], A](x: F[A]): Coproduct[F, G, A]
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def right[F[_]]: CoproductRight[F]
Like
Coproduct.rightc
, but specify only theF
- def rightc[F[_], G[_], A](x: G[A]): Coproduct[F, G, A]
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()