object Day extends DayInstances
- Source
- Day.scala
- Alphabetic
- By Inheritance
- Day
- DayInstances
- DayInstances1
- DayInstances2
- DayInstances3
- DayInstances4
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
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
- implicit def applicativeDay[F[_], G[_]](implicit AF0: Applicative[F], AG0: Applicative[G]): Applicative[[γ$12$]Day[F, G, γ$12$]]
- Definition Classes
- DayInstances2
- 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[[γ$13$]Day[F, G, γ$13$]]
- Definition Classes
- DayInstances3
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- 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
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- implicit def cobindDay[F[_], G[_]]: Cobind[[γ$11$]Day[F, G, γ$11$]]
- Definition Classes
- DayInstances1
- implicit def cohoistDay[F[_]](implicit F: Comonad[F]): Cohoist[[X[_], Y]Day[F, X, Y]]
- Definition Classes
- DayInstances
- implicit def comonadDay[F[_], G[_]](implicit CF0: Comonad[F], CG0: Comonad[G]): Comonad[[γ$10$]Day[F, G, γ$10$]]
- Definition Classes
- DayInstances
- def dap[F[_], A](d: Day[F, F, A])(implicit AF: Applicative[F]): F[A]
Collapse to type constructor if both of them are the same
- def day[F[_], G[_], A, B](fab: F[(A) => B], ga: G[A]): Day[F, G, B]
Construct the Day convolution
- 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]
Collapse to second type constructor if first one is Identity
- def elim2[F[_], A](d: Day[F, Id.Id, A])(implicit FF: Functor[F]): F[A]
Collapse to first type constructor if second one is Identity
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- implicit def functorDay[F[_], G[_]]: Functor[[γ$14$]Day[F, G, γ$14$]]
- Definition Classes
- DayInstances4
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- 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
- Definition Classes
- Any
- 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()