Moduletext-printer-0.5.0.2Haskell2010

Text.Printer.Integral

Print integral numbers in common positional numeral systems.

6 types
2 classes
44 values

Packagetext-printer-0.5.0.2
Exports52
LanguageHaskell2010
LicenceBSD-3-Clause
SourceIntegral.hs

Positional systems

8 declarations

classclass 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

Instances6PositionalSystem

PositionalSystem BinaryDefined in text-printer-0.5.0.2 · Text.Printer.Integral
PositionalSystem DecimalDefined in text-printer-0.5.0.2 · Text.Printer.Integral
PositionalSystem HexadecimalDefined in text-printer-0.5.0.2 · Text.Printer.Integral
PositionalSystem LowHexDefined in text-printer-0.5.0.2 · Text.Printer.Integral
PositionalSystem OctalDefined in text-printer-0.5.0.2 · Text.Printer.Integral
PositionalSystem UpHexDefined in text-printer-0.5.0.2 · Text.Printer.Integral

classclass 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.

Instances5BitSystem

BitSystem BinaryDefined in text-printer-0.5.0.2 · Text.Printer.Integral
BitSystem HexadecimalDefined in text-printer-0.5.0.2 · Text.Printer.Integral
BitSystem LowHexDefined in text-printer-0.5.0.2 · Text.Printer.Integral
BitSystem OctalDefined in text-printer-0.5.0.2 · Text.Printer.Integral
BitSystem UpHexDefined in text-printer-0.5.0.2 · Text.Printer.Integral

datadata Binary

The binary numeral system.

Binary

Instances8Eq, Ord, Read, Show, Generic, BitSystem, …

Eq BinaryDefined in text-printer-0.5.0.2 · Text.Printer.Integral
Ord BinaryDefined in text-printer-0.5.0.2 · Text.Printer.Integral
Read BinaryDefined in text-printer-0.5.0.2 · Text.Printer.Integral
Show BinaryDefined in text-printer-0.5.0.2 · Text.Printer.Integral
Generic BinaryDefined in text-printer-0.5.0.2 · Text.Printer.Integral
BitSystem BinaryDefined in text-printer-0.5.0.2 · Text.Printer.Integral
PositionalSystem BinaryDefined in text-printer-0.5.0.2 · Text.Printer.Integral
type Rep Binary = D1 ('MetaData "Binary" "Text.Printer.Integral" "text-printer-0.5.0.2-1bWqb3MFQIg8VOCQKIXP9Z" 'False) (C1 ('MetaCons "Binary" 'PrefixI 'False) U1)Defined in text-printer-0.5.0.2 · Text.Printer.Integral

datadata Octal

The octal numeral system.

Octal

Instances8Eq, Ord, Read, Show, Generic, BitSystem, …

Eq OctalDefined in text-printer-0.5.0.2 · Text.Printer.Integral
Ord OctalDefined in text-printer-0.5.0.2 · Text.Printer.Integral
Read OctalDefined in text-printer-0.5.0.2 · Text.Printer.Integral
Show OctalDefined in text-printer-0.5.0.2 · Text.Printer.Integral
Generic OctalDefined in text-printer-0.5.0.2 · Text.Printer.Integral
BitSystem OctalDefined in text-printer-0.5.0.2 · Text.Printer.Integral
PositionalSystem OctalDefined in text-printer-0.5.0.2 · Text.Printer.Integral
type Rep Octal = D1 ('MetaData "Octal" "Text.Printer.Integral" "text-printer-0.5.0.2-1bWqb3MFQIg8VOCQKIXP9Z" 'False) (C1 ('MetaCons "Octal" 'PrefixI 'False) U1)Defined in text-printer-0.5.0.2 · Text.Printer.Integral

datadata Decimal

The decimal numeral system.

Decimal

Instances7Eq, Ord, Read, Show, Generic, PositionalSystem, …

Eq DecimalDefined in text-printer-0.5.0.2 · Text.Printer.Integral
Ord DecimalDefined in text-printer-0.5.0.2 · Text.Printer.Integral
Read DecimalDefined in text-printer-0.5.0.2 · Text.Printer.Integral
Show DecimalDefined in text-printer-0.5.0.2 · Text.Printer.Integral
Generic DecimalDefined in text-printer-0.5.0.2 · Text.Printer.Integral
PositionalSystem DecimalDefined in text-printer-0.5.0.2 · Text.Printer.Integral
type Rep Decimal = D1 ('MetaData "Decimal" "Text.Printer.Integral" "text-printer-0.5.0.2-1bWqb3MFQIg8VOCQKIXP9Z" 'False) (C1 ('MetaCons "Decimal" 'PrefixI 'False) U1)Defined in text-printer-0.5.0.2 · Text.Printer.Integral

datadata Hexadecimal

The hexadecimal numeral system.

Hexadecimal

Instances8Eq, Ord, Read, Show, Generic, BitSystem, …

Eq HexadecimalDefined in text-printer-0.5.0.2 · Text.Printer.Integral
Ord HexadecimalDefined in text-printer-0.5.0.2 · Text.Printer.Integral
Read HexadecimalDefined in text-printer-0.5.0.2 · Text.Printer.Integral
Show HexadecimalDefined in text-printer-0.5.0.2 · Text.Printer.Integral
Generic HexadecimalDefined in text-printer-0.5.0.2 · Text.Printer.Integral
BitSystem HexadecimalDefined in text-printer-0.5.0.2 · Text.Printer.Integral
PositionalSystem HexadecimalDefined in text-printer-0.5.0.2 · Text.Printer.Integral
type Rep Hexadecimal = D1 ('MetaData "Hexadecimal" "Text.Printer.Integral" "text-printer-0.5.0.2-1bWqb3MFQIg8VOCQKIXP9Z" 'False) (C1 ('MetaCons "Hexadecimal" 'PrefixI 'False) U1)Defined in text-printer-0.5.0.2 · Text.Printer.Integral

datadata LowHex

The hexadecimal numeral system, using lower case digits.

LowHex

Instances8Eq, Ord, Read, Show, Generic, BitSystem, …

Eq LowHexDefined in text-printer-0.5.0.2 · Text.Printer.Integral
Ord LowHexDefined in text-printer-0.5.0.2 · Text.Printer.Integral
Read LowHexDefined in text-printer-0.5.0.2 · Text.Printer.Integral
Show LowHexDefined in text-printer-0.5.0.2 · Text.Printer.Integral
Generic LowHexDefined in text-printer-0.5.0.2 · Text.Printer.Integral
BitSystem LowHexDefined in text-printer-0.5.0.2 · Text.Printer.Integral
PositionalSystem LowHexDefined in text-printer-0.5.0.2 · Text.Printer.Integral
type Rep LowHex = D1 ('MetaData "LowHex" "Text.Printer.Integral" "text-printer-0.5.0.2-1bWqb3MFQIg8VOCQKIXP9Z" 'False) (C1 ('MetaCons "LowHex" 'PrefixI 'False) U1)Defined in text-printer-0.5.0.2 · Text.Printer.Integral

datadata UpHex

The hexadecimal numeral system, using upper case digits.

UpHex

Instances8Eq, Ord, Read, Show, Generic, BitSystem, …

Eq UpHexDefined in text-printer-0.5.0.2 · Text.Printer.Integral
Ord UpHexDefined in text-printer-0.5.0.2 · Text.Printer.Integral
Read UpHexDefined in text-printer-0.5.0.2 · Text.Printer.Integral
Show UpHexDefined in text-printer-0.5.0.2 · Text.Printer.Integral
Generic UpHexDefined in text-printer-0.5.0.2 · Text.Printer.Integral
BitSystem UpHexDefined in text-printer-0.5.0.2 · Text.Printer.Integral
PositionalSystem UpHexDefined in text-printer-0.5.0.2 · Text.Printer.Integral
type Rep UpHex = D1 ('MetaData "UpHex" "Text.Printer.Integral" "text-printer-0.5.0.2-1bWqb3MFQIg8VOCQKIXP9Z" 'False) (C1 ('MetaCons "UpHex" 'PrefixI 'False) U1)Defined in text-printer-0.5.0.2 · Text.Printer.Integral

Numeral printers

44 declarations

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

valuenonPositive :: (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".

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

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

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

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

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

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

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

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

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

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

valuenpBits :: (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".

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

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

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

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

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

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

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

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

valuenumber'

:: (PositionalSystem s, 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.

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

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

valuebinary'

:: (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.

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

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

valueoctal'

:: (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.

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

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

valuedecimal'

:: (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.

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

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

valuelowHex'

:: (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.

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

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

valueupHex'

:: (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.

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

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

valuebits'

:: (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.

valuebits :: (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.

valuebinaryBits'

:: (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.

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

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

valueoctalBits'

:: (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.

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

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

valuelowHexBits'

:: (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.

valuelowHexBits :: (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.

valueupHexBits'

:: (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.

valueupHexBits :: (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.