/Prelude-v23.0.0/Natural

Exported files:

• build
• build.dhall:

  (∀(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
• fold.dhall:

  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