Toggle navigation
Curry Packages
All operations
All constructors
Curry Homepage
Base Libraries
About CurryDoc
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
~