Control.Exception.Lens

Documentation

exception :: (Exception a, Exception b) => Projection SomeException SomeException a b

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

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