Copyright | Copyright 2022 Shea Levy. |
---|---|
License | Apache-2.0 |
Maintainer | shea@shealevy.com |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Data.Exceptable
Description
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
Methods
toSomeException :: e -> SomeException Source #
Instances
Exceptable Void Source # | |
Defined in Data.Exceptable Methods toSomeException :: Void -> SomeException Source # | |
Exceptable SomeException Source # | |
Defined in Data.Exceptable Methods | |
(Show e, Typeable e) => Exceptable (EitherException e) Source # | |
Defined in Data.Exceptable Methods toSomeException :: EitherException e -> SomeException Source # | |
Exceptable e => Exceptable (Maybe e) Source # | |
Defined in Data.Exceptable Methods toSomeException :: Maybe e -> SomeException Source # | |
(Show e, Typeable e, Exceptable e') => Exceptable (Either e e') Source # | |
Defined in Data.Exceptable Methods toSomeException :: Either e e' -> SomeException Source # | |
Exceptable e => Exceptable (e, s) Source # | |
Defined in Data.Exceptable Methods toSomeException :: (e, s) -> SomeException Source # | |
Exceptable e => Exceptable (e, s, w) Source # | |
Defined in Data.Exceptable Methods toSomeException :: (e, s, w) -> SomeException Source # |
newtype EitherException e Source #
Constructors
EitherException e |
Instances
(Show e, Typeable e) => Exception (EitherException e) Source # | |
Defined in Data.Exceptable Methods toException :: EitherException e -> SomeException # fromException :: SomeException -> Maybe (EitherException e) # displayException :: EitherException e -> String # | |
Show e => Show (EitherException e) Source # | |
Defined in Data.Exceptable Methods 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 Methods toSomeException :: EitherException e -> SomeException Source # |
data NothingException Source #
Constructors
NothingException |
Instances
Exception NothingException Source # | |
Defined in Data.Exceptable Methods toException :: NothingException -> SomeException # | |
Show NothingException Source # | |
Defined in Data.Exceptable Methods showsPrec :: Int -> NothingException -> ShowS # show :: NothingException -> String # showList :: [NothingException] -> ShowS # |