2019-11-02 19:34:25 +01:00
|
|
|
defmodule Search.DateParser do
|
|
|
|
import NimbleParsec
|
|
|
|
|
|
|
|
defp build_datetime(naive, tz_off, tz_hour, tz_minute) do
|
|
|
|
tz_hour =
|
|
|
|
tz_hour
|
|
|
|
|> Integer.to_string()
|
|
|
|
|> String.pad_leading(2, "0")
|
|
|
|
|
|
|
|
tz_minute =
|
|
|
|
tz_minute
|
|
|
|
|> Integer.to_string()
|
|
|
|
|> String.pad_leading(2, "0")
|
|
|
|
|
|
|
|
iso8601_string = "#{NaiveDateTime.to_iso8601(naive)}#{tz_off}#{tz_hour}#{tz_minute}"
|
|
|
|
|
|
|
|
# Unbelievable that there is no way to build this with integer arguments.
|
|
|
|
# WTF, Elixir?
|
2020-01-01 07:00:34 +01:00
|
|
|
case DateTime.from_iso8601(iso8601_string) do
|
|
|
|
{:ok, datetime, _offset} ->
|
|
|
|
{:ok, datetime}
|
2019-11-02 19:34:25 +01:00
|
|
|
|
2020-01-01 07:00:34 +01:00
|
|
|
_ ->
|
|
|
|
:error
|
|
|
|
end
|
2019-11-02 19:34:25 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
defp timezone_bounds([]), do: ["+", 0, 0]
|
|
|
|
defp timezone_bounds([tz_off, tz_hour]), do: [tz_off, tz_hour, 0]
|
|
|
|
defp timezone_bounds([tz_off, tz_hour, tz_minute]), do: [tz_off, tz_hour, tz_minute]
|
|
|
|
|
2020-01-01 07:00:34 +01:00
|
|
|
defp days_in_month(year, month) when month in 1..12 do
|
|
|
|
Calendar.ISO.days_in_month(year, month)
|
|
|
|
end
|
2020-01-11 05:20:19 +01:00
|
|
|
|
2020-01-01 07:00:34 +01:00
|
|
|
defp days_in_month(_year, _month) do
|
|
|
|
0
|
|
|
|
end
|
|
|
|
|
|
|
|
defp lower_upper(tuple, offset_amount) do
|
|
|
|
case NaiveDateTime.from_erl(tuple) do
|
|
|
|
{:ok, lower} ->
|
|
|
|
upper = NaiveDateTime.add(lower, offset_amount, :second)
|
|
|
|
{:ok, [lower, upper]}
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
:error
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2019-11-02 19:34:25 +01:00
|
|
|
defp date_bounds([year]) do
|
2020-01-01 07:00:34 +01:00
|
|
|
lower_upper({{year, 1, 1}, {0, 0, 0}}, 31_536_000)
|
2019-11-02 19:34:25 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
defp date_bounds([year, month]) do
|
2020-01-01 07:00:34 +01:00
|
|
|
days = days_in_month(year, month)
|
|
|
|
lower_upper({{year, month, 1}, {0, 0, 0}}, 86_400 * days)
|
2019-11-02 19:34:25 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
defp date_bounds([year, month, day]) do
|
2020-01-01 07:00:34 +01:00
|
|
|
lower_upper({{year, month, day}, {0, 0, 0}}, 86_400)
|
2019-11-02 19:34:25 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
defp date_bounds([year, month, day, hour]) do
|
2020-01-01 07:00:34 +01:00
|
|
|
lower_upper({{year, month, day}, {hour, 0, 0}}, 3_600)
|
2019-11-02 19:34:25 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
defp date_bounds([year, month, day, hour, minute]) do
|
2020-01-01 07:00:34 +01:00
|
|
|
lower_upper({{year, month, day}, {hour, minute, 0}}, 60)
|
2019-11-02 19:34:25 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
defp date_bounds([year, month, day, hour, minute, second]) do
|
2020-01-01 07:00:34 +01:00
|
|
|
lower_upper({{year, month, day}, {hour, minute, second}}, 1)
|
2019-11-02 19:34:25 +01:00
|
|
|
end
|
|
|
|
|
2020-01-01 07:00:34 +01:00
|
|
|
defp absolute_datetime(_rest, opts, context, _line, _offset) do
|
2019-11-02 19:34:25 +01:00
|
|
|
date = Keyword.fetch!(opts, :date)
|
|
|
|
timezone = Keyword.get(opts, :timezone, [])
|
|
|
|
|
|
|
|
[tz_off, tz_hour, tz_minute] = timezone_bounds(timezone)
|
|
|
|
|
2020-01-01 07:00:34 +01:00
|
|
|
with {:ok, [lower, upper]} <- date_bounds(date),
|
|
|
|
{:ok, lower} <- build_datetime(lower, tz_off, tz_hour, tz_minute),
|
2020-01-11 05:20:19 +01:00
|
|
|
{:ok, upper} <- build_datetime(upper, tz_off, tz_hour, tz_minute) do
|
2020-01-01 07:00:34 +01:00
|
|
|
{[[lower, upper]], context}
|
|
|
|
else
|
|
|
|
_ ->
|
|
|
|
date = Enum.join(date ++ timezone, ", ")
|
|
|
|
{:error, "invalid date format in input, parsed as #{date}"}
|
|
|
|
end
|
2019-11-02 19:34:25 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
defp relative_datetime([count, scale]) do
|
2019-12-01 02:30:05 +01:00
|
|
|
now = DateTime.utc_now()
|
2019-11-02 19:34:25 +01:00
|
|
|
|
2019-12-08 17:25:29 +01:00
|
|
|
lower = DateTime.add(now, (count + 1) * -scale, :second)
|
|
|
|
upper = DateTime.add(now, count * -scale, :second)
|
2019-11-02 19:34:25 +01:00
|
|
|
|
|
|
|
[lower, upper]
|
|
|
|
end
|
|
|
|
|
|
|
|
space =
|
|
|
|
choice([string(" "), string("\t"), string("\n"), string("\r"), string("\v"), string("\f")])
|
|
|
|
|> ignore()
|
|
|
|
|
|
|
|
year = integer(4)
|
2020-01-01 07:00:34 +01:00
|
|
|
month = integer(2)
|
|
|
|
day = integer(2)
|
2019-11-02 19:34:25 +01:00
|
|
|
|
|
|
|
hour = integer(2)
|
|
|
|
minute = integer(2)
|
|
|
|
second = integer(2)
|
|
|
|
tz_hour = integer(2)
|
|
|
|
tz_minute = integer(2)
|
|
|
|
|
|
|
|
ymd_sep = ignore(string("-"))
|
|
|
|
hms_sep = ignore(string(":"))
|
|
|
|
iso8601_sep = ignore(choice([string("T"), string("t"), space]))
|
|
|
|
iso8601_tzsep = choice([string("+"), string("-")])
|
|
|
|
zulu = ignore(choice([string("Z"), string("z")]))
|
|
|
|
|
|
|
|
date_part =
|
|
|
|
year
|
|
|
|
|> optional(
|
|
|
|
ymd_sep
|
|
|
|
|> concat(month)
|
|
|
|
|> optional(
|
|
|
|
ymd_sep
|
|
|
|
|> concat(day)
|
|
|
|
|> optional(
|
|
|
|
iso8601_sep
|
|
|
|
|> optional(
|
|
|
|
hour
|
|
|
|
|> optional(
|
|
|
|
hms_sep
|
|
|
|
|> concat(minute)
|
|
|
|
|> optional(concat(hms_sep, second))
|
|
|
|
)
|
|
|
|
)
|
|
|
|
)
|
|
|
|
)
|
|
|
|
)
|
|
|
|
|> tag(:date)
|
|
|
|
|
|
|
|
timezone_part =
|
|
|
|
choice([
|
|
|
|
iso8601_tzsep
|
|
|
|
|> concat(tz_hour)
|
|
|
|
|> optional(
|
|
|
|
hms_sep
|
|
|
|
|> concat(tz_minute)
|
|
|
|
)
|
|
|
|
|> tag(:timezone),
|
|
|
|
zulu
|
|
|
|
])
|
|
|
|
|
|
|
|
absolute_date =
|
|
|
|
date_part
|
|
|
|
|> optional(timezone_part)
|
2020-02-07 00:01:22 +01:00
|
|
|
|> eos()
|
2020-01-01 07:00:34 +01:00
|
|
|
|> post_traverse(:absolute_datetime)
|
2019-11-02 19:34:25 +01:00
|
|
|
|> unwrap_and_tag(:date)
|
|
|
|
|
|
|
|
relative_date =
|
|
|
|
integer(min: 1)
|
|
|
|
|> ignore(concat(space, empty()))
|
|
|
|
|> choice([
|
|
|
|
string("second") |> optional(string("s")) |> replace(1),
|
|
|
|
string("minute") |> optional(string("s")) |> replace(60),
|
|
|
|
string("hour") |> optional(string("s")) |> replace(3_600),
|
|
|
|
string("day") |> optional(string("s")) |> replace(86_400),
|
|
|
|
string("week") |> optional(string("s")) |> replace(604_800),
|
|
|
|
string("month") |> optional(string("s")) |> replace(2_592_000),
|
|
|
|
string("year") |> optional(string("s")) |> replace(31_536_000)
|
|
|
|
])
|
|
|
|
|> ignore(string(" ago"))
|
2020-02-07 00:01:22 +01:00
|
|
|
|> eos()
|
2019-11-02 19:34:25 +01:00
|
|
|
|> reduce(:relative_datetime)
|
|
|
|
|> unwrap_and_tag(:date)
|
|
|
|
|
|
|
|
date =
|
|
|
|
choice([
|
|
|
|
absolute_date,
|
|
|
|
relative_date
|
|
|
|
])
|
2019-11-15 19:27:10 +01:00
|
|
|
|> repeat(space)
|
2019-11-02 19:34:25 +01:00
|
|
|
|> eos()
|
2020-01-11 05:20:19 +01:00
|
|
|
|> label(
|
|
|
|
"a RFC3339 datetime fragment, like `2019-01-01', or relative date, like `3 days ago'"
|
|
|
|
)
|
2019-11-02 19:34:25 +01:00
|
|
|
|
2020-01-11 05:20:19 +01:00
|
|
|
defparsec(:parse, date)
|
2020-01-01 05:44:28 +01:00
|
|
|
end
|