Control.Exception.Lens

Documentation

traverseException :: (Exception a, Exception b) => Traversal SomeException SomeException a b

Traverse the strongly typed Exception contained in SomeException where the type of your function matches the desired Exception.

 traverseException :: (Applicative f, Exception a, Exception b)
                   => (a -> f b) -> SomeException -> f SomeException