/Natural

/Prelude-v20.0.0/Natural

Copy path to clipboard

Exported files:

build

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

enumerate
enumerate.dhall:
```
Natural → List Natural
```
equal
equal.dhall:
```
Natural → Natural → Bool
```
even
even.dhall:
```
Natural → Bool
```
fold

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

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