PAKCS

Index to all operations

# - < = A C D E F I L M Q R S T U V ~ 

#

#  (Test.Prop)
#  (Test.EasyCheck)
#<  (Test.Prop)
#<  (Test.EasyCheck)
#>  (Test.Prop)
#>  (Test.EasyCheck)

# - < = A C D E F I L M Q R S T U V ~ 

-

-=-  (Test.Prop)
-=-  (Test.EasyCheck)

# - < = A C D E F I L M Q R S T U V ~ 

<

<=>  (Test.Prop)
<=>  (Test.EasyCheck)
<~  (Test.Prop)
<~  (Test.EasyCheck)
<~>  (Test.Prop)
<~>  (Test.EasyCheck)
<~~>  (Test.Prop)
<~~>  (Test.EasyCheck)

# - < = A C D E F I L M Q R S T U V ~ 

=

==>  (Test.Prop)
==>  (Test.EasyCheck)

# - < = A C D E F I L M Q R S T U V ~ 

A

always  (Test.Prop)
always  (Test.EasyCheck)
args  (Test.EasyCheck)

# - < = A C D E F I L M Q R S T U V ~ 

C

check0  (Test.EasyCheck.Exec)
check1  (Test.EasyCheck.Exec)
check2  (Test.EasyCheck.Exec)
check3  (Test.EasyCheck.Exec)
check4  (Test.EasyCheck.Exec)
check5  (Test.EasyCheck.Exec)
checkPropIOWithMsg  (Test.EasyCheck.Exec)
checkPropWithMsg  (Test.EasyCheck.Exec)
checkWithValues0  (Test.EasyCheck.Exec)
checkWithValues1  (Test.EasyCheck.Exec)
checkWithValues2  (Test.EasyCheck.Exec)
checkWithValues3  (Test.EasyCheck.Exec)
checkWithValues4  (Test.EasyCheck.Exec)
checkWithValues5  (Test.EasyCheck.Exec)
classify  (Test.Prop)
classify  (Test.EasyCheck)
collect  (Test.Prop)
collect  (Test.EasyCheck)
collectAs  (Test.Prop)
collectAs  (Test.EasyCheck)

# - < = A C D E F I L M Q R S T U V ~ 

D

deterministic  (Test.Prop)
deterministic  (Test.EasyCheck)

# - < = A C D E F I L M Q R S T U V ~ 

E

easyCheck0  (Test.EasyCheck.Exec)
easyCheck1  (Test.EasyCheck.Exec)
easyCheck2  (Test.EasyCheck.Exec)
easyCheck3  (Test.EasyCheck.Exec)
easyCheck4  (Test.EasyCheck.Exec)
easyCheck5  (Test.EasyCheck.Exec)
easyConfig  (Test.EasyCheck.Exec)
eventually  (Test.Prop)
eventually  (Test.EasyCheck)
every  (Test.EasyCheck.Exec)

# - < = A C D E F I L M Q R S T U V ~ 

F

failing  (Test.Prop)
failing  (Test.EasyCheck)
for  (Test.Prop)
for  (Test.EasyCheck)
forAll  (Test.Prop)
forAll  (Test.EasyCheck)
forAllValues  (Test.EasyCheck)

# - < = A C D E F I L M Q R S T U V ~ 

I

ioTestOf  (Test.EasyCheck)
is  (Test.Prop)
is  (Test.EasyCheck)
isAlways  (Test.Prop)
isAlways  (Test.EasyCheck)
isEventually  (Test.Prop)
isEventually  (Test.EasyCheck)
isQuiet  (Test.EasyCheck.Exec)

# - < = A C D E F I L M Q R S T U V ~ 

L

label  (Test.Prop)
label  (Test.EasyCheck)

# - < = A C D E F I L M Q R S T U V ~ 

M

maxFail  (Test.EasyCheck.Exec)
maxTest  (Test.EasyCheck.Exec)

# - < = A C D E F I L M Q R S T U V ~ 

Q

quietConfig  (Test.EasyCheck.Exec)

# - < = A C D E F I L M Q R S T U V ~ 

R

result  (Test.EasyCheck)
returns  (Test.Prop)
returns  (Test.EasyCheck)

# - < = A C D E F I L M Q R S T U V ~ 

S

sameReturns  (Test.Prop)
sameReturns  (Test.EasyCheck)
setMaxFail  (Test.EasyCheck.Exec)
setMaxTest  (Test.EasyCheck.Exec)
solutionOf  (Test.Prop)
solutionOf  (Test.EasyCheck)
stamp  (Test.EasyCheck)
successful  (Test.Prop)
successful  (Test.EasyCheck)

# - < = A C D E F I L M Q R S T U V ~ 

T

test  (Test.EasyCheck)
testsOf  (Test.EasyCheck)
toError  (Test.Prop)
toError  (Test.EasyCheck)
toIOError  (Test.Prop)
toIOError  (Test.EasyCheck)
trivial  (Test.Prop)
trivial  (Test.EasyCheck)

# - < = A C D E F I L M Q R S T U V ~ 

U

uniquely  (Test.Prop)
uniquely  (Test.EasyCheck)
updArgs  (Test.EasyCheck)

# - < = A C D E F I L M Q R S T U V ~ 

V

valuesOf  (Test.Prop)
valuesOf  (Test.EasyCheck)
valuesOfSearchTree  (Test.EasyCheck)
verboseCheck0  (Test.EasyCheck.Exec)
verboseCheck1  (Test.EasyCheck.Exec)
verboseCheck2  (Test.EasyCheck.Exec)
verboseCheck3  (Test.EasyCheck.Exec)
verboseCheck4  (Test.EasyCheck.Exec)
verboseCheck5  (Test.EasyCheck.Exec)
verboseConfig  (Test.EasyCheck.Exec)

# - < = A C D E F I L M Q R S T U V ~ 

~

~>  (Test.Prop)
~>  (Test.EasyCheck)

# - < = A C D E F I L M Q R S T U V ~