Portability | portable |
---|---|
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 -> f SomeException