Moduledata-textual-0.3.0.3Haskell2010

Data.Textual.Integral

Parsers for integral numbers written in positional numeral systems.

Contents

Positional numeral systems
Single digits
Numbers

Synopsis

class PositionalSystem
class BitSystem
data Binary
data Octal
data Decimal
data Hexadecimal
data LowHex
data UpHex
value digitIn
value nzDigitIn
value binDigit
value nzBinDigit
value octDigit
value nzOctDigit
value decDigit
value nzDecDigit
value hexDigit
value nzHexDigit
value lowHexDigit
value nzLowHexDigit
value upHexDigit
value nzUpHexDigit
value nonNegative
value nnCompact
value nnUpTo
value nncUpTo
value nnBounded
value nncBounded
value nnBits
value nncBits
value nnBitsUpTo
value nncBitsUpTo
value nnbBits
value nncbBits
value nonPositive
value npCompact
value npUpTo
value npcUpTo
value npBounded
value npcBounded
value npBits
value npcBits
value npBitsUpTo
value npcBitsUpTo
value npbBits
value npcbBits
data Sign
value applySign
value optMinus
value optSign
value number'
value number
value compact'
value compact
value numberUpTo'
value numberUpTo
value compactUpTo'
value compactUpTo
value bounded'
value bounded
value cBounded'
value cBounded
value bits'
value bits
value cBits'
value cBits
value bitsUpTo'
value bitsUpTo
value cBitsUpTo'
value cBitsUpTo
value bBits'
value bBits
value cbBits'
value cbBits

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

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

Single digits

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

Source#

Parse a digit of the specified positional numeral system.

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

Source#

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

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

Source#

Parse a binary digit.

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

Source#

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

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

Source#

Parse an octal digit.

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

Source#

Parse a non-zero octal digit.

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

Source#

Parse a decimal digit.

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

Source#

Parse a non-zero decimal digit.

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

Source#

Parse a hexadecimal digit.

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

Source#

Parse a non-zero hexadecimal digit.

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

Source#

Parse a lower case hexadecimal digit.

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

Source#

Parse a non-zero lower case hexadecimal digit.

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

Source#

Parse an upper case hexadecimal digit.

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

Source#

Parse a non-zero upper case hexadecimal digit.

Numbers

valuenonNegative

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

Source#

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

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

Source#

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
-> μ α

Source#

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

valuenncUpTo

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

Source#

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
-> μ α

Source#

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

valuenncBounded

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

Source#

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 -> μ α

Source#

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

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

Source#

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
-> μ α

Source#

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
-> μ α

Source#

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
-> μ α

Source#

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
-> μ α

Source#

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
-> μ α

Source#

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 -> μ α

Source#

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
-> μ α

Source#

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

valuenpcUpTo

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

Source#

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
-> μ α

Source#

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

valuenpcBounded

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

Source#

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 -> μ α

Source#

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

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

Source#

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
-> μ α

Source#

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
-> μ α

Source#

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
-> μ α

Source#

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
-> μ α

Source#

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

Source#

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 -> α -> α

Source#

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

valueoptMinus :: CharParsing μ => μ Sign

Source#

Optional minus sign.

valueoptSign :: CharParsing μ => μ Sign

Source#

Optional minus or plus sign.

valuenumber'

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

Source#

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 -> μ α

Source#

A shorthand for number' optMinus.

valuecompact'

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

Source#

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 -> μ α

Source#

A shorthand for compact' optMinus.

valuenumberUpTo'

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

Source#

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
-> μ α

Source#

A shorthand for numberUpTo' optMinus.

valuecompactUpTo'

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

Source#

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
-> μ α

Source#

A shorthand for compactUpTo' optMinus.

valuebounded'

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

Source#

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
-> μ α

Source#

A shorthand for bounded' optMinus.

valuecBounded'

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

Source#

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
-> μ α

Source#

A shorthand for cBounded' optMinus.

valuebits'

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

Source#

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 -> μ α

Source#

A shorthand for bits' optMinus.

valuecBits'

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

Source#

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 -> μ α

Source#

A shorthand for cBits' optMinus.

valuebitsUpTo'

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

Source#

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
-> μ α

Source#

A shorthand for bitsUpTo' optMinus.

valuecBitsUpTo'

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

Source#

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
-> μ α

Source#

A shorthand for cBitsUpTo' optMinus.

valuebBits'

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

Source#

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
-> μ α

Source#

A shorthand for bBits' optMinus.

valuecbBits'

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

Source#

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
-> μ α

Source#

A shorthand for cbBits' optMinus.