Compare commits

...

2 Commits

Author SHA1 Message Date
2a92e3e8b0 Updated imports 2023-05-01 11:56:17 +02:00
e72beb2076 Added documentation to effects 2023-05-01 11:54:37 +02:00
2 changed files with 17 additions and 6 deletions

View File

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

View File

@ -22,7 +22,22 @@ data Time :: Effect where
CurrentTimeT :: Time m Text CurrentTimeT :: Time m Text
BenchFunction :: m a -> Time m (Timespan, a) BenchFunction :: m a -> Time m (Timespan, a)
makeEffect ''Time 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
runTimeEff :: runTimeEff ::
(IOE :> es) => (IOE :> es) =>