src/Effects/Log.hs

@@ -1,7 +1,7 @@
 {-# LANGUAGE PatternSynonyms #-}
 
 module Effects.Log (
-  Severity (.., I, D, W, E),
+  Severity (..),
   runLog,
   runLogWithQsem,
   stderrLogger,
@@ -9,6 +9,10 @@ module Effects.Log (
   addTime,
   Log,
   log,
+  pattern I,
+  pattern D,
+  pattern W,
+  pattern E,
   LogData (..),
 ) where
 

src/Effects/Time.hs

@@ -22,22 +22,7 @@ data Time :: Effect where
   CurrentTimeT :: Time m Text
   BenchFunction :: m a -> Time m (Timespan, a)
 
-makeEffect_ ''Time
-
-currentTime ::
-  Time :> es =>
-  -- | Returns current time
-  Eff es C.Time
-
-currentTimeB ::
-  Time :> es =>
-  -- | Returns current time
-  Eff es T.Builder
-
-currentTimeT ::
-  Time :> es =>
-  -- | Returns current time
-  Eff es Text
+makeEffect ''Time
 
 runTimeEff ::
   (IOE :> es) =>