Safe Haskell | Safe-Inferred |
---|---|

Language | Haskell98 |

- nums1List :: [Symbol]
- basedIntegerSymbol :: Symbol
- rationalSymbol :: Symbol
- infinitySymbol :: Symbol
- eSymbol :: Symbol
- iSymbol :: Symbol
- piSymbol :: Symbol
- gammaSymbol :: Symbol
- naNSymbol :: Symbol

# Documentation

basedIntegerSymbol :: Symbol Source

This symbol represents the constructor function for integers, specifying the base. It takes two arguments, the first is a positive integer to denote the base to which the number is represented, the second argument is a string which contains an optional sign and the digits of the integer, using 0-9a-z (as a consequence of this no radix greater than 35 is supported). Base 16 and base 10 are already covered in the encodings of integers.

rationalSymbol :: Symbol Source

This symbol represents the constructor function for rational numbers. It takes two arguments, the first is an integer p to denote the numerator and the second a nonzero integer q to denote the denominator of the rational p/q.

infinitySymbol :: Symbol Source

A symbol to represent the notion of infinity.

This symbol represents the base of the natural logarithm, approximately 2.718. See Abramowitz and Stegun, Handbook of Mathematical Functions, section 4.1.

A symbol to convey the notion of pi, approximately 3.142. The ratio of the circumference of a circle to its diameter.

A symbol to convey the notion of the gamma constant as defined in
Abramowitz and Stegun, Handbook of Mathematical Functions, section 6.1.3. It
is the limit of 1 + 1*2 + 1*3 + ... + 1/m - ln m as m tends to infinity, this
is approximately 0.5772 15664.