-- 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.
--   
--   <b>Changes</b>
--   
--   <ul>
--   <li><i>0.1.1.2</i> Yet another formatting fix.</li>
--   <li><i>0.1.1.1</i> Formatting fix to the haddock documentation.</li>
--   <li><i>0.1.1.0</i> Add <tt>runExceptional</tt> function.</li>
--   <li><i>0.1.0.1</i> Minor documentation changes. No changes to the
--   API.</li>
--   <li><i>0.1.0.0</i> Initial version</li>
--   </ul>
@package exceptional
@version 0.1.1.2

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

-- | Convert <a>Exceptional</a> into another <a>Monad</a>
runExceptional :: Monad m => Exceptional x -> m x
instance GHC.Read.Read x => GHC.Read.Read (Control.Exceptional.Exceptional x)
instance GHC.Show.Show x => GHC.Show.Show (Control.Exceptional.Exceptional x)
instance GHC.Classes.Eq x => GHC.Classes.Eq (Control.Exceptional.Exceptional x)
instance GHC.Base.Functor Control.Exceptional.Exceptional
instance GHC.Base.Applicative Control.Exceptional.Exceptional
instance GHC.Base.Alternative Control.Exceptional.Exceptional
instance GHC.Base.Monad Control.Exceptional.Exceptional