object Coproduct extends CoproductFunctions with CoproductInstances0
- Source
- Coproduct.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Coproduct
- CoproductInstances0
- CoproductInstances
- CoproductFunctions
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
-
type
TupleCoglorified[F[+_], G[+_], A] = Coproduct[F, G, A]
- Definition Classes
- CoproductInstances
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
- def apply[F[+_], G[+_], A](x: \/[F[A], G[A]]): Coproduct[F, G, A]
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
implicit
def
coproductCobind[F[+_], G[+_]](implicit F0: Cobind[F], G0: Cobind[G]): Cobind[[α]Coproduct[F, G, α]]
- Definition Classes
- CoproductInstances0
-
implicit
def
coproductCojoin[F[+_], G[+_]](implicit F0: Cojoin[F], G0: Cojoin[G]): Cojoin[[α]Coproduct[F, G, α]]
- Definition Classes
- CoproductInstances0
-
implicit
def
coproductContravariant[F[+_], G[+_]](implicit F0: Contravariant[F], G0: Contravariant[G]): Contravariant[[α]Coproduct[F, G, α]]
- Definition Classes
- CoproductInstances
-
implicit
def
coproductFoldable[F[+_], G[+_]](implicit F0: Foldable[F], G0: Foldable[G]): Foldable[[α]Coproduct[F, G, α]]
- Definition Classes
- CoproductInstances
-
implicit
def
coproductFunctor[F[+_], G[+_]](implicit F0: Functor[F], G0: Functor[G]): Functor[[α]Coproduct[F, G, α]]
- Definition Classes
- CoproductInstances
- def coproductIso[F[+_], G[+_]]: Isomorphism.<~>[[a]Coproduct[F, G, a], [a]\/[F[a], G[a]]]
-
implicit
def
coproductTraverse[F[+_], G[+_]](implicit F0: Traverse[F], G0: Traverse[G]): Traverse[[α]Coproduct[F, G, α]]
- Definition Classes
- CoproductInstances0
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
leftc[F[+_], G[+_], A](x: F[A]): Coproduct[F, G, A]
- Definition Classes
- CoproductFunctions
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
-
def
rightc[F[+_], G[+_], A](x: G[A]): Coproduct[F, G, A]
- Definition Classes
- CoproductFunctions
-
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( ... )