Quipper.Libraries.ClassicalOptim.QuickCheckAlgExp

Loading [Contrib]/a11y/accessibility-menu.js

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.

You can find any exported type, constructor, class, function or pattern defined in this package by (approximate) name.

Key	Shortcut
s	Open this search box
esc	Close this search box
↓,ctrl + j	Move down in search results
↑,ctrl + k	Move up in search results
↵	Go to active search result