Packages

object Coyoneda extends CoyonedaInstances

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
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.

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def apply[F[_], A, B](fa: F[A])(_k: (A) ⇒ B): Aux[F, B, A]

    Like lift(fa).map(_k).

  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. 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()
  7. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  8. implicit def coyonedaApplicative[F[_]](implicit arg0: Applicative[F]): Applicative[[β$30$]Coyoneda[F, β$30$]]
    Definition Classes
    CoyonedaInstances7
  9. implicit def coyonedaApplicativePlus[F[_]](implicit arg0: ApplicativePlus[F]): ApplicativePlus[[β$20$]Coyoneda[F, β$20$]]
    Definition Classes
    CoyonedaInstances4
  10. implicit def coyonedaApply[F[_]](implicit arg0: Apply[F]): Apply[[β$33$]Coyoneda[F, β$33$]]
    Definition Classes
    CoyonedaInstances8
  11. implicit def coyonedaBind[F[_]](implicit arg0: Bind[F]): Bind[[β$26$]Coyoneda[F, β$26$]]
    Definition Classes
    CoyonedaInstances6
  12. implicit def coyonedaBindRec[F[_]](implicit arg0: BindRec[F]): BindRec[[β$10$]Coyoneda[F, β$10$]]
    Definition Classes
    CoyonedaInstances
  13. implicit def coyonedaCobind[F[_]](implicit arg0: Cobind[F]): Cobind[[β$14$]Coyoneda[F, β$14$]]
    Definition Classes
    CoyonedaInstances1
  14. implicit def coyonedaComonad[F[_]](implicit arg0: Comonad[F]): Comonad[[β$12$]Coyoneda[F, β$12$]]
    Definition Classes
    CoyonedaInstances0
  15. implicit def coyonedaContravariant[F[_]](implicit arg0: Contravariant[F], arg1: Functor[F]): Contravariant[[β$37$]Coyoneda[F, β$37$]]
    Definition Classes
    CoyonedaInstances9
  16. implicit def coyonedaEqual[A, F[_]](implicit A: Equal[F[A]], F: Functor[F]): Equal[Coyoneda[F, A]]
    Definition Classes
    CoyonedaInstances1
  17. implicit def coyonedaFoldable[F[_]](implicit arg0: Foldable[F]): Foldable[[β$39$]Coyoneda[F, β$39$]]
    Definition Classes
    CoyonedaInstances10
  18. implicit def coyonedaFoldable1[F[_]](implicit arg0: Foldable1[F]): Foldable1[[β$32$]Coyoneda[F, β$32$]]
    Definition Classes
    CoyonedaInstances8
  19. implicit def coyonedaFunctor[F[_]]: Functor[[β$40$]Coyoneda[F, β$40$]]

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

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

    Definition Classes
    CoyonedaInstances10
  20. implicit def coyonedaMonad[F[_]](implicit arg0: Monad[F]): Monad[[β$22$]Coyoneda[F, β$22$]]
    Definition Classes
    CoyonedaInstances5
  21. implicit def coyonedaMonadPlus[F[_]](implicit arg0: MonadPlus[F]): MonadPlus[[β$18$]Coyoneda[F, β$18$]]
    Definition Classes
    CoyonedaInstances3
  22. implicit def coyonedaOrder[A, F[_]](implicit A: Order[F[A]], F: Functor[F]): Order[Coyoneda[F, A]]
    Definition Classes
    CoyonedaInstances
  23. implicit def coyonedaPlus[F[_]](implicit arg0: Plus[F], arg1: Functor[F]): Plus[[β$28$]Coyoneda[F, β$28$]]
    Definition Classes
    CoyonedaInstances6
  24. implicit def coyonedaPlusEmpty[F[_]](implicit arg0: PlusEmpty[F], arg1: Functor[F]): PlusEmpty[[β$24$]Coyoneda[F, β$24$]]
    Definition Classes
    CoyonedaInstances5
  25. implicit def coyonedaTraverse[F[_]](implicit arg0: Traverse[F]): Traverse[[β$35$]Coyoneda[F, β$35$]]
    Definition Classes
    CoyonedaInstances9
  26. implicit def coyonedaTraverse1[F[_]](implicit arg0: Traverse1[F]): Traverse1[[β$16$]Coyoneda[F, β$16$]]
    Definition Classes
    CoyonedaInstances2
  27. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  28. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  29. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  30. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  31. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  32. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  33. def iso[F[_]](implicit arg0: Functor[F]): Isomorphism.<~>[[β$2$]Coyoneda[F, β$2$], F]
  34. def lift[F[_], A](fa: F[A]): Coyoneda[F, A]

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

  35. def liftT[F[_], G[_]](fg: ~>[F, G]): ~>[[β$5$]Coyoneda[F, β$5$], [β$6$]Coyoneda[G, β$6$]]

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

  36. def liftTF[F[_], G[_]](fg: ~>[F, G])(implicit arg0: Functor[G]): ~>[[β$4$]Coyoneda[F, β$4$], G]

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

  37. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  38. final def notify(): Unit
    Definition Classes
    AnyRef
  39. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  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 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