Toggle navigation
PAKCS
All operations
All constructors
Curry Homepage
PAKCS Libraries
About CurryDoc
Index to all operations
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
_
*
*#
(
BinInt
)
*^
(
BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
_
+
+#
(
BinInt
)
+^
(
BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
_
-
-#
(
BinInt
)
-^
(
BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
_
C
cmpInteger
(
BinInt
)
cmpNat
(
BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
_
D
dec
(
BinInt
)
div2
(
BinInt
)
divInteger
(
BinInt
)
divModInteger
(
BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
_
F
fromBinInt
(
ConvertBinInt
)
fromNat
(
ConvertBinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
_
I
inc
(
BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
_
L
lteqInteger
(
BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
_
M
mod2
(
BinInt
)
modInteger
(
BinInt
)
mult2
(
BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
_
N
neg
(
BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
_
P
pred
(
BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
_
Q
quotInteger
(
BinInt
)
quotRemInteger
(
BinInt
)
quotRemNat
(
BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
_
R
remInteger
(
BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
_
S
succ
(
BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
_
_
_impl#/=#Prelude.Eq#BinInt.BinInt
(
BinInt
)
_impl#/=#Prelude.Eq#BinInt.Nat
(
BinInt
)
_impl#==#Prelude.Eq#BinInt.BinInt
(
BinInt
)
_impl#==#Prelude.Eq#BinInt.Nat
(
BinInt
)
_impl#show#Prelude.Show#BinInt.BinInt
(
BinInt
)
_impl#show#Prelude.Show#BinInt.Nat
(
BinInt
)
_impl#showList#Prelude.Show#BinInt.BinInt
(
BinInt
)
_impl#showList#Prelude.Show#BinInt.Nat
(
BinInt
)
_impl#showsPrec#Prelude.Show#BinInt.BinInt
(
BinInt
)
_impl#showsPrec#Prelude.Show#BinInt.Nat
(
BinInt
)
_inst#Prelude.Eq#BinInt.BinInt
(
BinInt
)
_inst#Prelude.Eq#BinInt.Nat
(
BinInt
)
_inst#Prelude.Show#BinInt.BinInt
(
BinInt
)
_inst#Prelude.Show#BinInt.Nat
(
BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
_