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


-- | throwable-exceptions gives the easy way to throw exceptions
--   
--   throwable-exceptions gives the easy way to throw exceptions
@package throwable-exceptions
@version 0.1.0.7


-- | The data types creator of exceptions in the compile type.
--   
--   It has the record of "cause" and "clue".
module Control.Exception.Throwable.TH

-- | Declare simple concrete exception data type in the compile time.
--   
--   If the empty list is given to <tt>constrNames</tt>, create empty data
--   type.
--   
--   <tt>typeName</tt> and <tt>constrNames</tt> must be PascalCase (e.g&gt;
--   <a>IOException'</a>, <a>IndexOutOfBoundsException</a>. NG&gt;
--   "ioException'", "indexOutOfBoundsException") .
declareException :: DatatypeName -> [ValueConstructorName] -> DecsQ
instance GHC.Show.Show Control.Exception.Throwable.TH.DatatypeNames
instance GHC.Show.Show Control.Exception.Throwable.TH.ValueConstructor


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

-- | 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 ()
data IOException' a_a9Eb
IOException' :: String -> a_a9Eb -> IOException' a_a9Eb
[iOException'Cause] :: IOException' a_a9Eb -> String
[iOException'Clue] :: IOException' a_a9Eb -> a_a9Eb
FileNotFoundException :: String -> a_a9Eb -> IOException' a_a9Eb
[fileNotFoundExceptionCause] :: IOException' a_a9Eb -> String
[fileNotFoundExceptionClue] :: IOException' a_a9Eb -> a_a9Eb
ioException' :: String -> IOException' ()
data IllegalArgumentException a_a9Iy
IllegalArgumentException :: String -> a_a9Iy -> IllegalArgumentException a_a9Iy
[illegalArgumentExceptionCause] :: IllegalArgumentException a_a9Iy -> String
[illegalArgumentExceptionClue] :: IllegalArgumentException a_a9Iy -> a_a9Iy
illegalArgumentException :: String -> IllegalArgumentException ()
data IndexOutOfBoundsException a_a9GJ
IndexOutOfBoundsException :: String -> a_a9GJ -> IndexOutOfBoundsException a_a9GJ
[indexOutOfBoundsExceptionCause] :: IndexOutOfBoundsException a_a9GJ -> String
[indexOutOfBoundsExceptionClue] :: IndexOutOfBoundsException a_a9GJ -> a_a9GJ
indexOutOfBoundsException :: String -> IndexOutOfBoundsException ()
instance GHC.Show.Show a0 => GHC.Show.Show (Control.Exception.Throwable.IllegalArgumentException a0)
instance (Data.Typeable.Internal.Typeable a0, GHC.Show.Show a0) => GHC.Exception.Exception (Control.Exception.Throwable.IllegalArgumentException a0)
instance GHC.Show.Show a0 => GHC.Show.Show (Control.Exception.Throwable.IndexOutOfBoundsException a0)
instance (Data.Typeable.Internal.Typeable a0, GHC.Show.Show a0) => GHC.Exception.Exception (Control.Exception.Throwable.IndexOutOfBoundsException a0)
instance GHC.Show.Show a0 => GHC.Show.Show (Control.Exception.Throwable.IOException' a0)
instance (Data.Typeable.Internal.Typeable a0, GHC.Show.Show a0) => GHC.Exception.Exception (Control.Exception.Throwable.IOException' a0)
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)