blob: ab1907426e0024ed48ab55f25fc19127e7b5c0f9 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
package xyz.driver.core
import java.util.Calendar
object date {
type Month = Int @@ Month.type
private[core] def tagMonth(value: Int): Month = value.asInstanceOf[Month]
object Month {
val JANUARY = tagMonth(Calendar.JANUARY)
val FEBRUARY = tagMonth(Calendar.FEBRUARY)
val MARCH = tagMonth(Calendar.MARCH)
val APRIL = tagMonth(Calendar.APRIL)
val MAY = tagMonth(Calendar.MAY)
val JUNE = tagMonth(Calendar.JUNE)
val JULY = tagMonth(Calendar.JULY)
val AUGUST = tagMonth(Calendar.AUGUST)
val SEPTEMBER = tagMonth(Calendar.SEPTEMBER)
val OCTOBER = tagMonth(Calendar.OCTOBER)
val DECEMBER = tagMonth(Calendar.DECEMBER)
}
final case class Date(year: Int, month: Month, day: Int)
}
|