Double package:dhall

Double                                   ~  Double

Decode a Double.

>>> input double "42.0"
42.0

DoubleLit n                              ~  n

DoubleShow                               ~  Double/show

Parse a signed Infinity This corresponds to the minus-infinity-literal and plus-infinity-literal rules from the official grammar

Parse a Double literal This corresponds to the double-literal rule from the official grammar

This wrapper around Double exists for its Eq instance which is defined via the binary encoding of Dhall Doubles.

IntegerToDouble                          ~  Integer/toDouble

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

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

Parse the Integer/toDouble built-in This corresponds to the Integer-toDouble rule from the official grammar

Parse a double colon (::)

Parse the == symbol