Index to all operations

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

#

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

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

*

*^  (Data.BinInt)
*#  (Data.BinInt)

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

+

+^  (Data.BinInt)
+#  (Data.BinInt)

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

-

-^  (Data.BinInt)
-#  (Data.BinInt)
-=-  (Test.Prop)

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

<

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

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

=

==>  (Test.Prop)

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

A

always  (Test.Prop)

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

C

cmpNat  (Data.BinInt)
cmpInteger  (Data.BinInt)
classify  (Test.Prop)
collect  (Test.Prop)
collectAs  (Test.Prop)

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

D

div2  (Data.BinInt)
dec  (Data.BinInt)
divModInteger  (Data.BinInt)
divInteger  (Data.BinInt)
deterministic  (Test.Prop)

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

E

eventually  (Test.Prop)

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

F

fromNat  (Data.BinInt)
fromNat'post  (Data.BinInt)
fromBinInt  (Data.BinInt)
failing  (Test.Prop)
for  (Test.Prop)
forAll  (Test.Prop)

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

I

inc  (Data.BinInt)
is  (Test.Prop)
isAlways  (Test.Prop)
isEventually  (Test.Prop)

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

L

lteqInteger  (Data.BinInt)
label  (Test.Prop)

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

M

mult2  (Data.BinInt)
mod2  (Data.BinInt)
modInteger  (Data.BinInt)

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

N

neg  (Data.BinInt)

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

P

pred  (Data.BinInt)

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

Q

quotRemNat  (Data.BinInt)
quotRemInteger  (Data.BinInt)
quotInteger  (Data.BinInt)

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

R

remInteger  (Data.BinInt)
returns  (Test.Prop)

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

S

succ  (Data.BinInt)
sameReturns  (Test.Prop)
solutionOf  (Test.Prop)
successful  (Test.Prop)

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

T

toNat  (Data.BinInt)
toNat'pre  (Data.BinInt)
toBinInt  (Data.BinInt)
toError  (Test.Prop)
toIOError  (Test.Prop)
trivial  (Test.Prop)

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

U

uniquely  (Test.Prop)

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

V

valuesOf  (Test.Prop)

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

~

~>  (Test.Prop)

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