From 194340a78a45bd2850ae3c525c3f3874f1dfa3d9 Mon Sep 17 00:00:00 2001
From: Your Name <you@example.com>
Date: Fri, 29 May 2026 21:14:44 +0100
Subject: [PATCH] Add DayOfweek, toGregorian

---
 examples/39-day.hell | 1 +
 src/Hell.hs          | 8 +++++++-
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/examples/39-day.hell b/examples/39-day.hell
index ee45d67..7ea6a37 100644
--- a/examples/39-day.hell
+++ b/examples/39-day.hell
@@ -4,3 +4,4 @@ main = do
   day2 <- Maybe.maybe (Error.error "Invalid") IO.pure $ Day.iso8601ParseM "2025-08-09"
   IO.print $ Eq.eq day1 day2 -- True
   Text.putStrLn $ Day.iso8601Show day1 -- 2025-08-09
+  IO.print $ Day.dayOfWeek day1
diff --git a/src/Hell.hs b/src/Hell.hs
index c423d97..d81a32d 100644
--- a/src/Hell.hs
+++ b/src/Hell.hs
@@ -95,7 +95,7 @@ import qualified Data.Text.Encoding as Text
 import qualified Data.Text.IO as Text
 import Data.These (These)
 import qualified Data.These as These
-import Data.Time (Day, TimeOfDay, UTCTime)
+import Data.Time (Day, TimeOfDay, UTCTime, DayOfWeek)
 import qualified Data.Time as Time
 import qualified Data.Time.Format.ISO8601 as Time
 import Data.Traversable
@@ -853,6 +853,7 @@ instances =
         instance0 @Show @Int,
         instance0 @Show @Integer,
         instance0 @Show @Day,
+        instance0 @Show @DayOfWeek,
         instance0 @Show @UTCTime,
         instance0 @Show @TimeOfDay,
         instance0 @Show @Double,
@@ -874,6 +875,7 @@ instances =
         instance0 @Eq @Int,
         instance0 @Eq @Integer,
         instance0 @Eq @Day,
+        instance0 @Eq @DayOfWeek,
         instance0 @Eq @UTCTime,
         instance0 @Eq @TimeOfDay,
         instance0 @Eq @Double,
@@ -893,6 +895,7 @@ instances =
         instance0 @Ord @Int,
         instance0 @Ord @Integer,
         instance0 @Ord @Day,
+        instance0 @Ord @DayOfWeek,
         instance0 @Ord @UTCTime,
         instance0 @Ord @TimeOfDay,
         instance0 @Ord @Double,
@@ -1707,6 +1710,7 @@ supportedTypeConstructors =
       ("()", SomeTypeRep $ typeRep @()),
       ("Handle", SomeTypeRep $ typeRep @IO.Handle),
       ("Day", SomeTypeRep $ typeRep @Day),
+      ("DayOfWeek", SomeTypeRep $ typeRep @DayOfWeek),
       ("UTCTime", SomeTypeRep $ typeRep @UTCTime),
       ("TimeOfDay", SomeTypeRep $ typeRep @TimeOfDay),
       ("Builder", SomeTypeRep $ typeRep @Builder),
@@ -1744,8 +1748,10 @@ supportedLits =
       lit' "Text.setStdin" t_setStdin,
       -- Dates
       lit' "Day.fromGregorianValid" Time.fromGregorianValid,
+      lit' "Day.toGregorian" Time.toGregorian,
       lit' "Day.addDays" Time.addDays,
       lit' "Day.diffDays" Time.diffDays,
+      lit' "Day.dayOfWeek" Time.dayOfWeek,
       lit' "Day.iso8601Show" (Text.pack . Time.iso8601Show :: Day -> Text),
       lit' "Day.iso8601ParseM" (Time.iso8601ParseM . Text.unpack :: Text -> Maybe Day),
       -- UTCTime