Moduledata-textual-0.3.0.3Haskell2010

Data.Textual.Integral

Parsers for integral numbers written in positional numeral systems.

7 types
2 classes
65 values

Packagedata-textual-0.3.0.3
Exports74
LanguageHaskell2010
LicenceBSD-3-Clause
SourceIntegral.hs

Positional numeral 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

Single digits

14 declarations

valuedigitIn :: (PositionalSystem s, Num α, CharParsing μ) => s -> μ α

Parse a digit of the specified positional numeral system.

valuenzDigitIn :: (PositionalSystem s, Num α, CharParsing μ) => s -> μ α

Parse a non-zero digit of the specified positional numeral system.

valuebinDigit :: (Num α, CharParsing μ) => μ α

Parse a binary digit.

valuenzBinDigit :: (Num α, CharParsing μ) => μ α

Parse a non-zero binary digit ('1').

valueoctDigit :: (Num α, CharParsing μ) => μ α

Parse an octal digit.

valuenzOctDigit :: (Num α, CharParsing μ) => μ α

Parse a non-zero octal digit.

valuedecDigit :: (Num α, CharParsing μ) => μ α

Parse a decimal digit.

valuenzDecDigit :: (Num α, CharParsing μ) => μ α

Parse a non-zero decimal digit.

valuehexDigit :: (Num α, CharParsing μ) => μ α

Parse a hexadecimal digit.

valuenzHexDigit :: (Num α, CharParsing μ) => μ α

Parse a non-zero hexadecimal digit.

valuelowHexDigit :: (Num α, CharParsing μ) => μ α

Parse a lower case hexadecimal digit.

valuenzLowHexDigit :: (Num α, CharParsing μ) => μ α

Parse a non-zero lower case hexadecimal digit.

valueupHexDigit :: (Num α, CharParsing μ) => μ α

Parse an upper case hexadecimal digit.

valuenzUpHexDigit :: (Num α, CharParsing μ) => μ α

Parse a non-zero upper case hexadecimal digit.

Numbers

52 declarations

valuenonNegative

:: (PositionalSystem s, Num α, Monad μ, CharParsing μ)
=> s
-> μ α

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

valuennCompact :: (PositionalSystem s, Num α, Monad μ, CharParsing μ) => s -> μ α

Parse a non-negative number written in the specified positional numeral system. Leading zeroes are not allowed.

valuennUpTo

:: (PositionalSystem s, Num α, Monad μ, CharParsing μ)
=> s
-> Int
-> μ α

Parse a non-negative number written in the specified positional numeral system (up to n digits).

valuenncUpTo

:: (PositionalSystem s, Num α, Monad μ, CharParsing μ)
=> s
-> Int
-> μ α

Parse a non-negative number written in the specified positional numeral system (up to n digits). Leading zeroes are not allowed.

valuennBounded

:: (PositionalSystem s, Ord α, Bounded α, Integral α, Monad μ, CharParsing μ)
=> s
-> μ α

Parse a non-negative number written in the specified positional numeral system, failing on overflow.

valuenncBounded

:: (PositionalSystem s, Ord α, Bounded α, Integral α, Monad μ, CharParsing μ)
=> s
-> μ α

Parse a non-negative number written in the specified positional numeral system, failing on overflow. Leading zeroes are not allowed.

valuennBits :: (BitSystem s, Num α, Bits α, Monad μ, CharParsing μ) => s -> μ α

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

valuenncBits :: (BitSystem s, Num α, Bits α, Monad μ, CharParsing μ) => s -> μ α

Parse a non-negative binary number written in the specified positional numeral system. Leading zeroes are not allowed.

valuennBitsUpTo

:: (BitSystem s, Num α, Bits α, Monad μ, CharParsing μ)
=> s
-> Int
-> μ α

Parse a non-negative binary number written in the specified positional numeral system (up to n digits).

valuenncBitsUpTo

:: (BitSystem s, Num α, Bits α, Monad μ, CharParsing μ)
=> s
-> Int
-> μ α

Parse a non-negative binary number written in the specified positional numeral system (up to n digits). Leading zeroes are not allowed.

valuennbBits

:: (BitSystem s, Ord α, Bounded α, Num α, Bits α, Monad μ, CharParsing μ)
=> s
-> μ α

Parse a non-negative binary number written in the specified positional numeral system, failing on overflow.

valuenncbBits

:: (BitSystem s, Ord α, Bounded α, Num α, Bits α, Monad μ, CharParsing μ)
=> s
-> μ α

Parse a non-negative binary number written in the specified positional numeral system, failing on overflow. Leading zeroes are not allowed.

valuenonPositive

:: (PositionalSystem s, Num α, Monad μ, CharParsing μ)
=> s
-> μ α

Parse a non-positive number written in the specified positional numeral system. For example, parsing "123" as a decimal would produce -123, not 123.

valuenpCompact :: (PositionalSystem s, Num α, Monad μ, CharParsing μ) => s -> μ α

Parse a non-positive number written in the specified positional numeral system. Leading zeroes are not allowed.

valuenpUpTo

:: (PositionalSystem s, Num α, Monad μ, CharParsing μ)
=> s
-> Int
-> μ α

Parse a non-positive number written in the specified positional numeral system (up to n digits).

valuenpcUpTo

:: (PositionalSystem s, Num α, Monad μ, CharParsing μ)
=> s
-> Int
-> μ α

Parse a non-positive number written in the specified positional numeral system (up to n digits). Leading zeroes are not allowed.

valuenpBounded

:: (PositionalSystem s, Ord α, Bounded α, Integral α, Monad μ, CharParsing μ)
=> s
-> μ α

Parse a non-positive number written in the specified positional numeral system, failing on overflow.

valuenpcBounded

:: (PositionalSystem s, Ord α, Bounded α, Integral α, Monad μ, CharParsing μ)
=> s
-> μ α

Parse a non-positive number written in the specified positional numeral system, failing on overflow. Leading zeroes are not allowed.

valuenpBits :: (BitSystem s, Num α, Bits α, Monad μ, CharParsing μ) => s -> μ α

Parse a non-positive two's complement binary number written in the specified positional numeral system.

valuenpcBits :: (BitSystem s, Num α, Bits α, Monad μ, CharParsing μ) => s -> μ α

Parse a non-positive two's complement binary number written in the specified positional numeral system. Leading zeroes are not allowed.

valuenpBitsUpTo

:: (BitSystem s, Num α, Bits α, Monad μ, CharParsing μ)
=> s
-> Int
-> μ α

Parse a non-positive two's complement binary number written in the specified positional numeral system (up to n digits).

valuenpcBitsUpTo

:: (BitSystem s, Num α, Bits α, Monad μ, CharParsing μ)
=> s
-> Int
-> μ α

Parse a non-positive two's complement binary number written in the specified positional numeral system (up to n digits). Leading zeroes are not allowed.

valuenpbBits

:: (BitSystem s, Ord α, Bounded α, Num α, Bits α, Monad μ, CharParsing μ)
=> s
-> μ α

Parse a non-positive two's complement binary number written in the specified positional numeral system, failing on overflow.

valuenpcbBits

:: (BitSystem s, Ord α, Bounded α, Num α, Bits α, Monad μ, CharParsing μ)
=> s
-> μ α

Parse a non-positive two's complement binary number written in the specified positional numeral system, failing on overflow. Leading zeroes are not allowed.

datadata Sign

Sign of a number.

NonNegative NonPositive

Instances3Eq, Read, Show

Eq SignDefined in data-textual-0.3.0.3 · Data.Textual.Integral
Read SignDefined in data-textual-0.3.0.3 · Data.Textual.Integral
Show SignDefined in data-textual-0.3.0.3 · Data.Textual.Integral

valueapplySign :: Num α => Sign -> α -> α

Negate the supplied value if the sign is NonPositive and return it as it is otherwise.

valueoptMinus :: CharParsing μ => μ Sign

Optional minus sign.

valueoptSign :: CharParsing μ => μ Sign

Optional minus or plus sign.

valuenumber'

:: (PositionalSystem s, Num α, Monad μ, CharParsing μ)
=> μ Sign
-> s
-> μ α

Parse a number written in the specified positional numeral system. The supplied parser is used to determine the sign of the number.

valuenumber :: (PositionalSystem s, Num α, Monad μ, CharParsing μ) => s -> μ α

A shorthand for number' optMinus.

valuecompact'

:: (PositionalSystem s, Num α, Monad μ, CharParsing μ)
=> μ Sign
-> s
-> μ α

Parse a number written in the specified positional numeral system. The supplied parser is used to determine the sign of the number. Leading zeroes are not allowed.

valuecompact :: (PositionalSystem s, Num α, Monad μ, CharParsing μ) => s -> μ α

A shorthand for compact' optMinus.

valuenumberUpTo'

:: (PositionalSystem s, Num α, Monad μ, CharParsing μ)
=> μ Sign
-> s
-> Int
-> μ α

Parse a number written in the specified positional numeral system (up to n digits). The supplied parser is used to determine the sign of the number.

valuenumberUpTo

:: (PositionalSystem s, Num α, Monad μ, CharParsing μ)
=> s
-> Int
-> μ α

A shorthand for numberUpTo' optMinus.

valuecompactUpTo'

:: (PositionalSystem s, Num α, Monad μ, CharParsing μ)
=> μ Sign
-> s
-> Int
-> μ α

Parse a number written in the specified positional numeral system (up to n digits). The supplied parser is used to determine the sign of the number. Leading zeroes are not allowed.

valuecompactUpTo

:: (PositionalSystem s, Num α, Monad μ, CharParsing μ)
=> s
-> Int
-> μ α

A shorthand for compactUpTo' optMinus.

valuebounded'

:: (PositionalSystem s, Ord α, Bounded α, Integral α, Monad μ, CharParsing μ)
=> μ Sign
-> s
-> μ α

Parse a number written in the specified positional numeral system, failing on overflow. The supplied parser is used to determine the sign of the number.

valuebounded

:: (PositionalSystem s, Ord α, Bounded α, Integral α, Monad μ, CharParsing μ)
=> s
-> μ α

A shorthand for bounded' optMinus.

valuecBounded'

:: (PositionalSystem s, Ord α, Bounded α, Integral α, Monad μ, CharParsing μ)
=> μ Sign
-> s
-> μ α

Parse a number written in the specified positional numeral system, failing on overflow. The supplied parser is used to determine the sign of the number. Leading zeroes are not allowed.

valuecBounded

:: (PositionalSystem s, Ord α, Bounded α, Integral α, Monad μ, CharParsing μ)
=> s
-> μ α

A shorthand for cBounded' optMinus.

valuebits'

:: (BitSystem s, Num α, Bits α, Monad μ, CharParsing μ)
=> μ Sign
-> s
-> μ α

Parse a (two's complement) binary number written in the specified positional numeral system. The supplied parser is used to determine the sign of the number.

valuebits :: (BitSystem s, Num α, Bits α, Monad μ, CharParsing μ) => s -> μ α

A shorthand for bits' optMinus.

valuecBits'

:: (BitSystem s, Num α, Bits α, Monad μ, CharParsing μ)
=> μ Sign
-> s
-> μ α

Parse a (two's complement) binary number written in the specified positional numeral system. The supplied parser is used to determine the sign of the number. Leading zeroes are not allowed.

valuecBits :: (BitSystem s, Num α, Bits α, Monad μ, CharParsing μ) => s -> μ α

A shorthand for cBits' optMinus.

valuebitsUpTo'

:: (BitSystem s, Num α, Bits α, Monad μ, CharParsing μ)
=> μ Sign
-> s
-> Int
-> μ α

Parse a (two's complement) binary number written in the specified positional numeral system (up to n digits). The supplied parser is used to determine the sign of the number.

valuebitsUpTo

:: (BitSystem s, Num α, Bits α, Monad μ, CharParsing μ)
=> s
-> Int
-> μ α

A shorthand for bitsUpTo' optMinus.

valuecBitsUpTo'

:: (BitSystem s, Num α, Bits α, Monad μ, CharParsing μ)
=> μ Sign
-> s
-> Int
-> μ α

Parse a (two's complement) binary number written in the specified positional numeral system (up to n digits). The supplied parser is used to determine the sign of the number. Leading zeroes are not allowed.

valuecBitsUpTo

:: (BitSystem s, Num α, Bits α, Monad μ, CharParsing μ)
=> s
-> Int
-> μ α

A shorthand for cBitsUpTo' optMinus.

valuebBits'

:: (BitSystem s, Ord α, Bounded α, Num α, Bits α, Monad μ, CharParsing μ)
=> μ Sign
-> s
-> μ α

Parse a (two's complement) binary number written in the specified positional numeral system, failing on overflow. The supplied parser is used to determine the sign of the number.

valuebBits

:: (BitSystem s, Ord α, Bounded α, Num α, Bits α, Monad μ, CharParsing μ)
=> s
-> μ α

A shorthand for bBits' optMinus.

valuecbBits'

:: (BitSystem s, Ord α, Bounded α, Num α, Bits α, Monad μ, CharParsing μ)
=> μ Sign
-> s
-> μ α

Parse a (two's complement) binary number written in the specified positional numeral system, failing on overflow. The supplied parser is used to determine the sign of the number. Leading zeroes are not allowed.

valuecbBits

:: (BitSystem s, Ord α, Bounded α, Num α, Bits α, Monad μ, CharParsing μ)
=> s
-> μ α

A shorthand for cbBits' optMinus.