From 5d83e36ef8210d1514259c89ff97a25c4d19600c Mon Sep 17 00:00:00 2001 From: Chris Wells Date: Tue, 20 Jan 2026 17:00:40 -0600 Subject: Technically working, but I need a cleaner way to pass personA and journalA into a list context... --- src/Prolog.hs | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'src/Prolog.hs') diff --git a/src/Prolog.hs b/src/Prolog.hs index 94a6eb6..f7e72eb 100644 --- a/src/Prolog.hs +++ b/src/Prolog.hs @@ -23,6 +23,7 @@ module Prolog , Binary , Generic , Generic1 + , Typeable , Generically (..) , MonadThrow (..) , Exception (..) @@ -89,6 +90,8 @@ import Data.String import Data.String.Conv import Data.Text qualified as T import Data.Text.Lazy qualified as TL +import Data.Time qualified as Time +import Data.Typeable (Typeable) import GHC.Generics import Network.URI @@ -186,7 +189,7 @@ rebaseWith :: (Applicative m, Comonad w) => (a -> b) -> w a -> m b rebaseWith f = rebaseWithM $ pure . f {-# INLINE rebaseWith #-} -rebaseWithM :: (Applicative m, Comonad w) => (a -> m b) -> w a -> m b +rebaseWithM :: (Comonad w) => (a -> m b) -> w a -> m b rebaseWithM f = f . extract {-# INLINE rebaseWithM #-} @@ -311,3 +314,6 @@ instance MonadThrow H.Compiler where -- | Huh, I guess I need a version bump for this guy? instance A.FromJSON URI where parseJSON = A.withText "URI" $ maybe (fail "Invalid URI") pure . parseURI . toSL + +deriving instance Generic Time.Day +deriving newtype instance Binary Time.Day -- cgit v1.2.3