Documentation

newtype Log m Source #

writeLog :: String -> () :+ '[Log] Source #

stdoutLog :: MonadIO m => Log m Source #

handleLog :: MonadIO m => Handle -> Log m Source #

noLog :: Monad m => Log m Source #

withCollectLog :: (forall n. Monad n => Log n -> n a) -> (a, [String]) Source #