Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
implicit
def
applicativeDay[F[_], G[_]](implicit AF0: Applicative[F], AG0: Applicative[G]): Applicative[[γ$11$]Day[F, G, γ$11$]]
-
def
apply[F[_], G[_], A, XX, YY](fa: F[XX], gb: G[YY], abc: (XX, YY) ⇒ A): Day[F, G, A]
-
implicit
def
applyDay[F[_], G[_]](implicit AF0: Apply[F], AG0: Apply[G]): Apply[[γ$12$]Day[F, G, γ$12$]]
-
final
def
asInstanceOf[T0]: T0
-
def
assoc[F[_], G[_], H[_], A, B](d: Day[F, [γ$0$]Day[G, H, γ$0$], A]): Day[[γ$1$]Day[F, G, γ$1$], H, A]
-
def
clone(): AnyRef
-
implicit
def
cobindDay[F[_], G[_]]: Cobind[[γ$10$]Day[F, G, γ$10$]]
-
implicit
def
cohoistDay[F[_]](implicit F: Comonad[F]): Cohoist[[X[_$1], Y]Day[F, X, Y]]
-
implicit
def
comonadDay[F[_], G[_]](implicit CF0: Comonad[F], CG0: Comonad[G]): Comonad[[γ$9$]Day[F, G, γ$9$]]
-
def
dap[F[_], A](d: Day[F, F, A])(implicit AF: Applicative[F]): F[A]
-
def
day[F[_], G[_], A, B](fab: F[(A) ⇒ B], ga: G[A]): Day[F, G, B]
-
def
disassoc[F[_], G[_], H[_], A](d: Day[[γ$3$]Day[F, G, γ$3$], H, A]): Day[F, [γ$4$]Day[G, H, γ$4$], A]
-
def
elim1[F[_], A](d: Day[Id.Id, F, A])(implicit FF: Functor[F]): F[A]
-
def
elim2[F[_], A](d: Day[F, Id.Id, A])(implicit FF: Functor[F]): F[A]
-
-
-
def
finalize(): Unit
-
implicit
def
functorDay[F[_], G[_]]: Functor[[γ$13$]Day[F, G, γ$13$]]
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
def
intro1[F[_], A](fa: F[A]): Day[Id.Id, F, A]
-
def
intro2[F[_], A](fa: F[A]): Day[F, Id.Id, A]
-
final
def
isInstanceOf[T0]: Boolean
-
-
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