Data.Numerals.Decimal
- data DecimalDigit
- decimal_digit_to_integral :: Integral n => DecimalDigit -> n
- unsafe_integral_digit_to_decimal_digit :: Integral n => n -> DecimalDigit
- integral_to_digits :: Integral n => n -> [DecimalDigit]
- digits_to_integral :: Integral n => [DecimalDigit] -> n
- prop_decimal_digit_round_trip :: [DecimalDigit] -> Bool
- prop_positive_integral_round_trip :: Integral n => n -> Bool
Documentation
data DecimalDigit Source
decimal_digit_to_integral :: Integral n => DecimalDigit -> nSource
Takes a DecimalDigit to its Integral form
unsafe_integral_digit_to_decimal_digit :: Integral n => n -> DecimalDigitSource
Takes an Integral digit to a DecimalDigit. This function is partial on a set of Integrals.
integral_to_digits :: Integral n => n -> [DecimalDigit]Source
digits_to_integral :: Integral n => [DecimalDigit] -> nSource
prop_positive_integral_round_trip :: Integral n => n -> BoolSource