Copyright | Copyright 2022 Shea Levy. |
---|---|
License | Apache-2.0 |
Maintainer | shea@shealevy.com |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Provides Exceptable
for error types which can be projected into
the Haskell exception hierarchy.
Synopsis
- class Exceptable e where
- toSomeException :: e -> SomeException
- newtype EitherException e = EitherException e
- data NothingException = NothingException
Documentation
class Exceptable e where Source #
Types which can be projected into the Haskell exception hierarchy
toSomeException :: e -> SomeException Source #
Instances
Exceptable Void Source # | |
Defined in Data.Exceptable toSomeException :: Void -> SomeException Source # | |
Exceptable SomeException Source # | |
Defined in Data.Exceptable | |
(Show e, Typeable e) => Exceptable (EitherException e) Source # | |
Defined in Data.Exceptable | |
Exceptable e => Exceptable (Maybe e) Source # | |
Defined in Data.Exceptable toSomeException :: Maybe e -> SomeException Source # | |
(Show e, Typeable e, Exceptable e') => Exceptable (Either e e') Source # | |
Defined in Data.Exceptable toSomeException :: Either e e' -> SomeException Source # | |
Exceptable e => Exceptable (e, s) Source # | |
Defined in Data.Exceptable toSomeException :: (e, s) -> SomeException Source # | |
Exceptable e => Exceptable (e, s, w) Source # | |
Defined in Data.Exceptable toSomeException :: (e, s, w) -> SomeException Source # |
newtype EitherException e Source #
Instances
(Show e, Typeable e) => Exception (EitherException e) Source # | |
Defined in Data.Exceptable toException :: EitherException e -> SomeException # fromException :: SomeException -> Maybe (EitherException e) # displayException :: EitherException e -> String # | |
Show e => Show (EitherException e) Source # | |
Defined in Data.Exceptable showsPrec :: Int -> EitherException e -> ShowS # show :: EitherException e -> String # showList :: [EitherException e] -> ShowS # | |
(Show e, Typeable e) => Exceptable (EitherException e) Source # | |
Defined in Data.Exceptable |
data NothingException Source #
Instances
Exception NothingException Source # | |
Defined in Data.Exceptable | |
Show NothingException Source # | |
Defined in Data.Exceptable showsPrec :: Int -> NothingException -> ShowS # show :: NothingException -> String # showList :: [NothingException] -> ShowS # |