Toggle navigation
PAKCS
All operations
All constructors
Curry Homepage
PAKCS 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.Eq#Data.Nat.Nat
(
Data.Nat
)
_impl#==#Prelude.Eq#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
)
_inst#Prelude.Eq#Data.Nat.Nat
(
Data.Nat
)
_inst#Prelude.Show#Data.Nat.Nat
(
Data.Nat
)
A
F
L
M
S
T
_