Data.Number.Functions

Common functions and constants

Documentation

precision :: Number -> Nat

Get the precision of a Number (i.e. length)

show' :: Number -> String

Alternative show function that pretty prints a Number also doing conversions from Peano numbers

fromList :: [Nat] -> Number

Create a Number from a list of naturals

toList :: Number -> [Nat]

Convert a Number to a list of naturals (losing the sign)

σ :: Number

The infinite continued fraction whose terms are naturals numbers

φ :: Number

The golden ratio

π :: Number

Pi: the ratio of a circle's circumference to its diameter

e :: Number

Euler's number: the base of the natural logarithm