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[[β]Coyoneda[F, β]]

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

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

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

    Permalink
    Definition Classes
    CoyonedaInstances6
  12. implicit def coyonedaCobind[F[_]](implicit arg0: Cobind[F]): Cobind[[β]Coyoneda[F, β]]

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

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

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

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

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

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

    Permalink

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Permalink

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

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

    Permalink

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

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

    Permalink

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

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

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

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

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

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

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  43. 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