Data.Thyme.Clock: pattern UniversalTime :: Rational -> UniversalTime

Author: liyang

src/Data/Thyme/Clock.hs

@@ -44,6 +44,9 @@ module Data.Thyme.Clock (
 
     -- * Universal Time
     , UniversalTime
+#if __GLASGOW_HASKELL__ >= 708
+    , pattern UniversalTime
+#endif
     , modJulianDate
 
     -- * Compatibility

src/Data/Thyme/Clock/Internal.hs

@@ -252,6 +252,14 @@ modJulianDate = iso
     (\ (UniversalRep t) -> toSeconds t / toSeconds posixDayLength)
     (UniversalRep . (*^ posixDayLength))
 
+#if __GLASGOW_HASKELL__ >= 710
+pattern UniversalTime :: Rational -> UniversalTime
+pattern UniversalTime mjd <- (view modJulianDate -> mjd) where
+    UniversalTime mjd = modJulianDate # mjd
+#elif __GLASGOW_HASKELL__ >= 708
+pattern UniversalTime mjd <- (view modJulianDate -> mjd)
+#endif
+
 ------------------------------------------------------------------------
 
 -- | <https://en.wikipedia.org/wiki/Coordinated_Universal_Time Coördinated universal time>