Text.Printer.Integral

Print integral numbers in common positional numeral systems.

Positional systems

class PositionalSystem s where

Positional numeral system.

Methods

systemName :: s -> String

The name of the system (e.g. "binary", "decimal").

radixIn :: Num α => s -> α

The radix of the system.

isDigitIn :: s -> Char -> Bool

Test if a character is a digit.

isNzDigitIn :: s -> Char -> Bool

Test if a character is a non-zero digit.

fromDigitIn :: Num α => s -> Char -> Maybe α

Map digits to the corresponding numbers. Return Nothing on other inputs.

fromNzDigitIn :: Num α => s -> Char -> Maybe α

Map non-zero digits to the corresponding numbers. Return Nothing on other inputs.

unsafeFromDigitIn :: Num α => s -> Char -> α

Map digits to the corresponding numbers. No checks are performed.

intToDigitIn :: s -> Int -> Char

Map Int values to the corresponding digits. Inputs must be non-negative and less than the radix.

printDigitIn :: Printer p => s -> Char -> p

Print a digit.

printZeroIn :: Printer p => s -> p

Instances

PositionalSystem UpHex

PositionalSystem LowHex

PositionalSystem Hexadecimal

PositionalSystem Decimal

PositionalSystem Octal

PositionalSystem Binary

class PositionalSystem s => BitSystem s where

Positonal numeral system with a power of two radix.

Methods

digitBitsIn :: s -> Int

Numer of bits occupied by a digit.

digitMaskIn :: Num α => s -> α

The number that has digitBitsIn least significant bits set to ones and all the other bits set to zeroes.

lastDigitIn :: Bits α => s -> α -> Int

Map the last digit of a number to the corresponding Int value.

Instances

BitSystem UpHex

BitSystem LowHex

BitSystem Hexadecimal

BitSystem Octal

BitSystem Binary

data Binary

The binary numeral system.

Constructors

Binary

Instances

Eq Binary

Ord Binary

Read Binary

Show Binary

Typeable Binary

BitSystem Binary

PositionalSystem Binary

data Octal

The octal numeral system.

Constructors

Octal

Instances

Eq Octal

Ord Octal

Read Octal

Show Octal

Typeable Octal

BitSystem Octal

PositionalSystem Octal

data Decimal

The decimal numeral system.

Constructors

Decimal

Instances

Eq Decimal

Ord Decimal

Read Decimal

Show Decimal

Typeable Decimal

PositionalSystem Decimal

data Hexadecimal

The hexadecimal numeral system.

Constructors

Hexadecimal

Instances

BitSystem Hexadecimal

PositionalSystem Hexadecimal

data LowHex

The hexadecimal numeral system, using lower case digits.

Constructors

LowHex

Instances

BitSystem LowHex

PositionalSystem LowHex

data UpHex

The hexadecimal numeral system, using upper case digits.

Constructors

UpHex

Instances

BitSystem UpHex

PositionalSystem UpHex

Numeral printers

nonNegative :: (PositionalSystem s, Integral α, Printer p) => s -> α -> p

Print a non-negative number in the specified positional numeral system.

nnBinary :: (Integral α, Printer p) => α -> p

Print a non-negative number in the binary numeral system.

nnOctal :: (Integral α, Printer p) => α -> p

Print a non-negative number in the octal numeral system.

nnDecimal :: (Integral α, Printer p) => α -> p

Print a non-negative number in the decimal numeral system.

nnLowHex :: (Integral α, Printer p) => α -> p

Print a non-negative number in the hexadecimal numeral system using lower case digits.

nnUpHex :: (Integral α, Printer p) => α -> p

Print a non-negative number in the hexadecimal numeral system using upper case digits.

nnBits :: (BitSystem s, Num α, Bits α, Printer p) => s -> α -> p

Print a non-negative binary number in the specified positional numeral system.

nnBinaryBits :: (Num α, Bits α, Printer p) => α -> p

Print a non-negative binary number in the binary numeral system.

nnOctalBits :: (Num α, Bits α, Printer p) => α -> p

Print a non-negative binary number in the octal numeral system.

nnLowHexBits :: (Num α, Bits α, Printer p) => α -> p

Print a non-negative binary number in the hexadecimal numeral system using lower case digits.

nnUpHexBits :: (Num α, Bits α, Printer p) => α -> p

Print a non-negative binary number in the hexadecimal numeral system using upper case digits.

nonPositive :: (PositionalSystem s, Integral α, Printer p) => s -> α -> p

Print a non-positive number in the specified positional numeral system. For example, nonPositive Decimal (-123) would print "123".

npBinary :: (Integral α, Printer p) => α -> p

Print a non-positive number in the binary numeral system.

npOctal :: (Integral α, Printer p) => α -> p

Print a non-positive number in the octal numeral system.

npDecimal :: (Integral α, Printer p) => α -> p

Print a non-positive number in the decimal numeral system.

npLowHex :: (Integral α, Printer p) => α -> p

Print a non-positive number in the hexadecimal numeral system using lower case digits.

npUpHex :: (Integral α, Printer p) => α -> p

Print a non-positive number in the hexadecimal numeral system using upper case digits.

npBits :: (BitSystem s, Ord α, Num α, Bits α, Printer p) => s -> α -> p

Print a non-positive two-compliment binary number in the specified positional numeral system. For example, npBits UpHex (-0xABC) would print "ABC".

npBinaryBits :: (Ord α, Num α, Bits α, Printer p) => α -> p

Print a non-positive binary number in the binary numeral system.

npOctalBits :: (Ord α, Num α, Bits α, Printer p) => α -> p

Print a non-positive binary number in the octal numeral system.

npLowHexBits :: (Ord α, Num α, Bits α, Printer p) => α -> p

Print a non-positive binary number in the hexadecimal numeral system using lower case digits.

npUpHexBits :: (Ord α, Num α, Bits α, Printer p) => α -> p

Print a non-positive binary number in the hexadecimal numeral system using upper case digits.

number'

Arguments

:: (PositionalSystem s, Ord α, Integral α, Printer p)

=> s

-> p

Prefix for negative values

-> p

Zero printer

-> p

Prefix for positive values

-> α

-> p

Print a number in the specified positional numeral system.

number :: (PositionalSystem s, Ord α, Integral α, Printer p) => s -> α -> p

Print a number in the specified positional numeral system. Negative values are prefixed with a minus sign.

binary'

Arguments

:: (Ord α, Integral α, Printer p)

=> p

Prefix for negative values

-> p

Zero printer

-> p

Prefix for positive values

-> α

-> p

Print a number in the binary numeral system.

binary :: (Ord α, Integral α, Printer p) => α -> p

Print a number in the binary numeral system. Negative values are prefixed with a minus sign.

octal'

Arguments

:: (Ord α, Integral α, Printer p)

=> p

Prefix for negative values

-> p

Zero printer

-> p

Prefix for positive values

-> α

-> p

Print a number in the octal numeral system.

octal :: (Ord α, Integral α, Printer p) => α -> p

Print a number in the octal numeral system. Negative values are prefixed with a minus sign.

decimal'

Arguments

:: (Ord α, Integral α, Printer p)

=> p

Prefix for negative values

-> p

Zero printer

-> p

Prefix for positive values

-> α

-> p

Print a number in the decimal numeral system.

decimal :: (Ord α, Integral α, Printer p) => α -> p

Print a number in the decimal numeral system. Negative values are prefixed with a minus sign.

lowHex'

Arguments

:: (Ord α, Integral α, Printer p)

=> p

Prefix for negative values

-> p

Zero printer

-> p

Prefix for positive values

-> α

-> p

Print a number in the hexadecimal numeral system using lower case digits.

lowHex :: (Ord α, Integral α, Printer p) => α -> p

Print a number in the hexadecimal numeral system using lower case digits. Negative values are prefixed with a minus sign.

upHex'

Arguments

:: (Ord α, Integral α, Printer p)

=> p

Prefix for negative values

-> p

Zero printer

-> p

Prefix for positive values

-> α

-> p

Print a number in the hexadecimal numeral system using upper case digits.

upHex :: (Ord α, Integral α, Printer p) => α -> p

Print a number in the hexadecimal numeral system using upper case digits. Negative values are prefixed with a minus sign.

bits'

Arguments

:: (BitSystem s, Ord α, Num α, Bits α, Printer p)

=> s

-> p

Prefix for negative values

-> p

Zero printer

-> p

Prefix for positive values

-> α

-> p

Print a binary number in the specified positional numeral system.

bits :: (BitSystem s, Ord α, Num α, Bits α, Printer p) => s -> α -> p

Print a binary number in the specified positional numeral system. Negative values are prefixed with a minus sign.

binaryBits'

Arguments

:: (Ord α, Num α, Bits α, Printer p)

=> p

Prefix for negative values

-> p

Zero printer

-> p

Prefix for positive values

-> α

-> p

Print a binary number in the binary numeral system.

binaryBits :: (Ord α, Num α, Bits α, Printer p) => α -> p

Print a binary number in the binary numeral system. Negative values are prefixed with a minus sign.

octalBits'

Arguments

:: (Ord α, Num α, Bits α, Printer p)

=> p

Prefix for negative values

-> p

Zero printer

-> p

Prefix for positive values

-> α

-> p

Print a binary number in the octal numeral system.

octalBits :: (Ord α, Num α, Bits α, Printer p) => α -> p

Print a binary number in the octal numeral system. Negative values are prefixed with a minus sign.

lowHexBits'

Arguments

:: (Ord α, Num α, Bits α, Printer p)

=> p

Prefix for negative values

-> p

Zero printer

-> p

Prefix for positive values

-> α

-> p

Print a binary number in the hexadecimal numeral system using lower case digits.

lowHexBits :: (Ord α, Num α, Bits α, Printer p) => α -> p

Print a binary number in the hexadecimal numeral system using lower case digits. Negative values are prefixed with a minus sign.

upHexBits'

Arguments

:: (Ord α, Num α, Bits α, Printer p)

=> p

Prefix for negative values

-> p

Zero printer

-> p

Prefix for positive values

-> α

-> p

Print a binary number in the hexadecimal numeral system using upper case digits.

upHexBits :: (Ord α, Num α, Bits α, Printer p) => α -> p

Print a binary number in the hexadecimal numeral system using upper case digits. Negative values are prefixed with a minus sign.