Control.Exception.Pure

Catch exceptions produced in pure code

Documentation

catchPureErrors :: a -> IO (Either String a)

Evaluate to weak head normal form and catch exceptions which can be raised by errors in pure computation. See also the Test.ChasingBottoms.IsBottom module in ChasingBottoms package.

catchPureErrorsSafe :: a -> IO (Either String a)

Make sure that the error message is a concrete String.