-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | A type for pure code that can fail.
--   
--   This is a very simple type:
--   
--   <pre>
--   data Exceptional x
--     = Failure String
--     | Success x
--   </pre>
--   
--   It's much like <tt>Maybe</tt>, except instead of <tt>Nothing</tt>, we
--   have <tt>Failure String</tt>.
--   
--   A comparison could also be made to <tt>Either String</tt>. I made this
--   library because I was dissatisfied with the <tt>Monad</tt> instance
--   for <tt>Either</tt>. In this type, <tt>fail = Failure</tt>. It's
--   rather simple.
--   
--   <h3>Changes ===</h3>
--   
--   <ul>
--   <li><i>0.1.0.1</i> Minor documentation changes. No changes to the
--   API.</li>
--   <li><i>0.1</i> Initial version</li>
--   </ul>
@package exceptional
@version 0.1.0.1

module Control.Exceptional

-- | This is basically specialized 'Either String', or <a>Maybe</a> with
--   error messages.
data Exceptional x
[Failure] :: String -> Exceptional x
[Success] :: x -> Exceptional x
instance Read x => Read (Exceptional x)
instance Show x => Show (Exceptional x)
instance Eq x => Eq (Exceptional x)
instance Functor Exceptional
instance Applicative Exceptional
instance Alternative Exceptional
instance Monad Exceptional