module Debug.Util
(debug, debugM, debugMsg, debugMsgIf, ltrace, ltraceM, strace, traceId)
where
import Debug.Trace (trace)
debug :: Show a => a -> a
debug :: a -> a
debug = String -> a -> a
forall a. Show a => String -> a -> a
ltrace "DEBUG"
debugMsg :: Show a => String -> a -> a
debugMsg :: String -> a -> a
debugMsg msg :: String
msg = String -> a -> a
forall a. Show a => String -> a -> a
ltrace ("DEBUG: " String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
msg)
debugMsgIf :: Show a => String -> (a -> Bool) -> a -> a
debugMsgIf :: String -> (a -> Bool) -> a -> a
debugMsgIf msg :: String
msg cond :: a -> Bool
cond x :: a
x = if a -> Bool
cond a
x then String -> a -> a
forall a. Show a => String -> a -> a
ltrace ("DEBUG: " String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
msg) a
x else a
x
debugM :: (Monad m, Show a) => a -> m a
debugM :: a -> m a
debugM a :: a
a = a -> a
forall a. Show a => a -> a
debug a
a a -> m a -> m a
forall a b. a -> b -> b
`seq` a -> m a
forall (m :: * -> *) a. Monad m => a -> m a
return a
a
strace :: Show a => a -> a
strace :: a -> a
strace a :: a
a = String -> a -> a
forall a. String -> a -> a
trace (a -> String
forall a. Show a => a -> String
show a
a) a
a
traceId :: Show a => a -> a
traceId :: a -> a
traceId = a -> a
forall a. Show a => a -> a
strace
ltrace :: Show a => String -> a -> a
ltrace :: String -> a -> a
ltrace l :: String
l a :: a
a = String -> a -> a
forall a. String -> a -> a
trace (String
l String -> String -> String
forall a. [a] -> [a] -> [a]
++ ": " String -> String -> String
forall a. [a] -> [a] -> [a]
++ a -> String
forall a. Show a => a -> String
show a
a) a
a
ltraceM :: (Monad m, Show a) => String -> a -> m a
ltraceM :: String -> a -> m a
ltraceM str :: String
str a :: a
a = String -> a -> a
forall a. Show a => String -> a -> a
ltrace String
str a
a a -> m a -> m a
forall a b. a -> b -> b
`seq` a -> m a
forall (m :: * -> *) a. Monad m => a -> m a
return a
a