Trait/Object

scalaz

Codivide

Related Docs: object Codivide | package scalaz

Permalink

trait Codivide[F[_]] extends CoapplicativeCodivide[F]

Coproduct analogue of Divide

Self Type
Codivide[F]
Source
Codivide.scala
Linear Supertypes
CoapplicativeCodivide[F], AnyRef, Any
Known Subclasses
ContravariantDerives, IsomorphismCodivide, IsomorphismContravariantDerives
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Codivide
  2. CoapplicativeCodivide
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def codivide1[Z, A1](a1: ⇒ F[A1])(f: (Z) ⇒ A1): F[Z]

    Permalink

  2. abstract def codivide2[Z, A1, A2](a1: ⇒ F[A1], a2: ⇒ F[A2])(f: (Z) ⇒ \/[A1, A2]): F[Z]

    Permalink

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  5. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  6. val coapplicativeCodivideSyntax: CoapplicativeCodivideSyntax[F]

    Permalink
    Definition Classes
    CoapplicativeCodivide

  7. def codivide3[Z, A1, A2, A3](a1: ⇒ F[A1], a2: ⇒ F[A2], a3: ⇒ F[A3])(f: (Z) ⇒ \/[A1, \/[A2, A3]]): F[Z]

    Permalink

  8. def codivide4[Z, A1, A2, A3, A4](a1: ⇒ F[A1], a2: ⇒ F[A2], a3: ⇒ F[A3], a4: ⇒ F[A4])(f: (Z) ⇒ \/[A1, \/[A2, \/[A3, A4]]]): F[Z]

    Permalink

  9. val codivideSyntax: CodivideSyntax[F]

    Permalink

  10. final def codividing2[Z, A1, A2](f: (Z) ⇒ \/[A1, A2])(implicit fa1: F[A1], fa2: F[A2]): F[Z]

    Permalink

  11. final def codividing3[Z, A1, A2, A3](f: (Z) ⇒ \/[A1, \/[A2, A3]])(implicit fa1: F[A1], fa2: F[A2], fa3: F[A3]): F[Z]

    Permalink

  12. final def codividing4[Z, A1, A2, A3, A4](f: (Z) ⇒ \/[A1, \/[A2, \/[A3, A4]]])(implicit fa1: F[A1], fa2: F[A2], fa3: F[A3], fa4: F[A4]): F[Z]

    Permalink

  13. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  14. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  15. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  16. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  17. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  18. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  19. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  20. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  21. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  22. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  23. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  24. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  25. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  26. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  27. def xcoderiving1[Z, A1](f: (A1) ⇒ Z, g: (Z) ⇒ A1)(implicit a1: F[A1]): F[Z]

    Permalink
    Definition Classes
    CoapplicativeCodivide

  28. def xcoderiving2[Z, A1, A2](f: (\/[A1, A2]) ⇒ Z, g: (Z) ⇒ \/[A1, A2])(implicit a1: F[A1], a2: F[A2]): F[Z]

    Permalink
    Definition Classes
    CoapplicativeCodivide

  29. def xcoderiving3[Z, A1, A2, A3](f: (\/[A1, \/[A2, A3]]) ⇒ Z, g: (Z) ⇒ \/[A1, \/[A2, A3]])(implicit a1: F[A1], a2: F[A2], a3: F[A3]): F[Z]

    Permalink
    Definition Classes
    CoapplicativeCodivide

  30. def xcoderiving4[Z, A1, A2, A3, A4](f: (\/[A1, \/[A2, \/[A3, A4]]]) ⇒ Z, g: (Z) ⇒ \/[A1, \/[A2, \/[A3, A4]]])(implicit a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4]): F[Z]

    Permalink
    Definition Classes
    CoapplicativeCodivide

  31. def xcoproduct1[Z, A1](a1: ⇒ F[A1])(f: (A1) ⇒ Z, g: (Z) ⇒ A1): F[Z]

    Permalink
    Definition Classes
    Codivide → CoapplicativeCodivide

  32. def xcoproduct2[Z, A1, A2](a1: ⇒ F[A1], a2: ⇒ F[A2])(f: (\/[A1, A2]) ⇒ Z, g: (Z) ⇒ \/[A1, A2]): F[Z]

    Permalink
    Definition Classes
    Codivide → CoapplicativeCodivide

  33. def xcoproduct3[Z, A1, A2, A3](a1: ⇒ F[A1], a2: ⇒ F[A2], a3: ⇒ F[A3])(f: (\/[A1, \/[A2, A3]]) ⇒ Z, g: (Z) ⇒ \/[A1, \/[A2, A3]]): F[Z]

    Permalink
    Definition Classes
    Codivide → CoapplicativeCodivide

  34. def xcoproduct4[Z, A1, A2, A3, A4](a1: ⇒ F[A1], a2: ⇒ F[A2], a3: ⇒ F[A3], a4: ⇒ F[A4])(f: (\/[A1, \/[A2, \/[A3, A4]]]) ⇒ Z, g: (Z) ⇒ \/[A1, \/[A2, \/[A3, A4]]]): F[Z]

    Permalink
    Definition Classes
    Codivide → CoapplicativeCodivide

Inherited from CoapplicativeCodivide[F]

Inherited from AnyRef

Inherited from Any

Ungrouped