Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Cryptol.Utils.Logger
Description
A simple system so that the Cryptol driver can communicate with users (or not).
Synopsis
- data Logger
- stdoutLogger :: Logger
- stderrLogger :: Logger
- handleLogger :: Handle -> Logger
- quietLogger :: Logger
- funLogger :: (String -> IO ()) -> Logger
- logPutStr :: Logger -> String -> IO ()
- logPutStrLn :: Logger -> String -> IO ()
- logPrint :: Show a => Logger -> a -> IO ()
Documentation
A logger provides simple abstraction for sending messages.
stdoutLogger :: Logger Source #
Log to stdout.
stderrLogger :: Logger Source #
Log to stderr.
handleLogger :: Handle -> Logger Source #
Log to the given handle.
quietLogger :: Logger Source #
A logger that ignores all messages.
logPutStrLn :: Logger -> String -> IO () Source #
Send the given string with a newline at the end.