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( ... )
-
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: Any): 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[_]
- Definition Classes
- AnyRef → Any
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
-
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
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
-
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( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )