Package peano
All operations
All constructors
All type classes
Module Index
Base Libraries
Curry Packages
Curry Homepage
About CurryDoc
🌙
☀️
Index to all constructors
A
F
O
P
S
T
U
Z
A
Ambigious
(
Test.Prop.Types
)
A
F
O
P
S
T
U
Z
F
Falsified
(
Test.Prop.Types
)
A
F
O
P
S
T
U
Z
O
Ok
(
Test.Prop.Types
)
A
F
O
P
S
T
U
Z
P
PropIO
(
Test.Prop.Types
)
Prop
(
Test.Prop.Types
)
A
F
O
P
S
T
U
Z
S
S
(
Data.Nat
)
A
F
O
P
S
T
U
Z
T
Test
(
Test.Prop.Types
)
A
F
O
P
S
T
U
Z
U
Undef
(
Test.Prop.Types
)
A
F
O
P
S
T
U
Z
Z
Z
(
Data.Nat
)
A
F
O
P
S
T
U
Z