lambda-cube-0.3.0: Some thoughts on Calculus of Constructions
Safe HaskellNone
LanguageHaskell2010

L3.Log.Logging

Description

Safe and unsafe logging functions wrapping Control.Logging

Documentation

logId :: (String -> String -> IO ()) -> String -> String -> a -> IO a Source #

traceU :: String -> String -> a -> a Source #

debugM :: String -> String -> IO () Source #

debugU :: String -> String -> a -> a Source #

infoM :: String -> String -> IO () Source #

infoU :: String -> String -> a -> a Source #

warnM :: String -> String -> IO () Source #

warnU :: String -> String -> a -> a Source #

errorU :: String -> String -> a Source #

data LogLevel #

Constructors

LevelDebug 
LevelInfo 
LevelWarn 
LevelError 

Instances

Instances details
Eq LogLevel 
Instance details

Defined in Control.Logging

Methods

(==) :: LogLevel -> LogLevel -> Bool #

(/=) :: LogLevel -> LogLevel -> Bool #

Ord LogLevel 
Instance details

Defined in Control.Logging

Methods

compare :: LogLevel -> LogLevel -> Ordering #

(<) :: LogLevel -> LogLevel -> Bool #

(<=) :: LogLevel -> LogLevel -> Bool #

(>) :: LogLevel -> LogLevel -> Bool #

(>=) :: LogLevel -> LogLevel -> Bool #

max :: LogLevel -> LogLevel -> LogLevel #

min :: LogLevel -> LogLevel -> LogLevel #

Read LogLevel 
Instance details

Defined in Control.Logging

Methods

readsPrec :: Int -> ReadS LogLevel #

readList :: ReadS [LogLevel] #

readPrec :: ReadPrec LogLevel #

readListPrec :: ReadPrec [LogLevel] #

Show LogLevel 
Instance details

Defined in Control.Logging

Methods

showsPrec :: Int -> LogLevel -> ShowS #

show :: LogLevel -> String #

showList :: [LogLevel] -> ShowS #

withStderrLogging :: (MonadBaseControl IO m, MonadIO m) => m a -> m a #

withStdoutLogging :: (MonadBaseControl IO m, MonadIO m) => m a -> m a #

withFileLogging :: (MonadBaseControl IO m, MonadIO m) => FilePath -> m a -> m a #

setLogLevel :: LogLevel -> IO () #

setDebugSourceRegex :: String -> IO () #