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