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


-- | 'Show' instances for Lambdabot
--   
--   This package provides ShowQ, ShowFun, and SimpleReflect.
--   
--   ShowFun gives us Typeable instances for neutering IO expressions.
--   
--   ShowQ adds SmallCheck & QuickCheck support.
--   
--   And SimpleReflect allows us to literally see how functions
--   <a>expand</a>, through appropriate Show magic. See
--   <a>http://twan.home.fmf.nl/blog/haskell/simple-reflection-of-expressions.details</a>.
@package show
@version 0.5


-- | Simple reflection of Haskell expressions containing variables.
--   
--   This module re-exports Debug.SimpleReflect from the simple-reflect
--   package.
module SimpleReflect

module ShowFun
instance Typeable a => Show (IO a)
instance (Typeable a, Typeable b) => Show (a -> b)

module ShowQ
mysmallcheck :: Testable IO prop => prop -> ()
mysmallcheck' :: Testable IO prop => prop -> IO ()
myquickcheck :: Testable prop => prop -> String
myquickcheck' :: Testable prop => prop -> IO String
tests :: Testable prop => prop -> Int -> [[String]] -> IO String
done :: String -> Int -> [[String]] -> IO String