FileLocation

see Debug.FileLocation module for more definitions

Documentation

err :: String -> Q Exp

like Prelude.error, but gives the file location

 $(err "OH NO!)
 main:Main main.hs:4:10 OH NO!

undef :: Q Exp

like Prelude.undefined, but gives the file location use trace to output the location. this way we still use undefined instead of calling error

 $(undef)
 main:Main main.hs:4:10 undefined
 err: Prelude.undefined

debug :: Show a => a -> a

A version of Debug.Trace.trace that just prints a value. This should be included in Debug.Trace

debugM :: (Monad m, Show a) => a -> m a

monadic debug - like debug, but works as a standalone line in a monad TODO: TH version with error loaction info

debugMsg :: Show a => String -> a -> a

A version of Debug.Trace.trace that just prints a value and a message. This should be included in Debug.Trace

dbg :: Q Exp

TH version of Debug.Trace.trace that just prints a value.

dbgMsg :: String -> Q Exp

TH version of Debug.Trace.trace that prints a value and a message prefix).

trc :: String -> Q Exp

A TH version of Debug.Trace.trace that prints location information

ltrace :: Show a => String -> a -> a

labelled trace - like strace, with a label prepended

ltraceM :: (Monad m, Show a) => String -> a -> m a

monadic debug - like debug, but works as a standalone line in a monad TODO: TH version with error loaction info

strace :: Show a => a -> a

trace (print on stdout at runtime) a showable expression like debug, but does not print DEBUG:

locationToString :: Loc -> String