| 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 # | |