Portability | Control.Exception |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Safe Haskell | Safe-Infered |
- traverseException :: (Exception a, Exception b) => Traversal SomeException SomeException a b
Documentation
traverseException :: (Exception a, Exception b) => Traversal SomeException SomeException a bSource
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
-> fSomeException