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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
|
-- Utility module and UI widget for handling release dates.
--
-- Release dates are integers with the following format: 0, 1 or yyyymmdd
-- Special values
-- 0 -> unknown
-- 1 -> "today" (only used as filter)
-- 99999999 -> TBA
-- yyyy9999 -> year known, month & day unknown
-- yyyymm99 -> year & month known, day unknown
module Lib.RDate exposing (..)
import Html exposing (..)
import Html.Attributes exposing (..)
import Html.Events exposing (..)
import Date
import Lib.Html exposing (..)
import Gen.Types as GT
import Gen.Api as GApi
type alias RDate = Int
type alias RDateComp =
{ y : Int
, m : Int
, d : Int
}
expand : RDate -> RDateComp
expand r =
{ y = r // 10000
, m = modBy 100 (r // 100)
, d = modBy 100 r
}
compact : RDateComp -> RDate
compact r = r.y * 10000 + r.m * 100 + r.d
fromDate : Date.Date -> RDateComp
fromDate d =
{ y = Date.year d
, m = Date.monthNumber d
, d = Date.day d
}
maxDayInMonth : Int -> Int -> Int
maxDayInMonth y m = Date.fromCalendarDate y (Date.numberToMonth m) 1 |> Date.add Date.Months 1 |> Date.add Date.Days -1 |> Date.day
normalize : RDateComp -> RDateComp
normalize r =
if r.y == 0 then { y = 0, m = 0, d = clamp 0 1 r.d }
else if r.y == 9999 then { y = 9999, m = 99, d = 99 }
else if r.m == 0 || r.m == 99 then { y = r.y, m = 99, d = 99 }
else if r.d == 0 then { r | d = 99 }
else if r.d /= 99 && r.d > 28 then { r | d = Basics.min r.d (maxDayInMonth r.y r.m) } -- Make sure the day field is in range
else r
format : RDateComp -> String
format date =
case (date.y, date.m, date.d) of
( 0, 0, 1) -> "today"
( 0, _, _) -> "unknown"
(9999, _, _) -> "TBA"
( y, 99, 99) -> String.fromInt y
( y, m, 99) -> String.fromInt y ++ "-" ++ (String.padLeft 2 '0' <| String.fromInt m)
( y, m, d) -> String.fromInt y ++ "-" ++ (String.padLeft 2 '0' <| String.fromInt m) ++ "-" ++ (String.padLeft 2 '0' <| String.fromInt d)
display : Date.Date -> RDate -> Html msg
display today d =
let fmt = expand d |> format
future = d > (fromDate today |> compact)
in if future then b [ class "future" ] [ text fmt ] else text fmt
monthList : List String
monthList =
[ "Jan"
, "Feb"
, "Mar"
, "Apr"
, "May"
, "Jun"
, "Jul"
, "Aug"
, "Sep"
, "Oct"
, "Nov"
, "Dec"
]
monthSelect : List (Int, String)
monthSelect = List.indexedMap (\m s -> (m+1, String.fromInt (m+1) ++ " (" ++ s ++ ")")) monthList
-- Input widget.
view : RDate -> Bool -> Bool -> (RDate -> msg) -> Html msg
view ro permitUnknown permitToday msg =
let r = expand ro
range from to f = List.range from to |> List.map (\n -> (f n |> normalize |> compact, String.fromInt n))
yl = (if permitToday then [(1, "Today" )] else [])
++ (if permitUnknown then [(0, "Unknown")] else [])
++ [(99999999, "TBA")]
++ List.reverse (range 1980 (GT.curYear + 5) (\n -> {r|y=n}))
ml = ({r|m=99} |> normalize |> compact, "- month -") :: List.map (\(m,s) -> (compact (normalize {r|m=m}), s)) monthSelect
dl = ({r|d=99} |> normalize |> compact, "- day -") :: range 1 (maxDayInMonth r.y r.m) (\n -> {r|d=n})
in div []
[ inputSelect "" ro msg [ style "width" "100px" ] yl
, if r.y == 0 || r.y == 9999 then text "" else inputSelect "" ro msg [ style "width" "90px" ] ml
, if r.m == 0 || r.m == 99 then text "" else inputSelect "" ro msg [ style "width" "90px" ] dl
]
-- Handy function for formatting release info as a string
-- (Typically used in selection boxes)
-- (Why is that in this module, you ask? Well, where else do I put it?)
showrel : GApi.ApiReleases -> String
showrel r = "[" ++ (format (expand r.released)) ++ " " ++ (String.join "," r.lang) ++ "] " ++ r.title ++ " (" ++ r.id ++ ")"
|
