Lemmata.Debug

Documentation

undefined :: a

error :: Text -> a

Warning: error remains in code

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

Warning: trace remains in code

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

Warning: traceM remains in code

traceId :: Text -> Text

Warning: traceId remains in code

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

Warning: traceIO remains in code

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

Warning: traceShow remains in code

traceShowId :: Show a => a -> a

Warning: traceShowId remains in code

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

Warning: traceShowM remains in code

notImplemented :: a