/Natural

/Prelude-v17.0.0/Natural

Copy path to clipboard

Exported files:

(∀(natural : Type) → ∀(succ : natural → natural) → ∀(zero : natural) → natural) → Natural

enumerate:
```
Natural → List Natural
```
equal:
```
Natural → Natural → Bool
```
even:
```
Natural → Bool
```

Natural → ∀(natural : Type) → ∀(succ : natural → natural) → ∀(zero : natural) → natural

greaterThan:
```
Natural → Natural → Bool
```
greaterThanEqual:
```
Natural → Natural → Bool
```
isZero:
```
Natural → Bool
```
lessThan:
```
Natural → Natural → Bool
```
lessThanEqual:
```
Natural → Natural → Bool
```
listMax:
```
List Natural → Optional Natural
```
listMin:
```
List Natural → Optional Natural
```
max:
```
Natural → Natural → Natural
```
min:
```
Natural → Natural → Natural
```
odd:
```
Natural → Bool
```
package.dhall
product:
```
List Natural → Natural
```
show:
```
Natural → Text
```
sort:
```
List Natural → List Natural
```
subtract:
```
Natural → Natural → Natural
```
sum:
```
List Natural → Natural
```
toDouble:
```
Natural → Double
```
toInteger:
```
Natural → Integer
```