Packages

object Day extends DayInstances

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Day
  2. DayInstances
  3. DayInstances1
  4. DayInstances2
  5. DayInstances3
  6. DayInstances4
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. implicit def applicativeDay[F[_], G[_]](implicit AF0: Applicative[F], AG0: Applicative[G]): Applicative[[γ$11$]Day[F, G, γ$11$]]
    Definition Classes
    DayInstances2
  5. def apply[F[_], G[_], A, XX, YY](fa: F[XX], gb: G[YY], abc: (XX, YY) ⇒ A): Day[F, G, A]
  6. implicit def applyDay[F[_], G[_]](implicit AF0: Apply[F], AG0: Apply[G]): Apply[[γ$12$]Day[F, G, γ$12$]]
    Definition Classes
    DayInstances3
  7. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  8. def assoc[F[_], G[_], H[_], A, B](d: Day[F, [γ$0$]Day[G, H, γ$0$], A]): Day[[γ$1$]Day[F, G, γ$1$], H, A]
  9. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  10. implicit def cobindDay[F[_], G[_]]: Cobind[[γ$10$]Day[F, G, γ$10$]]
    Definition Classes
    DayInstances1
  11. implicit def cohoistDay[F[_]](implicit F: Comonad[F]): Cohoist[[X[_$1], Y]Day[F, X, Y]]
    Definition Classes
    DayInstances
  12. implicit def comonadDay[F[_], G[_]](implicit CF0: Comonad[F], CG0: Comonad[G]): Comonad[[γ$9$]Day[F, G, γ$9$]]
    Definition Classes
    DayInstances
  13. 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

  14. def day[F[_], G[_], A, B](fab: F[(A) ⇒ B], ga: G[A]): Day[F, G, B]

    Construct the Day convolution

  15. def disassoc[F[_], G[_], H[_], A](d: Day[[γ$3$]Day[F, G, γ$3$], H, A]): Day[F, [γ$4$]Day[G, H, γ$4$], A]
  16. 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

  17. 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

  18. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  19. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  20. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  21. implicit def functorDay[F[_], G[_]]: Functor[[γ$13$]Day[F, G, γ$13$]]
    Definition Classes
    DayInstances4
  22. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  23. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  24. def intro1[F[_], A](fa: F[A]): Day[Id.Id, F, A]
  25. def intro2[F[_], A](fa: F[A]): Day[F, Id.Id, A]
  26. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  27. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  28. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  29. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  30. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  31. def toString(): String
    Definition Classes
    AnyRef → Any
  32. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  33. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  34. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from DayInstances

Inherited from DayInstances1

Inherited from DayInstances2

Inherited from DayInstances3

Inherited from DayInstances4

Inherited from AnyRef

Inherited from Any

Ungrouped