Quipper.Libraries.ClassicalOptim.QuickCheckAlgExp

The Quipper System

Safe Haskell	None

Quipper.Libraries.ClassicalOptim.QuickCheckAlgExp

Contents

Quick-checking

Synopsis

twoExp :: Integral a => a -> Int
genBoolList :: Integral a => a -> Gen [Bool]
test_args :: Args
test_truth1 :: Int -> IO ()
genIntList :: [Int] -> Int -> Gen [Int]
genExp :: [Int] -> Gen Exp
test_truth2 :: Int -> IO Result

Quick-checking

twoExp :: Integral a => a -> Int Source #

Compute 2ⁿ.

genBoolList :: Integral a => a -> Gen [Bool] Source #

Generate a list of Bool.

test_args :: Args Source #

Arguments for QuickCheck.

test_truth1 :: Int -> IO () Source #

First test: truth table to expression to truth table is the identity.

genIntList :: [Int] -> Int -> Gen [Int] Source #

Generate a random list of Ints.

genExp :: [Int] -> Gen Exp Source #

Generate a random expression out of the given variables.

test_truth2 :: Int -> IO Result Source #

Second test: expression to truth table to expression is the identity.