| Safe Haskell | Safe |
|---|---|
| Language | Haskell98 |
Control.Exceptional
- data Exceptional x
- runExceptional :: Monad m => Exceptional x -> m x
- fromMaybe :: String -> Maybe a -> Exceptional a
- toMaybe :: Exceptional a -> Maybe a
- fromEither :: Either String a -> Exceptional a
- toEither :: Exceptional a -> Either String a
Documentation
data Exceptional x Source
This is basically specialized 'Either String', or Maybe with error
messages.
Instances
| Monad Exceptional Source | |
| Functor Exceptional Source | |
| Applicative Exceptional Source | |
| Alternative Exceptional Source | |
| Eq x => Eq (Exceptional x) Source | |
| Read x => Read (Exceptional x) Source | |
| Show x => Show (Exceptional x) Source |
runExceptional :: Monad m => Exceptional x -> m x Source
Convert Exceptional into another Monad
fromMaybe :: String -> Maybe a -> Exceptional a Source
Convert a Maybe to an Exceptional
toMaybe :: Exceptional a -> Maybe a Source
Convert a Maybe to an Exceptional
fromEither :: Either String a -> Exceptional a Source
Convert an Either String to an Exceptional
toEither :: Exceptional a -> Either String a Source
Convert an Exceptional to an Either String