Moduletext-latin1-0.3.1Haskell98

Text.Ascii

ASCII utility functions.

2 types
83 values

Packagetext-latin1-0.3.1
Exports85
LanguageHaskell98
LicenceBSD-3-Clause
SourceAscii.hs

ASCII checks

5 declarations

datadata IsAscii

IsAscii

Instances20Property, Eq, Ord, Show, IsString, Semigroup, …

Property IsAscii ByteStringDefined in text-latin1-0.3.1 · Text.Ascii
Property IsAscii ByteStringDefined in text-latin1-0.3.1 · Text.Ascii
Property IsAscii Word8Defined in text-latin1-0.3.1 · Text.Ascii
Property IsAscii CharDefined in text-latin1-0.3.1 · Text.Ascii
Property IsAscii TextDefined in text-latin1-0.3.1 · Text.Ascii
Property IsAscii TextDefined in text-latin1-0.3.1 · Text.Ascii
Property IsAscii α => Property IsAscii [α]Defined in text-latin1-0.3.1 · Text.Ascii
Eq α => Eq (Ascii α)Defined in text-latin1-0.3.1 · Text.Ascii
Ord α => Ord (Ascii α)Defined in text-latin1-0.3.1 · Text.Ascii
Show α => Show (Ascii α)Defined in text-latin1-0.3.1 · Text.Ascii
IsString α => IsString (Ascii α)Defined in text-latin1-0.3.1 · Text.Ascii
Semigroup α => Semigroup (Ascii α)Defined in text-latin1-0.3.1 · Text.Ascii
Monoid α => Monoid (Ascii α)Defined in text-latin1-0.3.1 · Text.Ascii
Hashable α => Hashable (Ascii α)Defined in text-latin1-0.3.1 · Text.Ascii
FoldCase (Ascii ByteString)Defined in text-latin1-0.3.1 · Text.Ascii
FoldCase (Ascii ByteString)Defined in text-latin1-0.3.1 · Text.Ascii
FoldCase (Ascii Char)Defined in text-latin1-0.3.1 · Text.Ascii
FoldCase (Ascii Text)Defined in text-latin1-0.3.1 · Text.Ascii
FoldCase (Ascii Text)Defined in text-latin1-0.3.1 · Text.Ascii
FoldCase (Ascii α) => FoldCase (Ascii [α])Defined in text-latin1-0.3.1 · Text.Ascii

valueisAscii :: Property IsAscii v => v -> Bool

typetype Ascii α = Checked IsAscii α

valuemaybeAscii :: Char -> Maybe Word8

Map a character to its ASCII encoding if possible, otherwise return Nothing.

valueascii :: Char -> Word8

Encode an ASCII character. No checks are performed.

Character properties

40 declarations

valueisControl :: Char -> Bool

Test if a character is an ASCII control character.

valueisPrintable :: Char -> Bool

Test if a character is an ASCII printable character.

valueisWhiteSpace :: Char -> Bool

Test if a character is an ASCII whitespace character.

valueisSpaceOrTab :: Char -> Bool

Test if a character is the SPACE or the TAB character.

valueisLower :: Char -> Bool

Test if a character is an ASCII lower-case letter.

valueisUpper :: Char -> Bool

Test if a character is an ASCII upper-case letter.

valuetoLower :: Char -> Char

Map lower-case ASCII letters to the corresponding upper-case letters, leaving other characters as is.

valuetoUpper :: Char -> Char

Map upper-case ASCII letters to the corresponding lower-case letters, leaving other characters as is.

valueisAlpha :: Char -> Bool

Test if a character is an ASCII letter.

valueisAlphaNum :: Char -> Bool

Test if a character is either an ASCII letter or a decimal digit.

valueisDecDigit :: Char -> Bool

Test if a character is a decimal digit ('0' ... '9').

valueisNzDecDigit :: Char -> Bool

Test if a character is a non-zero decimal digit ('1' ... '9').

valuefromDecDigit :: Num a => Char -> Maybe a

Map a decimal digit to the corresponding number. Return Nothing on other inputs.

valuefromNzDecDigit :: Num a => Char -> Maybe a

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

valueunsafeFromDecDigit :: Num a => Char -> a

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

valueisBinDigit :: Char -> Bool

Test if a character is a binary digit ('0' or '1').

valueisNzBinDigit :: Char -> Bool

Test if a character is the non-zero binary digit ('1').

valuefromBinDigit :: Num a => Char -> Maybe a

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

valuefromNzBinDigit :: Num a => Char -> Maybe a

Map the digit '1' to the number 1. Return Nothing on other inputs.

valueunsafeFromBinDigit :: Num a => Char -> a

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

valueisOctDigit :: Char -> Bool

Test if a character is an octal digit ('0' ... '7').

valueisNzOctDigit :: Char -> Bool

Test if a character is a non-zero octal digit ('1' ... '7').

valuefromOctDigit :: Num a => Char -> Maybe a

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

valuefromNzOctDigit :: Num a => Char -> Maybe a

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

valueunsafeFromOctDigit :: Num a => Char -> a

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

valueisUpHexDigit :: Char -> Bool

Test if a character is an upper-case hexadecimal digit ('0' ... '9' or A ... F).

valueisNzUpHexDigit :: Char -> Bool

Test if a character is a non-zero upper-case hexadecimal digit ('1' ... '9' or A ... F).

valuefromUpHexDigit :: Num a => Char -> Maybe a

Map upper-case hexadecimal digits to the corresponding numbers. Return Nothing on other inputs.

valuefromNzUpHexDigit :: Num a => Char -> Maybe a

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

valueunsafeFromUpHexDigit :: Num a => Char -> a

Map upper-case hexadecimal digits to the corresponding numbers. No checks are performed.

valueisLowHexDigit :: Char -> Bool

Test if a character is a lower-case hexadecimal digit ('0' ... '9' or a ... f).

valueisNzLowHexDigit :: Char -> Bool

Test if a character is a non-zero lower-case hexadecimal digit ('1' ... '9' or a ... f).

valuefromLowHexDigit :: Num a => Char -> Maybe a

Map lower-case hexadecimal digits to the corresponding numbers. Return Nothing on other inputs.

valuefromNzLowHexDigit :: Num a => Char -> Maybe a

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

valueunsafeFromLowHexDigit :: Num a => Char -> a

Map lower-case hexadecimal digits to the corresponding numbers. No checks are performed.

valueisHexDigit :: Char -> Bool

Test if a character is a hexadecimal digit ('0' ... '9' or a ... f or A ... F).

valueisNzHexDigit :: Char -> Bool

Test if a character is a non-zero hexadecimal digit ('1' ... '9' or a ... f or A ... F).

valuefromHexDigit :: Num a => Char -> Maybe a

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

valuefromNzHexDigit :: Num a => Char -> Maybe a

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

valueunsafeFromHexDigit :: Num a => Char -> a

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

Byte properties

40 declarations

valueisControl8 :: Word8 -> Bool

Test if a byte is the encoding of an ASCII control character.

valueisPrintable8 :: Word8 -> Bool

Test if a byte is the encoding of an ASCII printable character.

valueisWhiteSpace8 :: Word8 -> Bool

Test if a byte is the encoding of an ASCII whitespace character.

valueisSpaceOrTab8 :: Word8 -> Bool

Test if a byte is the encoding of the SPACE or the TAB character.

valueisLower8 :: Word8 -> Bool

Test if a byte is the encoding of an ASCII lower-case letter.

valueisUpper8 :: Word8 -> Bool

Test if a byte is the encoding of an ASCII upper-case letter.

valuetoLower8 :: Word8 -> Word8

Map the encodings of lower-case ASCII letters to the encodings of the corresponding upper-case letters, leaving other bytes as is.

valuetoUpper8 :: Word8 -> Word8

Map the encodings of upper-case ASCII letters to the encodings of the corresponding lower-case letters, leaving other bytes as is.

valueisAlpha8 :: Word8 -> Bool

Test if a byte is the encoding of an ASCII letter.

valueisAlphaNum8 :: Word8 -> Bool

Test if a byte is the encoding of either an ASCII letter or a decimal digit.

valueisDecDigit8 :: Word8 -> Bool

Test if a byte is the encoding of a decimal digit ('0' ... '9').

valueisNzDecDigit8 :: Word8 -> Bool

Test if a byte is the encoding of a non-zero decimal digit ('1' ... '9').

valuefromDecDigit8 :: Num a => Word8 -> Maybe a

Map the encoding of a decimal digit to the corresponding number. Return Nothing on other inputs.

valuefromNzDecDigit8 :: Num a => Word8 -> Maybe a

Map the encoding of a non-zero decimal digit to the corresponding number. Return Nothing on other inputs.

valueunsafeFromDecDigit8 :: Num a => Word8 -> a

Map the encoding of a decimal digit to the corresponding number. No checks are performed.

valueisBinDigit8 :: Word8 -> Bool

Test if a byte is the encoding of a binary digit ('0' or '1').

valueisNzBinDigit8 :: Word8 -> Bool

Test if a byte is the encoding of the non-zero binary digit ('1').

valuefromBinDigit8 :: Num a => Word8 -> Maybe a

Map the encoding of a binary digit to the corresponding number. Return Nothing on other inputs.

valuefromNzBinDigit8 :: Num a => Word8 -> Maybe a

Map the encoding of the digit '1' to the number 1. Return Nothing on other inputs.

valueunsafeFromBinDigit8 :: Num a => Word8 -> a

Map the encoding of a binary digit to the corresponding number. No checks are performed.

valueisOctDigit8 :: Word8 -> Bool

Test if a byte is the encoding of an octal digit ('0' ... '7').

valueisNzOctDigit8 :: Word8 -> Bool

Test if a byte is the encoding of a non-zero octal digit ('1' ... '7').

valuefromOctDigit8 :: Num a => Word8 -> Maybe a

Map the encoding of an octal digit to the corresponding number. Return Nothing on other inputs.

valuefromNzOctDigit8 :: Num a => Word8 -> Maybe a

Map the encoding of a non-zero octal digit to the corresponding number. Return Nothing on other inputs.

valueunsafeFromOctDigit8 :: Num a => Word8 -> a

Map the encoding of an octal digit to the corresponding number. No checks are performed.

valueisUpHexDigit8 :: Word8 -> Bool

Test if a byte is the encoding of an upper-case hexadecimal digit ('0' ... '9' or A ... F).

valueisNzUpHexDigit8 :: Word8 -> Bool

Test if a byte is the encoding of a non-zero upper-case hexadecimal digit ('1' ... '9' or A ... F).

valuefromUpHexDigit8 :: Num a => Word8 -> Maybe a

Map the encoding of an upper-case hexadecimal digit to the corresponding number. Return Nothing on other inputs.

valuefromNzUpHexDigit8 :: Num a => Word8 -> Maybe a

Map the encoding of a non-zero upper-case hexadecimal digit to the corresponding number. Return Nothing on other inputs.

valueunsafeFromUpHexDigit8 :: Num a => Word8 -> a

Map the encoding of an upper-case hexadecimal digit to the corresponding number. No checks are performed.

valueisLowHexDigit8 :: Word8 -> Bool

Test if a byte is the encoding of a lower-case hexadecimal digit ('0' ... '9' or a ... f).

valueisNzLowHexDigit8 :: Word8 -> Bool

Test if a byte is the encoding of a non-zero lower-case hexadecimal digit ('1' ... '9' or a ... f).

valuefromLowHexDigit8 :: Num a => Word8 -> Maybe a

Map the encoding of a lower-case hexadecimal digit to the corresponding number. Return Nothing on other inputs.

valuefromNzLowHexDigit8 :: Num a => Word8 -> Maybe a

Map the encoding of a non-zero lower-case hexadecimal digit to the corresponding number. Return Nothing on other inputs.

valueunsafeFromLowHexDigit8 :: Num a => Word8 -> a

Map the encoding of a lower-case hexadecimal digit to the corresponding number. No checks are performed.

valueisHexDigit8 :: Word8 -> Bool

Test if a byte is the encoding of a hexadecimal digit ('0' ... '9' or a ... f or A ... F).

valueisNzHexDigit8 :: Word8 -> Bool

Test if a byte is the encoding of a non-zero hexadecimal digit ('1' ... '9' or a ... f or A ... F).

valuefromHexDigit8 :: Num a => Word8 -> Maybe a

Map the encoding of a hexadecimal digit to the corresponding number. Return Nothing on other inputs.

valuefromNzHexDigit8 :: Num a => Word8 -> Maybe a

Map the encoding of a non-zero hexadecimal digit to the corresponding number. Return Nothing on other inputs.

valueunsafeFromHexDigit8 :: Num a => Word8 -> a

Map the encoding of a hexadecimal digit to the corresponding number. No checks are performed.