[codex] fix temporal values from from_list

lib/dux/query_builder.ex

@@ -459,6 +459,10 @@ defmodule Dux.QueryBuilder do
   defp encode_value(v) when is_float(v), do: Float.to_string(v)
   defp encode_value(true), do: "true"
   defp encode_value(false), do: "false"
+  defp encode_value(%Date{} = v), do: "DATE '#{Date.to_iso8601(v)}'"
+  defp encode_value(%Time{} = v), do: "TIME '#{Time.to_iso8601(v)}'"
+  defp encode_value(%NaiveDateTime{} = v), do: "TIMESTAMP '#{NaiveDateTime.to_iso8601(v)}'"
+  defp encode_value(%DateTime{} = v), do: "TIMESTAMPTZ '#{DateTime.to_iso8601(v)}'"
 
   defp encode_value(v) when is_binary(v) do
     "'#{escape_sql_string(v)}'"

test/dux/verb_test.exs

@@ -422,6 +422,23 @@ defmodule Dux.VerbTest do
 
       assert result == 10
     end
+
+    test "handles temporal values in small lists" do
+      result =
+        Dux.from_list([
+          %{
+            "date" => ~D[2001-01-01],
+            "time" => ~T[12:34:56],
+            "datetime" => ~N[2001-01-01 00:00:00]
+          }
+        ])
+        |> Dux.to_rows()
+
+      assert [row] = result
+      assert row["date"] == ~D[2001-01-01]
+      assert Time.compare(row["time"], ~T[12:34:56]) == :eq
+      assert NaiveDateTime.compare(row["datetime"], ~N[2001-01-01 00:00:00]) == :eq
+    end
   end
 
   describe "compute/1" do