object Coyoneda extends CoyonedaInstances
- Source
- Coyoneda.scala
- Alphabetic
- By Inheritance
- Coyoneda
- CoyonedaInstances
- CoyonedaInstances0
- CoyonedaInstances1
- CoyonedaInstances2
- CoyonedaInstances3
- CoyonedaInstances4
- CoyonedaInstances5
- CoyonedaInstances6
- CoyonedaInstances7
- CoyonedaInstances8
- CoyonedaInstances9
- CoyonedaInstances10
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##(): Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def apply[F[_], A, B](fa: F[A])(_k: (A) => B): Aux[F, B, A]
Like
lift(fa).map(_k)
. - final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- 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 invokeCoyoneda.by[F]{x: X => ...}
thenCoyoneda[...](...){x => ...}
.- Annotations
- @inline()
- def clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- implicit def coyonedaApplicative[F[_]](implicit arg0: Applicative[F]): Applicative[[β$30$]Coyoneda[F, β$30$]]
- Definition Classes
- CoyonedaInstances7
- implicit def coyonedaApplicativePlus[F[_]](implicit arg0: ApplicativePlus[F]): ApplicativePlus[[β$20$]Coyoneda[F, β$20$]]
- Definition Classes
- CoyonedaInstances4
- implicit def coyonedaApply[F[_]](implicit arg0: Apply[F]): Apply[[β$33$]Coyoneda[F, β$33$]]
- Definition Classes
- CoyonedaInstances8
- implicit def coyonedaBind[F[_]](implicit arg0: Bind[F]): Bind[[β$26$]Coyoneda[F, β$26$]]
- Definition Classes
- CoyonedaInstances6
- implicit def coyonedaBindRec[F[_]](implicit arg0: BindRec[F]): BindRec[[β$10$]Coyoneda[F, β$10$]]
- Definition Classes
- CoyonedaInstances
- implicit def coyonedaCobind[F[_]](implicit arg0: Cobind[F]): Cobind[[β$14$]Coyoneda[F, β$14$]]
- Definition Classes
- CoyonedaInstances1
- implicit def coyonedaComonad[F[_]](implicit arg0: Comonad[F]): Comonad[[β$12$]Coyoneda[F, β$12$]]
- Definition Classes
- CoyonedaInstances0
- implicit def coyonedaContravariant[F[_]](implicit arg0: Contravariant[F], arg1: Functor[F]): Contravariant[[β$37$]Coyoneda[F, β$37$]]
- Definition Classes
- CoyonedaInstances9
- implicit def coyonedaEqual[A, F[_]](implicit A: Equal[F[A]], F: Functor[F]): Equal[Coyoneda[F, A]]
- Definition Classes
- CoyonedaInstances1
- implicit def coyonedaFoldable[F[_]](implicit arg0: Foldable[F]): Foldable[[β$39$]Coyoneda[F, β$39$]]
- Definition Classes
- CoyonedaInstances10
- implicit def coyonedaFoldable1[F[_]](implicit arg0: Foldable1[F]): Foldable1[[β$32$]Coyoneda[F, β$32$]]
- Definition Classes
- CoyonedaInstances8
- implicit def coyonedaFunctor[F[_]]: Functor[[β$40$]Coyoneda[F, β$40$]]
Coyoneda[F,_]
is a functor for anyF
Coyoneda[F,_]
is a functor for anyF
- Definition Classes
- CoyonedaInstances10
- implicit def coyonedaMonad[F[_]](implicit arg0: Monad[F]): Monad[[β$22$]Coyoneda[F, β$22$]]
- Definition Classes
- CoyonedaInstances5
- implicit def coyonedaMonadPlus[F[_]](implicit arg0: MonadPlus[F]): MonadPlus[[β$18$]Coyoneda[F, β$18$]]
- Definition Classes
- CoyonedaInstances3
- implicit def coyonedaOrder[A, F[_]](implicit A: Order[F[A]], F: Functor[F]): Order[Coyoneda[F, A]]
- Definition Classes
- CoyonedaInstances
- implicit def coyonedaPlus[F[_]](implicit arg0: Plus[F], arg1: Functor[F]): Plus[[β$28$]Coyoneda[F, β$28$]]
- Definition Classes
- CoyonedaInstances6
- implicit def coyonedaPlusEmpty[F[_]](implicit arg0: PlusEmpty[F], arg1: Functor[F]): PlusEmpty[[β$24$]Coyoneda[F, β$24$]]
- Definition Classes
- CoyonedaInstances5
- implicit def coyonedaTraverse[F[_]](implicit arg0: Traverse[F]): Traverse[[β$35$]Coyoneda[F, β$35$]]
- Definition Classes
- CoyonedaInstances9
- implicit def coyonedaTraverse1[F[_]](implicit arg0: Traverse1[F]): Traverse1[[β$16$]Coyoneda[F, β$16$]]
- Definition Classes
- CoyonedaInstances2
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def iso[F[_]](implicit arg0: Functor[F]): Isomorphism.<~>[[β$2$]Coyoneda[F, β$2$], F]
- def lift[F[_], A](fa: F[A]): Coyoneda[F, A]
F[A]
converts toCoyoneda[F,A]
for anyF
- def liftT[F[_], G[_]](fg: ~>[F, G]): ~>[[β$5$]Coyoneda[F, β$5$], [β$6$]Coyoneda[G, β$6$]]
Turns a natural transformation F ~> G into CF ~> CG
- 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
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()