scalaz

Coyoneda

object Coyoneda extends CoyonedaInstances

Source
Coyoneda.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Coyoneda
  2. CoyonedaInstances
  3. CoyonedaInstances0
  4. CoyonedaInstances1
  5. CoyonedaInstances2
  6. CoyonedaInstances3
  7. CoyonedaInstances4
  8. CoyonedaInstances5
  9. CoyonedaInstances6
  10. CoyonedaInstances7
  11. CoyonedaInstances8
  12. CoyonedaInstances9
  13. CoyonedaInstances10
  14. AnyRef
  15. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. type Aux[F[_], A, B] = Coyoneda[F, A] { type I = B }

    Lift the I type member to a parameter.

    Lift the I type member to a parameter. It is usually more convenient to use Aux than a structural type.

  2. final class By[F[_]] extends AnyRef

    See by method.

  3. type CoyonedaF[F[_]] = AnyRef { type A[α] = scalaz.Coyoneda[F,α] }

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. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  6. def apply[F[_], A, B](fa: F[A])(_k: (A) ⇒ B): Aux[F, B, A]

    Like lift(fa).map(_k).

  7. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  8. def by[F[_]]: By[F]

    Partial application of type parameters to apply.

    Partial application of type parameters to apply. It is often more convenient to invoke Coyoneda.by[F]{x: X => ...} then Coyoneda[...](...){x => ...}.

    Annotations
    @inline()
  9. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  10. implicit def coyonedaApplicative[F[_]](implicit arg0: Applicative[F]): Applicative[[α]Coyoneda[F, α]]

    Definition Classes
    CoyonedaInstances7
  11. implicit def coyonedaApplicativePlus[F[_]](implicit arg0: ApplicativePlus[F]): ApplicativePlus[[α]Coyoneda[F, α]]

    Definition Classes
    CoyonedaInstances4
  12. implicit def coyonedaApply[F[_]](implicit arg0: Apply[F]): Apply[[α]Coyoneda[F, α]]

    Definition Classes
    CoyonedaInstances8
  13. implicit def coyonedaBind[F[_]](implicit arg0: Bind[F]): Bind[[α]Coyoneda[F, α]]

    Definition Classes
    CoyonedaInstances6
  14. implicit def coyonedaCobind[F[_]](implicit arg0: Cobind[F]): Cobind[[α]Coyoneda[F, α]]

    Definition Classes
    CoyonedaInstances1
  15. implicit def coyonedaComonad[F[_]](implicit arg0: Comonad[F]): Comonad[[α]Coyoneda[F, α]]

    Definition Classes
    CoyonedaInstances0
  16. implicit def coyonedaContravariant[F[_]](implicit arg0: Contravariant[F], arg1: Functor[F]): Contravariant[[α]Coyoneda[F, α]]

    Definition Classes
    CoyonedaInstances9
  17. implicit def coyonedaEqual[A, F[_]](implicit A: Equal[F[A]], F: Functor[F]): Equal[Coyoneda[F, A]]

    Definition Classes
    CoyonedaInstances1
  18. implicit def coyonedaFoldable[F[_]](implicit arg0: Foldable[F]): Foldable[[α]Coyoneda[F, α]]

    Definition Classes
    CoyonedaInstances10
  19. implicit def coyonedaFoldable1[F[_]](implicit arg0: Foldable1[F]): Foldable1[[α]Coyoneda[F, α]]

    Definition Classes
    CoyonedaInstances8
  20. implicit def coyonedaFunctor[F[_]]: Functor[[α]Coyoneda[F, α]]

    Coyoneda[F,_] is a functor for any F

    Coyoneda[F,_] is a functor for any F

    Definition Classes
    CoyonedaInstances10
  21. implicit def coyonedaMonad[F[_]](implicit arg0: Monad[F]): Monad[[α]Coyoneda[F, α]]

    Definition Classes
    CoyonedaInstances5
  22. implicit def coyonedaMonadPlus[F[_]](implicit arg0: MonadPlus[F]): MonadPlus[[α]Coyoneda[F, α]]

    Definition Classes
    CoyonedaInstances3
  23. implicit def coyonedaOrder[A, F[_]](implicit A: Order[F[A]], F: Functor[F]): Order[Coyoneda[F, A]]

    Definition Classes
    CoyonedaInstances
  24. implicit def coyonedaPlus[F[_]](implicit arg0: Plus[F], arg1: Functor[F]): Plus[[α]Coyoneda[F, α]]

    Definition Classes
    CoyonedaInstances6
  25. implicit def coyonedaPlusEmpty[F[_]](implicit arg0: PlusEmpty[F], arg1: Functor[F]): PlusEmpty[[α]Coyoneda[F, α]]

    Definition Classes
    CoyonedaInstances5
  26. implicit def coyonedaTraverse[F[_]](implicit arg0: Traverse[F]): Traverse[[α]Coyoneda[F, α]]

    Definition Classes
    CoyonedaInstances9
  27. implicit def coyonedaTraverse1[F[_]](implicit arg0: Traverse1[F]): Traverse1[[α]Coyoneda[F, α]]

    Definition Classes
    CoyonedaInstances2
  28. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  29. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  30. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  31. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  32. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  33. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  34. def iso[F[_]](implicit arg0: Functor[F]): Isomorphism.<~>[[α]Coyoneda[F, α], F]

  35. def lift[F[_], A](fa: F[A]): Coyoneda[F, A]

    F[A] converts to Coyoneda[F,A] for any F

  36. def liftT[F[_], G[_]](fg: ~>[F, G]): ~>[[α]Coyoneda[F, α], [α]Coyoneda[G, α]]

    Turns a natural transformation F ~> G into CF ~> CG

  37. def liftTF[F[_], G[_]](fg: ~>[F, G])(implicit arg0: Functor[G]): ~>[[α]Coyoneda[F, α], G]

    Turns a natural transformation F ~> G into CF ~> G

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

    Definition Classes
    AnyRef
  39. final def notify(): Unit

    Definition Classes
    AnyRef
  40. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  41. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  42. def toString(): String

    Definition Classes
    AnyRef → Any
  43. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  44. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  45. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from CoyonedaInstances

Inherited from CoyonedaInstances0

Inherited from CoyonedaInstances1

Inherited from CoyonedaInstances2

Inherited from CoyonedaInstances3

Inherited from CoyonedaInstances4

Inherited from CoyonedaInstances5

Inherited from CoyonedaInstances6

Inherited from CoyonedaInstances7

Inherited from CoyonedaInstances8

Inherited from CoyonedaInstances9

Inherited from CoyonedaInstances10

Inherited from AnyRef

Inherited from Any

Ungrouped