toml instances for UTCTime

Author: functora

pub/functora/functora.cabal

@@ -124,7 +124,7 @@ common pkg-prelude
     , template-haskell
     , text
     , th-lift-instances
-    , time
+    , time               >=1.11.1.1
     , transformers
     , unbounded-delays
     , uniplate

pub/functora/src/cfg/Functora/CfgOrphan.hs

@@ -66,6 +66,29 @@ instance Toml.HasItemCodec URI where
       $ Toml.Text
       . URI.render
 
+instance Toml.HasCodec UTCTime where
+  hasCodec =
+    Toml.textBy (from @String @Text . iso8601Show)
+      $ maybe (Left "Not a UTCTime") pure
+      . iso8601ParseM
+      . from @Text @String
+
+instance Toml.HasItemCodec UTCTime where
+  hasItemCodec =
+    Left
+      . Toml.mkAnyValueBiMap
+        ( \src -> do
+            txt <- Toml.matchText src
+            maybe
+              (Left . Toml.MatchError Toml.TText $ Toml.AnyValue src)
+              pure
+              . iso8601ParseM
+              $ from @Text @String txt
+        )
+      $ Toml.Text
+      . from @String @Text
+      . iso8601Show
+
 instance (Show a, Enum a, Bounded a) => Toml.HasCodec (GenericEnum a) where
   hasCodec = Toml.enumBounded
 

pub/functora/src/prelude/Functora/Prelude.hs

@@ -274,6 +274,7 @@ import Data.Time.Clock as X
   )
 import qualified Data.Time.Clock as Clock
 import Data.Time.Clock.POSIX as X (posixSecondsToUTCTime)
+import Data.Time.Format.ISO8601 as X (iso8601ParseM, iso8601Show)
 import Data.Tuple.Extra as X (thd3, uncurry3)
 import qualified Data.Typeable as Typeable
 import Functora.PreludeOrphan as X ()