scalaz-core/scalaz/Coproduct

Coproduct

object Coproduct extends CoproductInstances
Companion
class
trait Product
trait Mirror
class Object
trait Matchable
class Any

Type members

Classlikes

final
class CoproductLeft[G[_]]
final
class CoproductRight[F[_]]

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from
Mirror
type TupleCoglorified[F[_], G[_], A] = Coproduct[F, G, A]
Inherited from
CoproductInstances3

Value members

Concrete methods

def coproductIso[F[_], G[_]]: IsoFunctor[[_] =>> Coproduct[F, G, _$25], [A] =>> F[A] \/ G[A]]
def left[G[_]]: CoproductLeft[G]

Like Coproduct.leftc, but specify only the G

Like Coproduct.leftc, but specify only the G

Example
Coproduct.left[Option](List(1)) // Coproduct[List, Option, Int](-\/(List(1)))
def leftc[F[_], G[_], A](x: F[A]): Coproduct[F, G, A]
def right[F[_]]: CoproductRight[F]

Like Coproduct.rightc, but specify only the F

Like Coproduct.rightc, but specify only the F

def rightc[F[_], G[_], A](x: G[A]): Coproduct[F, G, A]

Implicits

Implicits

implicit
def coproductTraverse1[F[_], G[_]](implicit F0: Traverse1[F], G0: Traverse1[G]): Traverse1[[_] =>> Coproduct[F, G, _$22]]

Inherited implicits

implicit
def coproductCobind[F[_], G[_]](implicit F0: Cobind[F], G0: Cobind[G]): Cobind[[_] =>> Coproduct[F, G, _$56]]
Inherited from
CoproductInstances1
implicit
def coproductComonad[F[_], G[_]](implicit F0: Comonad[F], G0: Comonad[G]): Comonad[[_] =>> Coproduct[F, G, _$62]]
Inherited from
CoproductInstances
implicit
def coproductContravariant[F[_], G[_]](implicit F0: Contravariant[F], G0: Contravariant[G]): Contravariant[[_] =>> Coproduct[F, G, _$50]]
Inherited from
CoproductInstances2
implicit
def coproductEqual[F[_], G[_], A](implicit E: Equal[F[A] \/ G[A]]): Equal[Coproduct[F, G, A]]
Inherited from
CoproductInstances3
implicit
def coproductFoldable[F[_], G[_]](implicit F0: Foldable[F], G0: Foldable[G]): Foldable[[_] =>> Coproduct[F, G, _$47]]
Inherited from
CoproductInstances3
implicit
def coproductFoldable1[F[_], G[_]](implicit F0: Foldable1[F], G0: Foldable1[G]): Foldable1[[_] =>> Coproduct[F, G, _$53]]
Inherited from
CoproductInstances2
implicit
def coproductFunctor[F[_], G[_]](implicit F0: Functor[F], G0: Functor[G]): Functor[[_] =>> Coproduct[F, G, _$44]]
Inherited from
CoproductInstances3
implicit
def coproductTraverse[F[_], G[_]](implicit F0: Traverse[F], G0: Traverse[G]): Traverse[[_] =>> Coproduct[F, G, _$59]]
Inherited from
CoproductInstances0