-- 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 a Typeable-dependent instance for showing functions as
--   their type. ShowIO does the same for IO actions.
--   
--   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.3.4


-- | Simple reflection of Haskell expressions containing variables.
module SimpleReflect
data Expr

-- | A variable
var :: String -> Expr
fun :: FromExpr a => String -> a

-- | Force something to be an expression
expr :: Expr -> Expr

-- | Reduce (evaluate) an expression once for example 1 + 2 + 3 + 4 ==&gt;
--   3 + 3 + 4
reduce :: Expr -> Expr
a :: Expr
b :: Expr
c :: Expr
d :: Expr
e :: Expr
f :: FromExpr a => a
g :: FromExpr a => a
h :: FromExpr a => a
i :: Expr
j :: Expr
k :: Expr
l :: Expr
m :: Expr
n :: Expr
o :: Expr
p :: Expr
q :: Expr
r :: Expr
s :: Expr
t :: Expr
u :: Expr
v :: Expr
w :: Expr
x :: Expr
y :: Expr
z :: Expr
instance Typeable Expr
instance Eq Fixity
instance Data Expr
instance Bounded Expr
instance Enum Expr
instance Floating Expr
instance Fractional Expr
instance Integral Expr
instance Real Expr
instance Num Expr
instance Ord Expr
instance Eq Expr
instance (Show a, FromExpr b) => FromExpr (a -> b)
instance FromExpr Expr
instance Show Expr

module ShowIO
instance Typeable a => Show (IO a)

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

module ShowQ
type T = [Int]
type I = Int
integralRandomR :: (Integral a, RandomGen g) => (a, a) -> g -> (a, g)
mysmallcheck :: Testable a => a -> ()
mysmallcheck' :: Testable a => a -> IO ()
myquickcheck :: Testable a => a -> String
myquickcheck' :: Testable a => a -> IO String
tests :: Gen Result -> StdGen -> Int -> Int -> [[String]] -> IO String
done :: String -> Int -> [[String]] -> IO String
instance Random Int64
instance Random Word8
instance (Integral a, Arbitrary a) => Arbitrary (Ratio a)
instance Arbitrary Int64
instance Arbitrary Ordering
instance Arbitrary Word8
instance Arbitrary Char