object Coproduct extends CoproductInstances with Serializable
- Source
- Coproduct.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Coproduct
- Serializable
- Serializable
- CoproductInstances
- CoproductInstances0
- CoproductInstances1
- CoproductInstances2
- CoproductInstances3
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
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( ... ) @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: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- 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 theGLike
Coproduct.leftc, but specify only theGCoproduct.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( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()