scalaz

CoKleisliArrow

trait CoKleisliArrow[F[_]] extends Arrow[[α, β]CoKleisli[F, α, β]] with CoKleisliArrId[F] with CoKleisliCompose[F]

Source
Cokleisli.scala
Linear Supertypes
CoKleisliCompose[F], CoKleisliArrId[F], Arrow[[α, β]CoKleisli[F, α, β]], Category[[α, β]CoKleisli[F, α, β]], Compose[[α, β]CoKleisli[F, α, β]], ArrId[[α, β]CoKleisli[F, α, β]], AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. CoKleisliArrow
  2. CoKleisliCompose
  3. CoKleisliArrId
  4. Arrow
  5. Category
  6. Compose
  7. ArrId
  8. AnyRef
  9. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. trait CategoryLaw extends ComposeLaw

    Definition Classes
    Category

  2. trait ComposeLaw extends AnyRef

    Definition Classes
    Compose

Abstract Value Members

  1. implicit abstract def F: Comonad[F]

    Definition Classes
    CoKleisliArrow → CoKleisliCompose → CoKleisliArrId

Concrete Value Members

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

    Definition Classes
    AnyRef

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

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. def <<<[A, B, C](fbc: CoKleisli[F, B, C], fab: CoKleisli[F, A, B]): CoKleisli[F, A, C]

    Definition Classes
    Arrow

  5. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

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

    Definition Classes
    Any

  7. def >>>[A, B, C](fab: CoKleisli[F, A, B], fbc: CoKleisli[F, B, C]): CoKleisli[F, A, C]

    Definition Classes
    Arrow

  8. def arr[A, B](f: (A) ⇒ B): CoKleisli[F, A, B]

    Definition Classes
    CoKleisliArrow → Arrow

  9. val arrIdSyntax: ArrIdSyntax[[α, β]CoKleisli[F, α, β]]

    Definition Classes
    ArrId

  10. val arrowSyntax: ArrowSyntax[[α, β]CoKleisli[F, α, β]]

    Definition Classes
    Arrow

  11. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  12. def categoryLaw: CategoryLaw

    Definition Classes
    Category

  13. val categorySyntax: CategorySyntax[[α, β]CoKleisli[F, α, β]]

    Definition Classes
    Category

  14. def clone(): AnyRef

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

  15. def combine[A, B, C](fab: CoKleisli[F, A, B], fac: CoKleisli[F, A, C]): CoKleisli[F, A, (B, C)]

    Definition Classes
    Arrow

  16. def compose[A, B, C](f: CoKleisli[F, B, C], g: CoKleisli[F, A, B]): CoKleisli[F, A, C]

    Definition Classes
    CoKleisliCompose → Compose

  17. def composeLaw: ComposeLaw

    Definition Classes
    Compose

  18. val composeSyntax: ComposeSyntax[[α, β]CoKleisli[F, α, β]]

    Definition Classes
    Compose

  19. def covariantInstance[C]: Applicative[[α]CoKleisli[F, C, α]]

    Definition Classes
    Arrow

  20. def empty: PlusEmpty[[α]CoKleisli[F, α, α]]

    Definition Classes
    Category

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

    Definition Classes
    AnyRef

  22. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  23. def finalize(): Unit

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

  24. def first[A, B, C](f: CoKleisli[F, A, B]): CoKleisli[F, (A, C), (B, C)]

    Definition Classes
    CoKleisliArrow → Arrow

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

    Definition Classes
    AnyRef → Any

  26. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  27. def id[A]: CoKleisli[F, A, A]

    Definition Classes
    CoKleisliArrId → ArrId

  28. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  29. def mapfst[A, B, C](fab: CoKleisli[F, A, B])(f: (C) ⇒ A): CoKleisli[F, C, B]

    Definition Classes
    Arrow

  30. def mapsnd[A, B, C](fab: CoKleisli[F, A, B])(f: (B) ⇒ C): CoKleisli[F, A, C]

    Definition Classes
    Arrow

  31. def monoid[A]: Monoid[CoKleisli[F, A, A]]

    Definition Classes
    Category

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

    Definition Classes
    AnyRef

  33. final def notify(): Unit

    Definition Classes
    AnyRef

  34. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  35. def plus: Plus[[α]CoKleisli[F, α, α]]

    Definition Classes
    Compose

  36. def product[A, B](fab: CoKleisli[F, A, B]): CoKleisli[F, (A, A), (B, B)]

    Definition Classes
    Arrow

  37. def second[A, B, C](f: CoKleisli[F, A, B]): CoKleisli[F, (C, A), (C, B)]

    Definition Classes
    Arrow

  38. def semigroup[A]: Semigroup[CoKleisli[F, A, A]]

    Definition Classes
    Compose

  39. def splitA[A, B, C, D](fab: CoKleisli[F, A, B], fcd: CoKleisli[F, C, D]): CoKleisli[F, (A, C), (B, D)]

    Definition Classes
    Arrow

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

    Definition Classes
    AnyRef

  41. def toString(): String

    Definition Classes
    AnyRef → Any

  42. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from CoKleisliCompose[F]

Inherited from CoKleisliArrId[F]

Inherited from Arrow[[α, β]CoKleisli[F, α, β]]

Inherited from Category[[α, β]CoKleisli[F, α, β]]

Inherited from Compose[[α, β]CoKleisli[F, α, β]]

Inherited from ArrId[[α, β]CoKleisli[F, α, β]]

Inherited from AnyRef

Inherited from Any

Ungrouped