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