object Day extends DayInstances
- Source
- Day.scala
- Alphabetic
- By Inheritance
- Day
- DayInstances
- DayInstances1
- DayInstances2
- DayInstances3
- DayInstances4
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
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[[γ$11$]Day[F, G, γ$11$]]
- 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[[γ$12$]Day[F, G, γ$12$]]
- 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[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
implicit
def
cobindDay[F[_], G[_]]: Cobind[[γ$10$]Day[F, G, γ$10$]]
- Definition Classes
- DayInstances1
-
implicit
def
cohoistDay[F[_]](implicit F: Comonad[F]): Cohoist[[X[_$1], Y]Day[F, X, Y]]
- Definition Classes
- DayInstances
-
implicit
def
comonadDay[F[_], G[_]](implicit CF0: Comonad[F], CG0: Comonad[G]): Comonad[[γ$9$]Day[F, G, γ$9$]]
- 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: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
implicit
def
functorDay[F[_], G[_]]: Functor[[γ$13$]Day[F, G, γ$13$]]
- Definition Classes
- DayInstances4
-
final
def
getClass(): Class[_]
- 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( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )