Martijn van Steenbergen wrote:
Joachim Breitner wrote:
join traceShow :: (Show a) => a -> a
Yes, you're right. I rarely use trace directly. I either use traceM, join trace or join traceShow. I can't think of good names for these last two functions, though. But if someone else can, I'm all in favour.
Perhaps traceShow should have had type (Show a) => a -> a, but assuming we don't want to remove existing functions, how about withTrace :: (Show a) => a -> a withTrace x = trace (show x) x and perhaps withTraceMsg :: (Show a) => String -> a -> a withTraceMsg msg x = trace (msg ++ ": " ++ show x) x -- not sure about formating I'm not sure about a monadic variant of withTrace, what type should it have? Twan