Toggle navigation
KiCS2
All operations
All constructors
Curry Homepage
KiCS2 Libraries
About CurryDoc
Index to all operations
A
F
L
M
S
T
_
A
add
(
Data.Nat
)
A
F
L
M
S
T
_
F
fromNat
(
Data.Nat
)
A
F
L
M
S
T
_
L
leq
(
Data.Nat
)
A
F
L
M
S
T
_
M
mul
(
Data.Nat
)
A
F
L
M
S
T
_
S
sub
(
Data.Nat
)
A
F
L
M
S
T
_
T
toNat
(
Data.Nat
)
A
F
L
M
S
T
_
_
_impl#*#Prelude.Num#Data.Nat.Nat
(
Data.Nat
)
_impl#+#Prelude.Num#Data.Nat.Nat
(
Data.Nat
)
_impl#-#Prelude.Num#Data.Nat.Nat
(
Data.Nat
)
_impl#/=#Prelude.Eq#Data.Nat.Nat
(
Data.Nat
)
_impl#==#Prelude.Eq#Data.Nat.Nat
(
Data.Nat
)
_impl#abs#Prelude.Num#Data.Nat.Nat
(
Data.Nat
)
_impl#fromInt#Prelude.Num#Data.Nat.Nat
(
Data.Nat
)
_impl#negate#Prelude.Num#Data.Nat.Nat
(
Data.Nat
)
_impl#readList#Prelude.Read#Data.Nat.Nat
(
Data.Nat
)
_impl#readsPrec#Prelude.Read#Data.Nat.Nat
(
Data.Nat
)
_impl#show#Prelude.Show#Data.Nat.Nat
(
Data.Nat
)
_impl#showList#Prelude.Show#Data.Nat.Nat
(
Data.Nat
)
_impl#showsPrec#Prelude.Show#Data.Nat.Nat
(
Data.Nat
)
_impl#signum#Prelude.Num#Data.Nat.Nat
(
Data.Nat
)
_inst#Prelude.Eq#Data.Nat.Nat
(
Data.Nat
)
_inst#Prelude.Num#Data.Nat.Nat
(
Data.Nat
)
_inst#Prelude.Read#Data.Nat.Nat
(
Data.Nat
)
_inst#Prelude.Show#Data.Nat.Nat
(
Data.Nat
)
A
F
L
M
S
T
_