How to use this library with co-log? about unlift

[chshersh]

@srid I'm not quite sure that I understand your question. Maybe you can provide an example of code that you have a problem with? I will write some of my thoughts meanwhile.

The recommended approach of using co-log in applications is to introduce an environment, parametrised by a monad:

data Env (m :: Type -> Type) = Env
    { envLogAction :: LogAction m MyMessage
    , envPort :: Int
    }

And then use it inside the ReaderT monad:

newtype App a = App
    { unApp :: ReaderT (Env App) IO a
    } deriving newtype (Functor, Applicative, Monad, MonadIO, MonadReader (Env App), MonadUnlift IO)

You can then use the asks function to get LogAction and, indeed, you can use the withRunInBase function to run the logger inside the IO monad:

foo :: App ()
foo = do
    LogAction log <- asks envLogAction
    withRunInBase $ \runInBase -> withCurrentDirectory "/some/path" $ do
        runInBase $ log "Running from directory: /some/path"
        ... ordinary actions in the IO monad ...
        runInBase $ log "Finishing actions in the directory: /some/path"

Does this help with your question?

An example of using co-log with MonadUnlift would be nice, but I think it should be in the co-log repository (probably as a separate tutorial). A tutorial on MonadUnlift alone would be nice as well, and we do have plans to write a more detailed tutorial with examples on the subject.