Object/Class

scalaz

Coyoneda

Related Docs: class Coyoneda | package scalaz

Permalink

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
Visibility
  1. Public
  2. All

Type Members

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

    Permalink

    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

    Permalink

    See by method.

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. def apply[F[_], A, B](fa: F[A])(_k: (A) ⇒ B): Aux[F, B, A]

    Permalink

    Like lift(fa).map(_k).

  5. final def asInstanceOf[T0]: T0

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

    Permalink

    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

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  8. implicit def coyonedaApplicative[F[_]](implicit arg0: Applicative[F]): Applicative[[β$30$]Coyoneda[F, β$30$]]

    Permalink
    Definition Classes
    CoyonedaInstances7
  9. implicit def coyonedaApplicativePlus[F[_]](implicit arg0: ApplicativePlus[F]): ApplicativePlus[[β$20$]Coyoneda[F, β$20$]]

    Permalink
    Definition Classes
    CoyonedaInstances4
  10. implicit def coyonedaApply[F[_]](implicit arg0: Apply[F]): Apply[[β$33$]Coyoneda[F, β$33$]]

    Permalink
    Definition Classes
    CoyonedaInstances8
  11. implicit def coyonedaBind[F[_]](implicit arg0: Bind[F]): Bind[[β$26$]Coyoneda[F, β$26$]]

    Permalink
    Definition Classes
    CoyonedaInstances6
  12. implicit def coyonedaBindRec[F[_]](implicit arg0: BindRec[F]): BindRec[[β$10$]Coyoneda[F, β$10$]]

    Permalink
    Definition Classes
    CoyonedaInstances
  13. implicit def coyonedaCobind[F[_]](implicit arg0: Cobind[F]): Cobind[[β$14$]Coyoneda[F, β$14$]]

    Permalink
    Definition Classes
    CoyonedaInstances1
  14. implicit def coyonedaComonad[F[_]](implicit arg0: Comonad[F]): Comonad[[β$12$]Coyoneda[F, β$12$]]

    Permalink
    Definition Classes
    CoyonedaInstances0
  15. implicit def coyonedaContravariant[F[_]](implicit arg0: Contravariant[F], arg1: Functor[F]): Contravariant[[β$37$]Coyoneda[F, β$37$]]

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

    Permalink
    Definition Classes
    CoyonedaInstances1
  17. implicit def coyonedaFoldable[F[_]](implicit arg0: Foldable[F]): Foldable[[β$39$]Coyoneda[F, β$39$]]

    Permalink
    Definition Classes
    CoyonedaInstances10
  18. implicit def coyonedaFoldable1[F[_]](implicit arg0: Foldable1[F]): Foldable1[[β$32$]Coyoneda[F, β$32$]]

    Permalink
    Definition Classes
    CoyonedaInstances8
  19. implicit def coyonedaFunctor[F[_]]: Functor[[β$40$]Coyoneda[F, β$40$]]

    Permalink

    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$]]

    Permalink
    Definition Classes
    CoyonedaInstances5
  21. implicit def coyonedaMonadPlus[F[_]](implicit arg0: MonadPlus[F]): MonadPlus[[β$18$]Coyoneda[F, β$18$]]

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

    Permalink
    Definition Classes
    CoyonedaInstances
  23. implicit def coyonedaPlus[F[_]](implicit arg0: Plus[F], arg1: Functor[F]): Plus[[β$28$]Coyoneda[F, β$28$]]

    Permalink
    Definition Classes
    CoyonedaInstances6
  24. implicit def coyonedaPlusEmpty[F[_]](implicit arg0: PlusEmpty[F], arg1: Functor[F]): PlusEmpty[[β$24$]Coyoneda[F, β$24$]]

    Permalink
    Definition Classes
    CoyonedaInstances5
  25. implicit def coyonedaTraverse[F[_]](implicit arg0: Traverse[F]): Traverse[[β$35$]Coyoneda[F, β$35$]]

    Permalink
    Definition Classes
    CoyonedaInstances9
  26. implicit def coyonedaTraverse1[F[_]](implicit arg0: Traverse1[F]): Traverse1[[β$16$]Coyoneda[F, β$16$]]

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

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

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

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

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

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

    Permalink
    Definition Classes
    Any
  33. def iso[F[_]](implicit arg0: Functor[F]): Isomorphism.<~>[[β$2$]Coyoneda[F, β$2$], F]

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

    Permalink

    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$]]

    Permalink

    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]

    Permalink

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

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

    Permalink
    Definition Classes
    AnyRef
  38. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  39. final def notifyAll(): Unit

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

    Permalink
    Definition Classes
    AnyRef
  41. def toString(): String

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

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

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

    Permalink
    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