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
T
_
*
*#
(
Data.BinInt
)
*^
(
Data.BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
T
_
+
+#
(
Data.BinInt
)
+^
(
Data.BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
T
_
-
-#
(
Data.BinInt
)
-^
(
Data.BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
T
_
C
cmpInteger
(
Data.BinInt
)
cmpNat
(
Data.BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
T
_
D
dec
(
Data.BinInt
)
div2
(
Data.BinInt
)
divInteger
(
Data.BinInt
)
divModInteger
(
Data.BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
T
_
F
fromBinInt
(
Data.BinInt
)
fromNat
(
Data.BinInt
)
fromNat'post
(
Data.BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
T
_
I
inc
(
Data.BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
T
_
L
lteqInteger
(
Data.BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
T
_
M
mod2
(
Data.BinInt
)
modInteger
(
Data.BinInt
)
mult2
(
Data.BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
T
_
N
neg
(
Data.BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
T
_
P
pred
(
Data.BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
T
_
Q
quotInteger
(
Data.BinInt
)
quotRemInteger
(
Data.BinInt
)
quotRemNat
(
Data.BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
T
_
R
remInteger
(
Data.BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
T
_
S
succ
(
Data.BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
T
_
T
toBinInt
(
Data.BinInt
)
toNat
(
Data.BinInt
)
toNat'pre
(
Data.BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
T
_
_
_impl#*#Prelude.Num#Data.BinInt.BinInt#
(
Data.BinInt
)
_impl#+#Prelude.Num#Data.BinInt.BinInt#
(
Data.BinInt
)
_impl#-#Prelude.Num#Data.BinInt.BinInt#
(
Data.BinInt
)
_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#abs#Prelude.Num#Data.BinInt.BinInt#
(
Data.BinInt
)
_impl#aValue#Prelude.Data#Data.BinInt.BinInt#
(
Data.BinInt
)
_impl#aValue#Prelude.Data#Data.BinInt.Nat#
(
Data.BinInt
)
_impl#fromInt#Prelude.Num#Data.BinInt.BinInt#
(
Data.BinInt
)
_impl#negate#Prelude.Num#Data.BinInt.BinInt#
(
Data.BinInt
)
_impl#readList#Prelude.Read#Data.BinInt.BinInt#
(
Data.BinInt
)
_impl#readList#Prelude.Read#Data.BinInt.Nat#
(
Data.BinInt
)
_impl#readsPrec#Prelude.Read#Data.BinInt.BinInt#
(
Data.BinInt
)
_impl#readsPrec#Prelude.Read#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
)
_impl#signum#Prelude.Num#Data.BinInt.BinInt#
(
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.Num#Data.BinInt.BinInt#
(
Data.BinInt
)
_inst#Prelude.Read#Data.BinInt.BinInt#
(
Data.BinInt
)
_inst#Prelude.Read#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
T
_