Portability | |
---|---|
Stability | provisional |
Maintainer | diatchki@galois.com |
Safe Haskell | Safe-Inferred |
Documentation
A type used by the server to report various events. Useful for debugging.
A logger that uses the standard output and standard error. Text is UTF8 encoded.
A logger that does not report anything.
utf8Logger :: Handle -> Handle -> LoggerSource
A logger that uses the given handles for output and errors.
showLogItem :: LogItem -> StringSource
readLogItem :: String -> Maybe LogItemSource