natural package:dhall

Decode a Natural.

>>> input natural "42"
42

Natural :: Expr s a

dhall Dhall.Core

Natural                                  ~  Natural

data () => Natural

dhall Dhall.Marshal.Decode Dhall.Marshal.Encode

Natural number Invariant: numbers <= 0xffffffffffffffff use the NS constructor

naturalLiteral :: Parser Natural

dhall Dhall.Parser.Token

Parse a Natural literal This corresponds to the natural-literal rule from the official grammar

NaturalBuild :: Expr s a

dhall Dhall.Core

NaturalBuild                             ~  Natural/build

NaturalEven :: Expr s a

dhall Dhall.Core

NaturalEven                              ~  Natural/even

NaturalFold :: Expr s a

dhall Dhall.Core

NaturalFold                              ~  Natural/fold

NaturalIsZero :: Expr s a

dhall Dhall.Core

NaturalIsZero                            ~  Natural/isZero

NaturalLit :: Natural -> Expr s a

dhall Dhall.Core

NaturalLit n                             ~  n

NaturalOdd :: Expr s a

dhall Dhall.Core

NaturalOdd                               ~  Natural/odd

NaturalPlus :: Expr s a -> Expr s a -> Expr s a

dhall Dhall.Core

NaturalPlus x y                          ~  x + y

NaturalShow :: Expr s a

dhall Dhall.Core

NaturalShow                              ~  Natural/show

NaturalSubtract :: Expr s a

dhall Dhall.Core

NaturalSubtract                          ~  Natural/subtract

NaturalTimes :: Expr s a -> Expr s a -> Expr s a

dhall Dhall.Core

NaturalTimes x y                         ~  x * y

NaturalToInteger :: Expr s a

dhall Dhall.Core

NaturalToInteger                         ~  Natural/toInteger

_Natural :: Parser ()

dhall Dhall.Parser.Token

Parse the Natural built-in This corresponds to the Natural rule from the official grammar

_NaturalBuild :: Parser ()

dhall Dhall.Parser.Token

Parse the Natural/build built-in This corresponds to the Natural-build rule from the official grammar

_NaturalEven :: Parser ()

dhall Dhall.Parser.Token

Parse the Natural/even built-in This corresponds to the Natural-even rule from the official grammar

_NaturalFold :: Parser ()

dhall Dhall.Parser.Token

Parse the Natural/fold built-in This corresponds to the Natural-fold rule from the official grammar

_NaturalIsZero :: Parser ()

dhall Dhall.Parser.Token

Parse the Natural/isZero built-in This corresponds to the Natural-isZero rule from the official grammar

_NaturalOdd :: Parser ()

dhall Dhall.Parser.Token

Parse the Natural/odd built-in This corresponds to the Natural-odd rule from the official grammar

_NaturalShow :: Parser ()

dhall Dhall.Parser.Token

Parse the Natural/show built-in This corresponds to the Natural-show rule from the official grammar

_NaturalSubtract :: Parser ()

dhall Dhall.Parser.Token

Parse the Natural/subtract built-in This corresponds to the Natural-subtract rule from the official grammar

_NaturalToInteger :: Parser ()

dhall Dhall.Parser.Token

Parse the Natural/toInteger built-in This corresponds to the Natural-toInteger rule from the official grammar