withTimedFastLogger and MonadIO

Question

Opened this issue 7 years ago · 2 comments

withTimedFastLogger currently has this signature:

withTimedFastLogger :: IO FormattedTime -> LogType -> (TimedFastLogger -> IO a) -> IO a

Is it possible to have a lifted one?

withTimedFastLogger :: MonadIO m => m FormattedTime -> LogType -> (TimedFastLogger -> m a) -> m a

Answer 1 · 2017-05-15T00:40:02.000Z

I believe that withTimedFastLogger was implemented by @winterland1989.
@winterland1989 Would you discuss this with @AlexeyRaga?

Answer 2 · 2017-05-15T04:52:45.000Z

I am always in favor of raw IO type, it helps when you want to lift multiple IO action without multiple times lift.