Integer package:dhall

Integer                                  ~  Integer
Decode an Integer.
>>> input integer "+42"
42
IntegerClamp                             ~  Integer/clamp
IntegerLit n                             ~  ±n
IntegerNegate                            ~  Integer/negate
IntegerShow                              ~  Integer/show
IntegerToDouble                          ~  Integer/toDouble
Parse an Integer literal This corresponds to the integer-literal rule from the official grammar
NaturalToInteger                         ~  Natural/toInteger
Parse the Integer built-in This corresponds to the Integer rule from the official grammar
Parse the Integer/clamp built-in This corresponds to the Integer-clamp rule from the official grammar
Parse the Integer/negate built-in This corresponds to the Integer-negate rule from the official grammar
Parse the Integer/show built-in This corresponds to the Integer-show rule from the official grammar
Parse the Integer/toDouble built-in This corresponds to the Integer-toDouble rule from the official grammar
Parse the Natural/toInteger built-in This corresponds to the Natural-toInteger rule from the official grammar