Moduletext-printer-0.5.0.2Haskell2010

Text.Printer.Integral

Print integral numbers in common positional numeral systems.

Contents

Positional systems
Numeral printers

Synopsis

class PositionalSystem
class BitSystem
data Binary
data Octal
data Decimal
data Hexadecimal
data LowHex
data UpHex
value nonNegative
value nnBinary
value nnOctal
value nnDecimal
value nnLowHex
value nnUpHex
value nnBits
value nnBinaryBits
value nnOctalBits
value nnLowHexBits
value nnUpHexBits
value nonPositive
value npBinary
value npOctal
value npDecimal
value npLowHex
value npUpHex
value npBits
value npBinaryBits
value npOctalBits
value npLowHexBits
value npUpHexBits
value number'
value number
value binary'
value binary
value octal'
value octal
value decimal'
value decimal
value lowHex'
value lowHex
value upHex'
value upHex
value bits'
value bits
value binaryBits'
value binaryBits
value octalBits'
value octalBits
value lowHexBits'
value lowHexBits
value upHexBits'
value upHexBits

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

Positional systems

classclass PositionalSystem s where

Source#

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

Source#

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

Source#

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-8cUAwqiswVPATcJ4CuGnx5" 'False) (C1 ('MetaCons "Binary" 'PrefixI 'False) U1)Defined in text-printer-0.5.0.2 · Text.Printer.Integral

datadata Octal

Source#

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-8cUAwqiswVPATcJ4CuGnx5" 'False) (C1 ('MetaCons "Octal" 'PrefixI 'False) U1)Defined in text-printer-0.5.0.2 · Text.Printer.Integral

datadata Decimal

Source#

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-8cUAwqiswVPATcJ4CuGnx5" 'False) (C1 ('MetaCons "Decimal" 'PrefixI 'False) U1)Defined in text-printer-0.5.0.2 · Text.Printer.Integral

datadata Hexadecimal

Source#

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-8cUAwqiswVPATcJ4CuGnx5" 'False) (C1 ('MetaCons "Hexadecimal" 'PrefixI 'False) U1)Defined in text-printer-0.5.0.2 · Text.Printer.Integral

datadata LowHex

Source#

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-8cUAwqiswVPATcJ4CuGnx5" 'False) (C1 ('MetaCons "LowHex" 'PrefixI 'False) U1)Defined in text-printer-0.5.0.2 · Text.Printer.Integral

datadata UpHex

Source#

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-8cUAwqiswVPATcJ4CuGnx5" 'False) (C1 ('MetaCons "UpHex" 'PrefixI 'False) U1)Defined in text-printer-0.5.0.2 · Text.Printer.Integral

Numeral printers

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

Source#

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

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

Source#

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

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

Source#

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

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

Source#

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

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

Source#

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

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

Source#

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

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

Source#

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

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

Source#

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

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

Source#

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

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

Source#

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

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

Source#

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

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

Source#

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

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

Source#

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

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

Source#

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

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

Source#

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

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

Source#

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

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

Source#

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

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

Source#

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

Source#

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

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

Source#

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

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

Source#

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

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

Source#

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

Source#

Print a number in the specified positional numeral system.

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

Source#

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

Source#

Print a number in the binary numeral system.

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

Source#

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

Source#

Print a number in the octal numeral system.

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

Source#

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

Source#

Print a number in the decimal numeral system.

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

Source#

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

Source#

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

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

Source#

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

Source#

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

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

Source#

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

Source#

Print a binary number in the specified positional numeral system.

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

Source#

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

Source#

Print a binary number in the binary numeral system.

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

Source#

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

Source#

Print a binary number in the octal numeral system.

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

Source#

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

Source#

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

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

Source#

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

Source#

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

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

Source#

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