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

fromJst :: Q Exp

like fromJust, but also shows the file location

fromRht :: Q Exp

like fromRight, but also show the file location

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: " traceId is an alias for strace strace stands for "show trace" traceId means it returns itself after tracing like the id function

locationToString :: Loc -> String

thrwIO :: Q Exp

thrwsIO :: String -> Q Exp