Index to all operations

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

#

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

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

-

-=-  (Test.Prop)

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

<

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

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

=

==>  (Test.Prop)

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

A

add  (Data.Nat)
always  (Test.Prop)

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

C

classify  (Test.Prop)
collect  (Test.Prop)
collectAs  (Test.Prop)

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

D

deterministic  (Test.Prop)

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

E

eventually  (Test.Prop)

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

F

fromNat  (Data.Nat)
failing  (Test.Prop)
for  (Test.Prop)
forAll  (Test.Prop)

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

I

is  (Test.Prop)
isAlways  (Test.Prop)
isEventually  (Test.Prop)

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

L

leq  (Data.Nat)
label  (Test.Prop)

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

M

mul  (Data.Nat)

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

R

returns  (Test.Prop)

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

S

sub  (Data.Nat)
sameReturns  (Test.Prop)
solutionOf  (Test.Prop)
successful  (Test.Prop)

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

T

toNat  (Data.Nat)
toError  (Test.Prop)
toIOError  (Test.Prop)
trivial  (Test.Prop)

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

U

uniquely  (Test.Prop)

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

V

valuesOf  (Test.Prop)

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

~

~>  (Test.Prop)

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