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


-- | overflow-checked Int type
--   
--   Defines a variant of Haskell's Int type that is overflow-checked. If
--   an overflow or arithmetic error occurs, a run-time exception is
--   thrown.
--   
--   Currently still in an experimental stage. Everything can change.
@package safeint
@version 0.5


-- | Defines a variant of Haskell's Int type that is overflow-checked. If
--   an overflow or arithmetic error occurs, a run-time exception is
--   thrown.
module Data.SafeInt
newtype SafeInt
SI :: Int -> SafeInt
fromSafe :: SafeInt -> Int
toSafe :: Int -> SafeInt
instance Integral SafeInt
instance Real SafeInt
instance Enum SafeInt
instance Bounded SafeInt
instance Num SafeInt
instance Ord SafeInt
instance Eq SafeInt
instance Read SafeInt
instance Show SafeInt