
  0 | ||| Concrete IO-based logging actions.
  1 | module Log4Types.IO
  2 | 
  3 | import System.File
  4 | import Log4Types.Core
  5 | 
  6 | %default total
  7 | 
  8 | ||| Log strings to stdout, one per line.
  9 | public export
 10 | logStringStdout : HasIO io => LogAction io String
 11 | logStringStdout = MkLogAction putStrLn
 12 | 
 13 | ||| Log strings to stderr, one per line.
 14 | public export
 15 | logStringStderr : HasIO io => LogAction io String
 16 | logStringStderr = MkLogAction $ \msg => ignore $ fPutStrLn stderr msg
 17 | 
 18 | ||| Log any `Show`-able value to stdout.
 19 | public export
 20 | logPrintLn : (HasIO io, Show a) => LogAction io a
 21 | logPrintLn = MkLogAction $ putStrLn . show
 22 |