Integer package:dhall
Decode an
Integer.
>>> input integer "+42"
42
IntegerClamp ~ Integer/clamp
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