blob: f0b9bf69b17680e4756fb5f8c411e9943fe49e3c (
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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
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) {
override def toString = f"$year%04d-${month + 1}%02d-$day%02d"
}
object Date {
implicit def dateOrdering: Ordering[Date] = Ordering.fromLessThan { (date1, date2) =>
if (date1.year != date2.year) {
date1.year < date2.year
} else if (date1.month != date2.month) {
date1.month < date2.month
} else {
date1.day < date2.day
}
}
def fromString(dateString: String): Option[Date] = {
util.Try(dateString.split("-").map(_.toInt)).toOption collect {
case Array(year, month, day) if (1 to 12 contains month) && (1 to 31 contains day) =>
Date(year, tagMonth(month - 1), day)
}
}
}
}
|