Type Members
-
type
Aux[F[_], A, B] = Coyoneda[F, A] { type I = B }
-
final
class
By[F[_]] extends AnyRef
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
def
apply[F[_], A, B](fa: F[A])(_k: (A) ⇒ B): Aux[F, B, A]
-
final
def
asInstanceOf[T0]: T0
-
def
by[F[_]]: By[F]
-
def
clone(): AnyRef
-
implicit
def
coyonedaApplicative[F[_]](implicit arg0: Applicative[F]): Applicative[[β$30$]Coyoneda[F, β$30$]]
-
implicit
def
coyonedaApplicativePlus[F[_]](implicit arg0: ApplicativePlus[F]): ApplicativePlus[[β$20$]Coyoneda[F, β$20$]]
-
implicit
def
coyonedaApply[F[_]](implicit arg0: Apply[F]): Apply[[β$33$]Coyoneda[F, β$33$]]
-
implicit
def
coyonedaBind[F[_]](implicit arg0: Bind[F]): Bind[[β$26$]Coyoneda[F, β$26$]]
-
implicit
def
coyonedaBindRec[F[_]](implicit arg0: BindRec[F]): BindRec[[β$10$]Coyoneda[F, β$10$]]
-
implicit
def
coyonedaCobind[F[_]](implicit arg0: Cobind[F]): Cobind[[β$14$]Coyoneda[F, β$14$]]
-
implicit
def
coyonedaComonad[F[_]](implicit arg0: Comonad[F]): Comonad[[β$12$]Coyoneda[F, β$12$]]
-
implicit
def
coyonedaContravariant[F[_]](implicit arg0: Contravariant[F], arg1: Functor[F]): Contravariant[[β$37$]Coyoneda[F, β$37$]]
-
implicit
def
coyonedaEqual[A, F[_]](implicit A: Equal[F[A]], F: Functor[F]): Equal[Coyoneda[F, A]]
-
implicit
def
coyonedaFoldable[F[_]](implicit arg0: Foldable[F]): Foldable[[β$39$]Coyoneda[F, β$39$]]
-
implicit
def
coyonedaFoldable1[F[_]](implicit arg0: Foldable1[F]): Foldable1[[β$32$]Coyoneda[F, β$32$]]
-
implicit
def
coyonedaFunctor[F[_]]: Functor[[β$40$]Coyoneda[F, β$40$]]
-
implicit
def
coyonedaMonad[F[_]](implicit arg0: Monad[F]): Monad[[β$22$]Coyoneda[F, β$22$]]
-
implicit
def
coyonedaMonadPlus[F[_]](implicit arg0: MonadPlus[F]): MonadPlus[[β$18$]Coyoneda[F, β$18$]]
-
implicit
def
coyonedaOrder[A, F[_]](implicit A: Order[F[A]], F: Functor[F]): Order[Coyoneda[F, A]]
-
implicit
def
coyonedaPlus[F[_]](implicit arg0: Plus[F], arg1: Functor[F]): Plus[[β$28$]Coyoneda[F, β$28$]]
-
implicit
def
coyonedaPlusEmpty[F[_]](implicit arg0: PlusEmpty[F], arg1: Functor[F]): PlusEmpty[[β$24$]Coyoneda[F, β$24$]]
-
implicit
def
coyonedaTraverse[F[_]](implicit arg0: Traverse[F]): Traverse[[β$35$]Coyoneda[F, β$35$]]
-
implicit
def
coyonedaTraverse1[F[_]](implicit arg0: Traverse1[F]): Traverse1[[β$16$]Coyoneda[F, β$16$]]
-
-
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
-
def
lift[F[_], A](fa: F[A]): Coyoneda[F, A]
-
def
liftT[F[_], G[_]](fg: ~>[F, G]): ~>[[β$5$]Coyoneda[F, β$5$], [β$6$]Coyoneda[G, β$6$]]
-
def
liftTF[F[_], G[_]](fg: ~>[F, G])(implicit arg0: Functor[G]): ~>[[β$4$]Coyoneda[F, β$4$], G]
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit