Cryptol.Utils.Logger

A simple system so that the Cryptol driver can communicate with users (or not).

Documentation

data Logger

A logger provides simple abstraction for sending messages.

Instances

NFData Logger

Defined in Cryptol.Utils.Logger

Methods

rnf :: Logger -> ()

stdoutLogger :: Logger

Log to stdout.

stderrLogger :: Logger

Log to stderr.

handleLogger :: Handle -> Logger

Log to the given handle.

quietLogger :: Logger

A logger that ignores all messages.

funLogger :: (String -> IO ()) -> Logger

Just use this function for logging.

logPutStr :: Logger -> String -> IO ()

Send the given string to the log.

logPutStrLn :: Logger -> String -> IO ()

Send the given string with a newline at the end.

logPrint :: Show a => Logger -> a -> IO ()

Send the given value using its Show instance. Adds a newline at the end.