noether-0.0.1: Math in Haskell.

Safe HaskellTrustworthy
LanguageHaskell2010

Lemmata.Debug

Synopsis

Documentation

error :: Text -> a Source #

Warning: error remains in code

trace :: Print b => b -> a -> a Source #

Warning: trace remains in code

traceM :: Monad m => Text -> m () Source #

Warning: traceM remains in code

traceId :: Text -> Text Source #

Warning: traceId remains in code

traceIO :: Print b => b -> a -> IO a Source #

Warning: traceIO remains in code

traceShow :: Show a => a -> b -> b Source #

Warning: traceShow remains in code

traceShowId :: Show a => a -> a Source #

Warning: traceShowId remains in code

traceShowM :: (Show a, Monad m) => a -> m () Source #

Warning: traceShowM remains in code