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


-- | throwable-exceptions gives the exception's value constructors
--   
--   throwable-exceptions gives the exception's value constructors
@package throwable-exceptions
@version 0.1.0.4


-- | The mostly exceptions has the field for its cause, and its clue.
--   
--   The cause is the message.
--   
--   The clue is some stuff for find bugs, the clue can be omitted if you
--   don't need it. (e.g. <tt>ioException'</tt>,
--   <tt>illegalArgumentException</tt>)
module Control.Exception.Throwable

-- | Simular to <tt>Control.Exception.IOException</tt>
data IOException' a
IOException' :: String -> a -> IOException' a
[ioExceptionCause] :: IOException' a -> String
[ioExceptionClue] :: IOException' a -> a
FileNotFoundException :: String -> a -> IOException' a
[fileNotFoundCause] :: IOException' a -> String
[fileNotFoundClue] :: IOException' a -> a

-- | A constructor for IOException' but doesn't take the clue
ioException' :: String -> IOException' ()

-- | Like java.lang.IllegalArgumentException
data IllegalArgumentException a
IllegalArgumentException :: String -> a -> IllegalArgumentException a
[illegalArgumentCause] :: IllegalArgumentException a -> String
[illegalArgumentClue] :: IllegalArgumentException a -> a

-- | A constructor for IllegalArgumentException but doesn't take the clue
illegalArgumentException :: String -> IllegalArgumentException ()

-- | An other of these exceptions
data GeneralException a
GeneralException :: String -> String -> a -> GeneralException a

-- | This should be named by <tt>PascalCase</tt> for show, for example:
--   <a>MyOperation</a>, <a>Database</a>
[exceptionName] :: GeneralException a -> String

-- | The message for the cause of the exception
[exceptionCause] :: GeneralException a -> String

-- | The clue of the exception. This can be anything of Show instance
[exceptionClue] :: GeneralException a -> a

-- | A constructor for GeneralException but doesn't take the clue
generalException :: String -> String -> GeneralException ()

-- | Like java.lang.IndexOutOfBoundsException
data IndexOutOfBoundsException a
IndexOutOfBoundsException :: String -> a -> IndexOutOfBoundsException a
[indexOutOfBoundsCause] :: IndexOutOfBoundsException a -> String
[indexOutOfBoundsArgumentClue] :: IndexOutOfBoundsException a -> a

-- | A constructor for IndexOutOfBoundsException but doesn't take the clue
indexOutOfBoundsException :: String -> IndexOutOfBoundsException ()
instance GHC.Show.Show a => GHC.Show.Show (Control.Exception.Throwable.IOException' a)
instance (Data.Typeable.Internal.Typeable a, GHC.Show.Show a) => GHC.Exception.Exception (Control.Exception.Throwable.IOException' a)
instance GHC.Show.Show a => GHC.Show.Show (Control.Exception.Throwable.IllegalArgumentException a)
instance (Data.Typeable.Internal.Typeable a, GHC.Show.Show a) => GHC.Exception.Exception (Control.Exception.Throwable.IllegalArgumentException a)
instance GHC.Show.Show a => GHC.Show.Show (Control.Exception.Throwable.IndexOutOfBoundsException a)
instance (Data.Typeable.Internal.Typeable a, GHC.Show.Show a) => GHC.Exception.Exception (Control.Exception.Throwable.IndexOutOfBoundsException a)
instance GHC.Show.Show a => GHC.Show.Show (Control.Exception.Throwable.GeneralException a)
instance (Data.Typeable.Internal.Typeable a, GHC.Show.Show a) => GHC.Exception.Exception (Control.Exception.Throwable.GeneralException a)