ASCII

The American Standard Code for Information Interchange (ASCII) comprises a set of 128 characters, each represented by 7 bits. 33 of these characters are Control codes; a few of these are still in use, but most are obsolete relics of the early days of computing. The other 95 are Printable characters such as letters and numbers, mostly corresponding to the keys on an American English keyboard.

Nowadays instead of ASCII we typically work with text using an encoding such as UTF-8 that can represent the entire Unicode character set, which includes over a hundred thousand characters and is not limited to the symbols of any particular writing system or culture. However, ASCII is still relevant to network protocols; for example, we can see it in the specification of HTTP.

There is a convenient relationship between ASCII and Unicode: the ASCII characters are the first 128 characters of the much larger Unicode character set. The C0 Controls and Basic Latin section of the Unicode standard contains a list of all the ASCII characters. You may also find this list replicated in the ASCII.Char module; each ASCII character corresponds to a constructor of the Char type.

We do not elaborate on the semantics of the control characters here, because this information is both obsolete and restricted by copyright law. It is described by a document entitled "Coded Character Sets - 7-Bit American National Standard Code for Information Interchange (7-Bit ASCII)", published by American National Standards Institute (ANSI) and available for purchase on their website.

Char

ASCII

See also: ASCII.Char

data Char

Instances

Bounded Char

Defined in ASCII.Char

Methods

minBound :: Char

maxBound :: Char

Enum Char

Defined in ASCII.Char

Methods

succ :: Char -> Char

pred :: Char -> Char

toEnum :: Int -> Char

fromEnum :: Char -> Int

enumFrom :: Char -> [Char]

enumFromThen :: Char -> Char -> [Char]

enumFromTo :: Char -> Char -> [Char]

enumFromThenTo :: Char -> Char -> Char -> [Char]

Eq Char

Defined in ASCII.Char

Methods

(==) :: Char -> Char -> Bool

(/=) :: Char -> Char -> Bool

Data Char

Defined in ASCII.Char

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Char -> c Char

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Char

toConstr :: Char -> Constr

dataTypeOf :: Char -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Char)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Char)

gmapT :: (forall b. Data b => b -> b) -> Char -> Char

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Char -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Char -> r

gmapQ :: (forall d. Data d => d -> u) -> Char -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Char -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Char -> m Char

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Char -> m Char

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Char -> m Char

Ord Char

Defined in ASCII.Char

Methods

compare :: Char -> Char -> Ordering

(<) :: Char -> Char -> Bool

(<=) :: Char -> Char -> Bool

(>) :: Char -> Char -> Bool

(>=) :: Char -> Char -> Bool

max :: Char -> Char -> Char

min :: Char -> Char -> Char

Show Char

Defined in ASCII.Char

Methods

showsPrec :: Int -> Char -> ShowS

show :: Char -> String

showList :: [Char] -> ShowS

Generic Char

Defined in ASCII.Char

Associated Types

type Rep Char :: Type -> Type

Methods

from :: Char -> Rep Char x

to :: Rep Char x -> Char

Hashable Char

Defined in ASCII.Char

Methods

hashWithSalt :: Int -> Char -> Int

hash :: Char -> Int

DigitSuperset Char

Defined in ASCII.Decimal

Methods

fromDigit :: Digit -> Char

isDigit :: Char -> Bool

toDigitUnsafe :: Char -> Digit

toDigitMaybe :: Char -> Maybe Digit

HexCharSuperset Char

Defined in ASCII.Hexadecimal

Methods

fromHexChar :: HexChar -> Char

isHexChar :: Char -> Bool

toHexCharUnsafe :: Char -> HexChar

toHexCharMaybe :: Char -> Maybe HexChar

CharIso Char

Defined in ASCII.Isomorphism

Methods

toChar :: Char -> Char

CharSuperset Char

Defined in ASCII.Superset

FromChar Char

Defined in ASCII.Superset

Methods

fromChar :: Char -> Char

ToCaselessChar Char

Defined in ASCII.Superset

Methods

isAsciiCaselessChar :: Char -> Bool

toCaselessCharUnsafe :: Char -> CaselessChar

ToChar Char

Defined in ASCII.Superset

Methods

isAsciiChar :: Char -> Bool

toCharUnsafe :: Char -> Char

CharSuperset superset => Lift Char superset

Defined in ASCII.Lift

Methods

lift :: Char -> superset

DigitStringSuperset [Char]

Defined in ASCII.Decimal

Methods

fromDigitList :: [Digit] -> [Char]

isDigitString :: [Char] -> Bool

toDigitListUnsafe :: [Char] -> [Digit]

toDigitListMaybe :: [Char] -> Maybe [Digit]

HexStringSuperset [Char]

Defined in ASCII.Hexadecimal

Methods

fromHexCharList :: [HexChar] -> [Char]

isHexString :: [Char] -> Bool

toHexCharListUnsafe :: [Char] -> [HexChar]

toHexCharListMaybe :: [Char] -> Maybe [HexChar]

StringSuperset superset => Lift [Char] superset

Defined in ASCII.Lift

Methods

lift :: [Char] -> superset

type Rep Char

Defined in ASCII.Char

type Rep Char = D1 ('MetaData "Char" "ASCII.Char" "ascii-char-1.0.0.16-10b957077b56872ea80ff7fd66cada8d217a7420c3c2bdf7f1b8b06f002174d5" 'False) (((((((C1 ('MetaCons "Null" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "StartOfHeading" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "StartOfText" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EndOfText" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "EndOfTransmission" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Enquiry" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Acknowledgement" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bell" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "Backspace" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HorizontalTab" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LineFeed" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VerticalTab" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "FormFeed" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CarriageReturn" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ShiftOut" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ShiftIn" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: ((((C1 ('MetaCons "DataLinkEscape" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DeviceControl1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DeviceControl2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DeviceControl3" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "DeviceControl4" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NegativeAcknowledgement" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SynchronousIdle" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EndOfTransmissionBlock" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "Cancel" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EndOfMedium" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Substitute" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Escape" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "FileSeparator" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GroupSeparator" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "RecordSeparator" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnitSeparator" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: (((((C1 ('MetaCons "Space" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExclamationMark" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "QuotationMark" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NumberSign" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "DollarSign" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PercentSign" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Ampersand" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Apostrophe" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "LeftParenthesis" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RightParenthesis" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asterisk" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PlusSign" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Comma" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HyphenMinus" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "FullStop" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Slash" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: ((((C1 ('MetaCons "Digit0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Digit1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Digit2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Digit3" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Digit4" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Digit5" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Digit6" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Digit7" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "Digit8" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Digit9" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Colon" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Semicolon" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "LessThanSign" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EqualsSign" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "GreaterThanSign" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "QuestionMark" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: ((((((C1 ('MetaCons "AtSign" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CapitalLetterA" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CapitalLetterB" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CapitalLetterC" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "CapitalLetterD" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CapitalLetterE" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CapitalLetterF" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CapitalLetterG" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "CapitalLetterH" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CapitalLetterI" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CapitalLetterJ" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CapitalLetterK" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "CapitalLetterL" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CapitalLetterM" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CapitalLetterN" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CapitalLetterO" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: ((((C1 ('MetaCons "CapitalLetterP" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CapitalLetterQ" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CapitalLetterR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CapitalLetterS" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "CapitalLetterT" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CapitalLetterU" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CapitalLetterV" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CapitalLetterW" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "CapitalLetterX" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CapitalLetterY" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CapitalLetterZ" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LeftSquareBracket" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Backslash" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RightSquareBracket" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Caret" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Underscore" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: (((((C1 ('MetaCons "GraveAccent" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SmallLetterA" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SmallLetterB" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SmallLetterC" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "SmallLetterD" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SmallLetterE" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SmallLetterF" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SmallLetterG" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "SmallLetterH" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SmallLetterI" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SmallLetterJ" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SmallLetterK" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "SmallLetterL" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SmallLetterM" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SmallLetterN" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SmallLetterO" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: ((((C1 ('MetaCons "SmallLetterP" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SmallLetterQ" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SmallLetterR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SmallLetterS" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "SmallLetterT" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SmallLetterU" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SmallLetterV" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SmallLetterW" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "SmallLetterX" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SmallLetterY" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SmallLetterZ" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LeftCurlyBracket" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "VerticalLine" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RightCurlyBracket" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Tilde" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Delete" 'PrefixI 'False) (U1 :: Type -> Type))))))))

Unicode

type UnicodeChar = Char

A character in the full range of Unicode

ASCII Char is a subset of this type. Convert using charToUnicode and unicodeToCharMaybe.

Case-insensitive

See also: ASCII.Caseless

data CaselessChar

Instances

Bounded CaselessChar

Defined in ASCII.Caseless

Methods

minBound :: CaselessChar

maxBound :: CaselessChar

Enum CaselessChar

Defined in ASCII.Caseless

Methods

succ :: CaselessChar -> CaselessChar

pred :: CaselessChar -> CaselessChar

toEnum :: Int -> CaselessChar

fromEnum :: CaselessChar -> Int

enumFrom :: CaselessChar -> [CaselessChar]

enumFromThen :: CaselessChar -> CaselessChar -> [CaselessChar]

enumFromTo :: CaselessChar -> CaselessChar -> [CaselessChar]

enumFromThenTo :: CaselessChar -> CaselessChar -> CaselessChar -> [CaselessChar]

Eq CaselessChar

Defined in ASCII.Caseless

Methods

(==) :: CaselessChar -> CaselessChar -> Bool

(/=) :: CaselessChar -> CaselessChar -> Bool

Data CaselessChar

Defined in ASCII.Caseless

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CaselessChar -> c CaselessChar

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CaselessChar

toConstr :: CaselessChar -> Constr

dataTypeOf :: CaselessChar -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CaselessChar)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CaselessChar)

gmapT :: (forall b. Data b => b -> b) -> CaselessChar -> CaselessChar

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CaselessChar -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CaselessChar -> r

gmapQ :: (forall d. Data d => d -> u) -> CaselessChar -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CaselessChar -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CaselessChar -> m CaselessChar

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CaselessChar -> m CaselessChar

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CaselessChar -> m CaselessChar

Ord CaselessChar

Defined in ASCII.Caseless

Methods

compare :: CaselessChar -> CaselessChar -> Ordering

(<) :: CaselessChar -> CaselessChar -> Bool

(<=) :: CaselessChar -> CaselessChar -> Bool

(>) :: CaselessChar -> CaselessChar -> Bool

(>=) :: CaselessChar -> CaselessChar -> Bool

max :: CaselessChar -> CaselessChar -> CaselessChar

min :: CaselessChar -> CaselessChar -> CaselessChar

Show CaselessChar

Defined in ASCII.Caseless

Methods

showsPrec :: Int -> CaselessChar -> ShowS

show :: CaselessChar -> String

showList :: [CaselessChar] -> ShowS

Generic CaselessChar

Defined in ASCII.Caseless

Associated Types

type Rep CaselessChar :: Type -> Type

Methods

from :: CaselessChar -> Rep CaselessChar x

to :: Rep CaselessChar x -> CaselessChar

Hashable CaselessChar

Defined in ASCII.Caseless

Methods

hashWithSalt :: Int -> CaselessChar -> Int

hash :: CaselessChar -> Int

ToCaselessChar CaselessChar

Defined in ASCII.Superset

Methods

isAsciiCaselessChar :: CaselessChar -> Bool

toCaselessCharUnsafe :: CaselessChar -> CaselessChar

type Rep CaselessChar

Defined in ASCII.Caseless

type Rep CaselessChar = D1 ('MetaData "CaselessChar" "ASCII.Caseless" "ascii-caseless-0.0.0.0-9ecfc6860889908fef864ebe297c033bd36680ee4810b07d4e116c3426d5b03c" 'False) ((((((C1 ('MetaCons "Null" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "StartOfHeading" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "StartOfText" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "EndOfText" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EndOfTransmission" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Enquiry" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Acknowledgement" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Bell" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Backspace" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "HorizontalTab" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LineFeed" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VerticalTab" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "FormFeed" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CarriageReturn" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ShiftOut" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "ShiftIn" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DataLinkEscape" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DeviceControl1" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "DeviceControl2" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DeviceControl3" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DeviceControl4" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "NegativeAcknowledgement" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SynchronousIdle" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "EndOfTransmissionBlock" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Cancel" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "EndOfMedium" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Substitute" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Escape" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "FileSeparator" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "GroupSeparator" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RecordSeparator" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "UnitSeparator" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Space" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExclamationMark" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "QuotationMark" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NumberSign" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DollarSign" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PercentSign" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Ampersand" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Apostrophe" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LeftParenthesis" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "RightParenthesis" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asterisk" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PlusSign" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Comma" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "HyphenMinus" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FullStop" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Slash" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Digit0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Digit1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Digit2" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "Digit3" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Digit4" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Digit5" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Digit6" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Digit7" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Digit8" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Digit9" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Colon" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Semicolon" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "LessThanSign" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EqualsSign" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GreaterThanSign" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "QuestionMark" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AtSign" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LetterA" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "LetterB" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LetterC" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LetterD" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "LetterE" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LetterF" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LetterG" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "LetterH" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LetterI" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LetterJ" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LetterK" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "LetterL" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LetterM" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LetterN" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "LetterO" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LetterP" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LetterQ" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "LetterR" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LetterS" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LetterT" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "LetterU" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LetterV" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LetterW" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LetterX" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "LetterY" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LetterZ" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LeftSquareBracket" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Backslash" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RightSquareBracket" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Caret" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Underscore" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "GraveAccent" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LeftCurlyBracket" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "VerticalLine" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RightCurlyBracket" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Tilde" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Delete" 'PrefixI 'False) (U1 :: Type -> Type))))))))

Character classifications

Print/control groups

ASCII characters are broadly categorized into two groups: control codes and printable characters.

See also: ASCII.Group

data Group

Constructors

Control

Printable

Instances

Bounded Group

Defined in ASCII.Group

Methods

minBound :: Group

maxBound :: Group

Enum Group

Defined in ASCII.Group

Methods

succ :: Group -> Group

pred :: Group -> Group

toEnum :: Int -> Group

fromEnum :: Group -> Int

enumFrom :: Group -> [Group]

enumFromThen :: Group -> Group -> [Group]

enumFromTo :: Group -> Group -> [Group]

enumFromThenTo :: Group -> Group -> Group -> [Group]

Eq Group

Defined in ASCII.Group

Methods

(==) :: Group -> Group -> Bool

(/=) :: Group -> Group -> Bool

Data Group

Defined in ASCII.Group

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Group -> c Group

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Group

toConstr :: Group -> Constr

dataTypeOf :: Group -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Group)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Group)

gmapT :: (forall b. Data b => b -> b) -> Group -> Group

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Group -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Group -> r

gmapQ :: (forall d. Data d => d -> u) -> Group -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Group -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Group -> m Group

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Group -> m Group

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Group -> m Group

Ord Group

Defined in ASCII.Group

Methods

compare :: Group -> Group -> Ordering

(<) :: Group -> Group -> Bool

(<=) :: Group -> Group -> Bool

(>) :: Group -> Group -> Bool

(>=) :: Group -> Group -> Bool

max :: Group -> Group -> Group

min :: Group -> Group -> Group

Show Group

Defined in ASCII.Group

Methods

showsPrec :: Int -> Group -> ShowS

show :: Group -> String

showList :: [Group] -> ShowS

Generic Group

Defined in ASCII.Group

Associated Types

type Rep Group :: Type -> Type

Methods

from :: Group -> Rep Group x

to :: Rep Group x -> Group

Hashable Group

Defined in ASCII.Group

Methods

hashWithSalt :: Int -> Group -> Int

hash :: Group -> Int

type Rep Group

Defined in ASCII.Group

type Rep Group = D1 ('MetaData "Group" "ASCII.Group" "ascii-group-1.0.0.15-9423332f2f9d6b33750886befcf2c400f06a6fa353904529a5225f83be2c3631" 'False) (C1 ('MetaCons "Control" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Printable" 'PrefixI 'False) (U1 :: Type -> Type))

charGroup :: CharIso char => char -> Group

Determine which group a particular character belongs to.

>>> map charGroup [CapitalLetterA,EndOfTransmission]
[Printable,Control]

inGroup :: CharSuperset char => Group -> char -> Bool

Test whether a character belongs to a particular ASCII group.

>>> inGroup Printable EndOfTransmission
False

>>> inGroup Control EndOfTransmission
True

>>> map (inGroup Printable) ( [-1, 5, 65, 97, 127, 130] :: [Int] )
[False,False,True,True,False,False]

Upper/lower case

Case is a property of letters. A-Z are upper case letters, and a-z are lower case letters. No other ASCII characters have case.

See also: ASCII.Case

data Case

Constructors

UpperCase

LowerCase

Instances

Bounded Case

Defined in ASCII.Case

Methods

minBound :: Case

maxBound :: Case

Enum Case

Defined in ASCII.Case

Methods

succ :: Case -> Case

pred :: Case -> Case

toEnum :: Int -> Case

fromEnum :: Case -> Int

enumFrom :: Case -> [Case]

enumFromThen :: Case -> Case -> [Case]

enumFromTo :: Case -> Case -> [Case]

enumFromThenTo :: Case -> Case -> Case -> [Case]

Eq Case

Defined in ASCII.Case

Methods

(==) :: Case -> Case -> Bool

(/=) :: Case -> Case -> Bool

Data Case

Defined in ASCII.Case

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Case -> c Case

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Case

toConstr :: Case -> Constr

dataTypeOf :: Case -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Case)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Case)

gmapT :: (forall b. Data b => b -> b) -> Case -> Case

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Case -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Case -> r

gmapQ :: (forall d. Data d => d -> u) -> Case -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Case -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Case -> m Case

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Case -> m Case

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Case -> m Case

Ord Case

Defined in ASCII.Case

Methods

compare :: Case -> Case -> Ordering

(<) :: Case -> Case -> Bool

(<=) :: Case -> Case -> Bool

(>) :: Case -> Case -> Bool

(>=) :: Case -> Case -> Bool

max :: Case -> Case -> Case

min :: Case -> Case -> Case

Show Case

Defined in ASCII.Case

Methods

showsPrec :: Int -> Case -> ShowS

show :: Case -> String

showList :: [Case] -> ShowS

Generic Case

Defined in ASCII.Case

Associated Types

type Rep Case :: Type -> Type

Methods

from :: Case -> Rep Case x

to :: Rep Case x -> Case

Hashable Case

Defined in ASCII.Case

Methods

hashWithSalt :: Int -> Case -> Int

hash :: Case -> Int

type Rep Case

Defined in ASCII.Case

type Rep Case = D1 ('MetaData "Case" "ASCII.Case" "ascii-case-1.0.1.2-4840a68c0b369a843365a1cdf7a145f4866f0e962b23319ffe4cf998aa12c8d4" 'False) (C1 ('MetaCons "UpperCase" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LowerCase" 'PrefixI 'False) (U1 :: Type -> Type))

letterCase :: CharSuperset char => char -> Maybe Case

Determines whether a character is an ASCII letter, and if so, whether it is upper or lower case.

>>> map letterCase [SmallLetterA, CapitalLetterA, ExclamationMark]
[Just LowerCase,Just UpperCase,Nothing]

>>> map letterCase ( [string|Hey!|] :: [ASCII Word8] )
[Just UpperCase,Just LowerCase,Just LowerCase,Nothing]

isCase :: CharSuperset char => Case -> char -> Bool

Determines whether a character is an ASCII letter of a particular case.

>>> map (isCase UpperCase) [SmallLetterA, CapitalLetterA, ExclamationMark]
[False,True,False]

>>> map (isCase UpperCase) ( [string|Hey!|] :: [ASCII Word8] )
[True,False,False,False]

>>> map (isCase UpperCase) ( [-1, 65, 97, 150] :: [Int] )
[False,True,False,False]

toCaseChar :: CharIso char => Case -> char -> char

Maps a letter character to its upper/lower case equivalent.

>>> toCaseChar UpperCase SmallLetterA
CapitalLetterA

>>> ([char|a|] :: ASCII Word8, toCaseChar UpperCase [char|a|] :: ASCII Word8)
(asciiUnsafe 97,asciiUnsafe 65)

toCaseString :: StringIso string => Case -> string -> string

Maps each of the characters in a string to its upper/lower case equivalent.

>>> toCaseString UpperCase [CapitalLetterH,SmallLetterE,SmallLetterY,ExclamationMark]
[CapitalLetterH,CapitalLetterE,CapitalLetterY,ExclamationMark]

>>> toCaseString UpperCase [string|Hey!|] :: ASCII Text
asciiUnsafe "HEY!"

Letters

isLetter :: CharSuperset char => char -> Bool

Returns True for ASCII letters:

• SmallLetterA to SmallLetterZ
• CapitalLetterA to CapitalLetterZ

Letters and numbers

isAlphaNum :: CharSuperset char => char -> Bool

Returns True if the character is either an ASCII letter (isLetter) or an ASCII digit (isDigit).

Decimal digits

See also: ASCII.Decimal

isDigit :: CharSuperset char => char -> Bool

Returns True for the characters from Digit0 to Digit9.

data Digit

Instances

Bounded Digit

Defined in ASCII.Decimal

Methods

minBound :: Digit

maxBound :: Digit

Enum Digit

Defined in ASCII.Decimal

Methods

succ :: Digit -> Digit

pred :: Digit -> Digit

toEnum :: Int -> Digit

fromEnum :: Digit -> Int

enumFrom :: Digit -> [Digit]

enumFromThen :: Digit -> Digit -> [Digit]

enumFromTo :: Digit -> Digit -> [Digit]

enumFromThenTo :: Digit -> Digit -> Digit -> [Digit]

Eq Digit

Defined in ASCII.Decimal

Methods

(==) :: Digit -> Digit -> Bool

(/=) :: Digit -> Digit -> Bool

Data Digit

Defined in ASCII.Decimal

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Digit -> c Digit

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Digit

toConstr :: Digit -> Constr

dataTypeOf :: Digit -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Digit)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Digit)

gmapT :: (forall b. Data b => b -> b) -> Digit -> Digit

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Digit -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Digit -> r

gmapQ :: (forall d. Data d => d -> u) -> Digit -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Digit -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Digit -> m Digit

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Digit -> m Digit

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Digit -> m Digit

Ord Digit

Defined in ASCII.Decimal

Methods

compare :: Digit -> Digit -> Ordering

(<) :: Digit -> Digit -> Bool

(<=) :: Digit -> Digit -> Bool

(>) :: Digit -> Digit -> Bool

(>=) :: Digit -> Digit -> Bool

max :: Digit -> Digit -> Digit

min :: Digit -> Digit -> Digit

Show Digit

Defined in ASCII.Decimal

Methods

showsPrec :: Int -> Digit -> ShowS

show :: Digit -> String

showList :: [Digit] -> ShowS

Generic Digit

Defined in ASCII.Decimal

Associated Types

type Rep Digit :: Type -> Type

Methods

from :: Digit -> Rep Digit x

to :: Rep Digit x -> Digit

Hashable Digit

Defined in ASCII.Decimal

Methods

hashWithSalt :: Int -> Digit -> Int

hash :: Digit -> Int

DigitSuperset Digit

Defined in ASCII.Decimal

Methods

fromDigit :: Digit -> Digit

isDigit :: Digit -> Bool

toDigitUnsafe :: Digit -> Digit

toDigitMaybe :: Digit -> Maybe Digit

DigitSuperset char => Lift Digit char

Defined in ASCII.Decimal

Methods

lift :: Digit -> char

DigitStringSuperset [Digit]

Defined in ASCII.Decimal

Methods

fromDigitList :: [Digit] -> [Digit]

isDigitString :: [Digit] -> Bool

toDigitListUnsafe :: [Digit] -> [Digit]

toDigitListMaybe :: [Digit] -> Maybe [Digit]

DigitStringSuperset string => Lift [Digit] string

Defined in ASCII.Decimal

Methods

lift :: [Digit] -> string

type Rep Digit

Defined in ASCII.Decimal

type Rep Digit = D1 ('MetaData "Digit" "ASCII.Decimal" "ascii-numbers-1.1.0.2-2992fef157b9ee24805ae9632631c2bc1ef88e54f1f3116909d60afcebb1817b" 'False) (((C1 ('MetaCons "Digit0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Digit1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Digit2" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Digit3" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Digit4" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Digit5" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Digit6" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Digit7" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Digit8" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Digit9" 'PrefixI 'False) (U1 :: Type -> Type)))))

Hexadecimal digits

See also: ASCII.Hexadecimal

isHexDigit :: CharSuperset char => char -> Bool

Returns True for characters in any of the following ranges:

• Digit0 to Digit9
• CapitalLetterA to CapitalLetterF
• SmallLetterA to SmallLetterF

data HexChar

Instances

Bounded HexChar

Defined in ASCII.Hexadecimal

Methods

minBound :: HexChar

maxBound :: HexChar

Enum HexChar

Defined in ASCII.Hexadecimal

Methods

succ :: HexChar -> HexChar

pred :: HexChar -> HexChar

toEnum :: Int -> HexChar

fromEnum :: HexChar -> Int

enumFrom :: HexChar -> [HexChar]

enumFromThen :: HexChar -> HexChar -> [HexChar]

enumFromTo :: HexChar -> HexChar -> [HexChar]

enumFromThenTo :: HexChar -> HexChar -> HexChar -> [HexChar]

Eq HexChar

Defined in ASCII.Hexadecimal

Methods

(==) :: HexChar -> HexChar -> Bool

(/=) :: HexChar -> HexChar -> Bool

Data HexChar

Defined in ASCII.Hexadecimal

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> HexChar -> c HexChar

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c HexChar

toConstr :: HexChar -> Constr

dataTypeOf :: HexChar -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c HexChar)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c HexChar)

gmapT :: (forall b. Data b => b -> b) -> HexChar -> HexChar

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> HexChar -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> HexChar -> r

gmapQ :: (forall d. Data d => d -> u) -> HexChar -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> HexChar -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> HexChar -> m HexChar

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> HexChar -> m HexChar

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> HexChar -> m HexChar

Ord HexChar

Defined in ASCII.Hexadecimal

Methods

compare :: HexChar -> HexChar -> Ordering

(<) :: HexChar -> HexChar -> Bool

(<=) :: HexChar -> HexChar -> Bool

(>) :: HexChar -> HexChar -> Bool

(>=) :: HexChar -> HexChar -> Bool

max :: HexChar -> HexChar -> HexChar

min :: HexChar -> HexChar -> HexChar

Show HexChar

Defined in ASCII.Hexadecimal

Methods

showsPrec :: Int -> HexChar -> ShowS

show :: HexChar -> String

showList :: [HexChar] -> ShowS

Generic HexChar

Defined in ASCII.Hexadecimal

Associated Types

type Rep HexChar :: Type -> Type

Methods

from :: HexChar -> Rep HexChar x

to :: Rep HexChar x -> HexChar

Hashable HexChar

Defined in ASCII.Hexadecimal

Methods

hashWithSalt :: Int -> HexChar -> Int

hash :: HexChar -> Int

HexCharSuperset HexChar

Defined in ASCII.Hexadecimal

Methods

fromHexChar :: HexChar -> HexChar

isHexChar :: HexChar -> Bool

toHexCharUnsafe :: HexChar -> HexChar

toHexCharMaybe :: HexChar -> Maybe HexChar

HexCharSuperset char => Lift HexChar char

Defined in ASCII.Hexadecimal

Methods

lift :: HexChar -> char

HexStringSuperset [HexChar]

Defined in ASCII.Hexadecimal

Methods

fromHexCharList :: [HexChar] -> [HexChar]

isHexString :: [HexChar] -> Bool

toHexCharListUnsafe :: [HexChar] -> [HexChar]

toHexCharListMaybe :: [HexChar] -> Maybe [HexChar]

HexStringSuperset string => Lift [HexChar] string

Defined in ASCII.Hexadecimal

Methods

lift :: [HexChar] -> string

type Rep HexChar

Defined in ASCII.Hexadecimal

type Rep HexChar = D1 ('MetaData "HexChar" "ASCII.Hexadecimal" "ascii-numbers-1.1.0.2-2992fef157b9ee24805ae9632631c2bc1ef88e54f1f3116909d60afcebb1817b" 'False) ((((C1 ('MetaCons "Digit0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Digit1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Digit2" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Digit3" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Digit4" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Digit5" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Digit6" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Digit7" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Digit8" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Digit9" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CapitalLetterA" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "CapitalLetterB" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CapitalLetterC" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CapitalLetterD" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CapitalLetterE" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CapitalLetterF" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "SmallLetterA" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SmallLetterB" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SmallLetterC" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "SmallLetterD" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SmallLetterE" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SmallLetterF" 'PrefixI 'False) (U1 :: Type -> Type))))))

Octal digits

isOctDigit :: CharSuperset char => char -> Bool

Returns True for the characters from Digit0 to Digit7.

Spaces and symbols

isSpace :: CharSuperset char => char -> Bool

Returns True for the following characters:

• Space
• HorizontalTab
• LineFeed
• VerticalTab
• FormFeed
• CarriageReturn

isPunctuation :: CharSuperset char => char -> Bool

Returns True for the following characters:

• ExclamationMark
• QuotationMark
• NumberSign
• PercentSign
• Ampersand
• Apostrophe
• LeftParenthesis
• RightParenthesis
• Asterisk
• Comma
• HyphenMinus
• FullStop
• Slash
• Colon
• Semicolon
• QuestionMark
• AtSign
• LeftSquareBracket
• Backslash
• RightSquareBracket
• Underscore
• LeftCurlyBracket
• RightCurlyBracket

isSymbol :: CharSuperset char => char -> Bool

Returns True for the following characters:

• DollarSign
• PlusSign
• LessThanSign
• EqualsSign
• GreaterThanSign
• Caret
• GraveAccent
• VerticalLine
• Tilde

isVisible :: CharSuperset char => char -> Bool

Returns True for visible characters.

This includes all print characters except Space.

Monomorphic character conversions

These are a few simple monomorphic functions to convert between ASCII and types representing some other character set.

This is not intended to be an exhaustive list of all possible conversions. For more options, see ASCII.Superset.

ASCII.Char ↔ Int

These functions convert between the ASCII Char type and Int.

charToInt :: Char -> Int

>>> map charToInt [Null, CapitalLetterA, SmallLetterA, Delete]
[0,65,97,127]

intToCharMaybe :: Int -> Maybe Char

intToCharUnsafe :: Int -> Char

ASCII.Char ↔ Word8

These functions convert between the ASCII Char type and Word8.

charToWord8 :: Char -> Word8

>>> map charToWord8 [Null, CapitalLetterA, SmallLetterA, Delete]
[0,65,97,127]

word8ToCharMaybe :: Word8 -> Maybe Char

word8ToCharUnsafe :: Word8 -> Char

ASCII.Char ↔ UnicodeChar

These functions convert between the ASCII Char type and the UnicodeChar type.

charToUnicode :: Char -> UnicodeChar

unicodeToCharMaybe :: UnicodeChar -> Maybe Char

unicodeToCharUnsafe :: UnicodeChar -> Char

Monomorphic digit conversions

Digit ↔ Word8

These functions convert between the ASCII Digit type and ASCII digits in their byte encoding.

These conversions do not correspond to the numeric interpretations of Digit and Word8. For example, digitToWord8 Digit0 is 48, not 0.

digitToWord8 :: Digit -> Word8

word8ToDigitMaybe :: Word8 -> Maybe Digit

word8ToDigitUnsafe :: Word8 -> Digit

Digit ↔ ASCII.Char

These functions convert between the ASCII Digit type and the ASCII Char type.

digitToChar :: Digit -> Char

charToDigitMaybe :: Char -> Maybe Digit

charToDigitUnsafe :: Char -> Digit

Digit ↔ UnicodeChar

These functions convert between the ASCII Digit type and the UnicodeChar type.

digitToUnicode :: Digit -> UnicodeChar

unicodeToDigitMaybe :: UnicodeChar -> Maybe Digit

unicodeToDigitUnsafe :: UnicodeChar -> Digit

HexChar ↔ Word8

These functions convert between the ASCII HexChar type and ASCII characters in their byte encoding.

These conversions do not correspond to the numeric interpretations of HexChar and Word8. For example, hexCharToWord8 CapitalLetterA is 65, not 10.

hexCharToWord8 :: HexChar -> Word8

word8ToHexCharMaybe :: Word8 -> Maybe HexChar

word8ToHexCharUnsafe :: Word8 -> HexChar

HexChar ↔ ASCII.Char

These functions convert between the ASCII HexChar type and the ASCII Char type.

hexCharToChar :: HexChar -> Char

charToHexCharMaybe :: Char -> Maybe HexChar

charToHexCharUnsafe :: Char -> HexChar

HexChar ↔ UnicodeChar

These functions convert between the ASCII HexChar type and the UnicodeChar type.

hexCharToUnicode :: HexChar -> UnicodeChar

unicodeToHexCharMaybe :: UnicodeChar -> Maybe HexChar

unicodeToHexCharUnsafe :: UnicodeChar -> HexChar

Monomorphic string conversions

ASCII.Char ↔ String

These functions convert between [Char] (a list of ASCII characters) and String (a list of Unicode characters).

charListToUnicodeString :: [Char] -> String

unicodeStringToCharListMaybe :: String -> Maybe [Char]

unicodeStringToCharListUnsafe :: String -> [Char]

ASCII.Char ↔ Text

These functions convert between [Char] and Text.

charListToText :: [Char] -> Text

>>> charListToText [CapitalLetterH,SmallLetterI,ExclamationMark]
"Hi!"

textToCharListMaybe :: Text -> Maybe [Char]

textToCharListUnsafe :: Text -> [Char]

ASCII.Char ↔ ByteString

These functions convert between [Char] and ByteString.

charListToByteString :: [Char] -> ByteString

byteStringToCharListMaybe :: ByteString -> Maybe [Char]

byteStringToCharListUnsafe :: ByteString -> [Char]

Monomorphic conversions between ASCII supersets

These functions are all specializations of convertStringMaybe. They convert a string from one ASCII-superset type to another.

>>> ASCII.byteListToUnicodeStringMaybe [0x48, 0x54, 0x54, 0x50]
Just "HTTP"

If any of the characters in the input is outside the ASCII character set, the result is Nothing.

>>> ASCII.byteListToUnicodeStringMaybe [0x48, 0x54, 0x54, 0x80]
Nothing

ByteString ↔ String

byteStringToUnicodeStringMaybe :: ByteString -> Maybe String

unicodeStringToByteStringMaybe :: String -> Maybe ByteString

[Word8] ↔ String

byteListToUnicodeStringMaybe :: [Word8] -> Maybe String

unicodeStringToByteListMaybe :: String -> Maybe [Word8]

Monomorphic numeric string conversions

Natural ↔ [Digit]

showNaturalDigits :: Natural -> [Digit]

Specialization of showNaturalDecimal

See also: showIntegralDecimal

readNaturalDigits :: [Digit] -> Maybe Natural

Specialization of readNaturalDecimal

See also: readIntegralDecimal

Natural ↔ [HexChar]

showNaturalHexChars :: Case -> Natural -> [HexChar]

Specialization of showNaturalHexadecimal

See also: showIntegralHexadecimal

readNaturalHexChars :: [HexChar] -> Maybe Natural

Specialization of readNaturalHexadecimal

See also: readIntegralHexadecimal

Refinement type

See also: ASCII.Refinement

data ASCII superset

Instances

Eq superset => Eq (ASCII superset)

Defined in ASCII.Refinement

Methods

(==) :: ASCII superset -> ASCII superset -> Bool

(/=) :: ASCII superset -> ASCII superset -> Bool

Data superset => Data (ASCII superset)

Defined in ASCII.Refinement

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ASCII superset -> c (ASCII superset)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ASCII superset)

toConstr :: ASCII superset -> Constr

dataTypeOf :: ASCII superset -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (ASCII superset))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ASCII superset))

gmapT :: (forall b. Data b => b -> b) -> ASCII superset -> ASCII superset

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ASCII superset -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ASCII superset -> r

gmapQ :: (forall d. Data d => d -> u) -> ASCII superset -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ASCII superset -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ASCII superset -> m (ASCII superset)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ASCII superset -> m (ASCII superset)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ASCII superset -> m (ASCII superset)

Ord superset => Ord (ASCII superset)

Defined in ASCII.Refinement

Methods

compare :: ASCII superset -> ASCII superset -> Ordering

(<) :: ASCII superset -> ASCII superset -> Bool

(<=) :: ASCII superset -> ASCII superset -> Bool

(>) :: ASCII superset -> ASCII superset -> Bool

(>=) :: ASCII superset -> ASCII superset -> Bool

max :: ASCII superset -> ASCII superset -> ASCII superset

min :: ASCII superset -> ASCII superset -> ASCII superset

Show superset => Show (ASCII superset)

Defined in ASCII.Refinement

Methods

showsPrec :: Int -> ASCII superset -> ShowS

show :: ASCII superset -> String

showList :: [ASCII superset] -> ShowS

Generic (ASCII superset)

Defined in ASCII.Refinement

Associated Types

type Rep (ASCII superset) :: Type -> Type

Methods

from :: ASCII superset -> Rep (ASCII superset) x

to :: Rep (ASCII superset) x -> ASCII superset

Semigroup superset => Semigroup (ASCII superset)

Defined in ASCII.Refinement

Methods

(<>) :: ASCII superset -> ASCII superset -> ASCII superset

sconcat :: NonEmpty (ASCII superset) -> ASCII superset

stimes :: Integral b => b -> ASCII superset -> ASCII superset

Monoid superset => Monoid (ASCII superset)

Defined in ASCII.Refinement

Methods

mempty :: ASCII superset

mappend :: ASCII superset -> ASCII superset -> ASCII superset

mconcat :: [ASCII superset] -> ASCII superset

Hashable superset => Hashable (ASCII superset)

Defined in ASCII.Refinement

Methods

hashWithSalt :: Int -> ASCII superset -> Int

hash :: ASCII superset -> Int

DigitStringSuperset char => DigitStringSuperset (ASCII char)

Defined in ASCII.Decimal

Methods

fromDigitList :: [Digit] -> ASCII char

isDigitString :: ASCII char -> Bool

toDigitListUnsafe :: ASCII char -> [Digit]

toDigitListMaybe :: ASCII char -> Maybe [Digit]

DigitSuperset char => DigitSuperset (ASCII char)

Defined in ASCII.Decimal

Methods

fromDigit :: Digit -> ASCII char

isDigit :: ASCII char -> Bool

toDigitUnsafe :: ASCII char -> Digit

toDigitMaybe :: ASCII char -> Maybe Digit

FromString string => FromString (ASCII string)

Defined in ASCII.Refinement

Methods

fromCharList :: [Char] -> ASCII string

StringSuperset string => StringSuperset (ASCII string)

Defined in ASCII.Refinement

Methods

substituteString :: ASCII string -> ASCII string

mapCharsUnsafe :: (Char -> Char) -> ASCII string -> ASCII string

HexCharSuperset char => HexCharSuperset (ASCII char)

Defined in ASCII.Hexadecimal

Methods

fromHexChar :: HexChar -> ASCII char

isHexChar :: ASCII char -> Bool

toHexCharUnsafe :: ASCII char -> HexChar

toHexCharMaybe :: ASCII char -> Maybe HexChar

HexStringSuperset char => HexStringSuperset (ASCII char)

Defined in ASCII.Hexadecimal

Methods

fromHexCharList :: [HexChar] -> ASCII char

isHexString :: ASCII char -> Bool

toHexCharListUnsafe :: ASCII char -> [HexChar]

toHexCharListMaybe :: ASCII char -> Maybe [HexChar]

CharSuperset char => CharIso (ASCII char)

Defined in ASCII.Refinement

Methods

toChar :: ASCII char -> Char

StringSuperset string => StringIso (ASCII string)

Defined in ASCII.Refinement

Methods

toCharList :: ASCII string -> [Char]

mapChars :: (Char -> Char) -> ASCII string -> ASCII string

CharSuperset char => CharSuperset (ASCII char)

Defined in ASCII.Refinement

CharSuperset char => FromChar (ASCII char)

Defined in ASCII.Refinement

Methods

fromChar :: Char -> ASCII char

ToString string => ToString (ASCII string)

Defined in ASCII.Refinement

Methods

isAsciiString :: ASCII string -> Bool

toCharListUnsafe :: ASCII string -> [Char]

toCharListSub :: ASCII string -> [Char]

ToCaselessChar char => ToCaselessChar (ASCII char)

Defined in ASCII.Refinement

Methods

isAsciiCaselessChar :: ASCII char -> Bool

toCaselessCharUnsafe :: ASCII char -> CaselessChar

ToCaselessString string => ToCaselessString (ASCII string)

Defined in ASCII.Refinement

Methods

isAsciiCaselessString :: ASCII string -> Bool

toCaselessCharListUnsafe :: ASCII string -> [CaselessChar]

toCaselessCharListSub :: ASCII string -> [CaselessChar]

CharSuperset char => ToChar (ASCII char)

Defined in ASCII.Refinement

Methods

isAsciiChar :: ASCII char -> Bool

toCharUnsafe :: ASCII char -> Char

Lift (ASCII superset) superset

Defined in ASCII.Lift

Methods

lift :: ASCII superset -> superset

type Rep (ASCII superset)

Defined in ASCII.Refinement

type Rep (ASCII superset) = D1 ('MetaData "ASCII" "ASCII.Refinement" "ascii-superset-1.1.0.0-2fd6fb0c5113795457f48200129090ad13b4a1386db7fd080381a8770c920abb" 'True) (C1 ('MetaCons "ASCII_Unsafe" 'PrefixI 'True) (S1 ('MetaSel ('Just "lift") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 superset)))

Polymorphic conversions

Narrowing

toAsciiCharMaybe :: CharSuperset char => char -> Maybe Char

toDigitMaybe :: DigitSuperset char => char -> Maybe Digit

toHexCharMaybe :: HexCharSuperset char => char -> Maybe HexChar

Validate

validateChar :: CharSuperset superset => superset -> Maybe (ASCII superset)

validateString :: StringSuperset superset => superset -> Maybe (ASCII superset)

Lift

See also: ASCII.Lift

lift :: Lift ascii superset => ascii -> superset

Converts from ASCII to any larger type.

For example, (lift @ASCII.Char @Word8) is the same function as charToWord8.

>>> lift CapitalLetterA :: Word8
65

And (lift @[ASCII.Char] @Text) is equivalent to charListToText.

>>> lift [CapitalLetterH,SmallLetterI,ExclamationMark] :: Text
"Hi!"

Due to the highly polymorphic nature of the lift function, often it must used with an explicit type signature or type application to avoid any type ambiguity.

Convert

These functions all convert from one ASCII-superset type to another, failing if any of the characters in the input is outside the ASCII character set.

convertCharMaybe :: (CharSuperset char1, CharSuperset char2) => char1 -> Maybe char2

convertCharOrFail :: (CharSuperset char1, CharSuperset char2, MonadFail context) => char1 -> context char2

convertStringMaybe :: (StringSuperset string1, StringSuperset string2) => string1 -> Maybe string2

convertStringOrFail :: (StringSuperset string1, StringSuperset string2, MonadFail context) => string1 -> context string2

Integral strings

See also: ASCII.Decimal and ASCII.Hexadecimal

showIntegralDecimal :: (Integral n, StringSuperset string) => n -> string

Gives the ASCII string representation of an integer in decimal (base 10) notation, using digits Digit0 through Digit9, leading with HyphenMinus for negative numbers.

For example, showIntegralDecimal (-512 :: Integer) = "-512".

showIntegralHexadecimal :: (Integral n, StringSuperset string) => Case -> n -> string

Gives the ASCII string representation of an integer in hexadecimal (base 16) notation, using digits Digit0 through Digit9, for digits 0 though 9. The representation of digits 10 to 15 is determined by the value of Case parameter: UpperCase means CapitalLetterA to CapitalLetterF, and LowerCase means SmallLetterA to SmallLetterF. For negative numbers, the resulting string begins with HyphenMinus.

For example, showIntegralHexadecimal UpperCase (negate (256 + 12) :: Integer) = "-10C".

readIntegralDecimal :: (StringSuperset string, Integral number, Bits number) => string -> Maybe number

Roughly the inverse of showIntegralDecimal

• Leading zeroes are accepted, as in "0074" and "-0074"

Conditions where the result is Nothing:

• If the input is empty
• If the input contains any other extraneous characters
• If the resulting number would be outside the range supported by the Integral (determined by its Bits instance)

readIntegralHexadecimal :: (StringSuperset string, Integral number, Bits number) => string -> Maybe number

Roughly the inverse of showIntegralHexadecimal

• Upper and lower case letters are treated equally
• Leading zeroes are accepted, as in "006a" and "-006a"

Conditions where the result is Nothing:

• If the input is empty
• If the input contains any other extraneous characters
• If the resulting number would be outside the range supported by the Integral (determined by its Bits instance)

Natural strings

showNaturalDecimal :: DigitStringSuperset string => Natural -> string

Gives the ASCII string representation of an natural number in decimal (base 10) notation, using digits Digit0 through Digit9.

For example, showNaturalDecimal 512 = "512".

showNaturalHexadecimal :: HexStringSuperset string => Case -> Natural -> string

Gives the ASCII string representation of an integer in hexadecimal (base 16) notation, using digits Digit0 through Digit9, for digits 0 though 9. The representation of digits 10 to 15 is determined by the value of Case parameter: UpperCase means CapitalLetterA to CapitalLetterF, and LowerCase means SmallLetterA to SmallLetterF.

For example, showNaturalHexadecimal UpperCase (256 + 12) = "10C".

readNaturalDecimal :: DigitStringSuperset string => string -> Maybe Natural

Roughly the inverse of showNaturalDecimal

• Leading zeroes are accepted, as in "0074"

Conditions where the result is Nothing:

• If the input is empty
• If the input contains any other extraneous characters

readNaturalHexadecimal :: HexStringSuperset string => string -> Maybe Natural

Roughly the inverse of showNaturalHexadecimal

• Upper and lower case letters are treated equally
• Leading zeroes are accepted, as in "006a"

Conditions where the result is Nothing:

• If the input is empty
• If the input contains any other extraneous characters

Single-digit strings

digitString :: DigitStringSuperset string => Digit -> string

A string containing a single digit character 0-9

hexCharString :: HexStringSuperset string => HexChar -> string

A string containing a single hexadecimal digit character 0-9, A-F, or a-f.

Classes

Supersets of ASCII

class (ToChar char, FromChar char) => CharSuperset char

Instances

CharSuperset Char

Defined in ASCII.Superset

CharSuperset Int

Defined in ASCII.Superset

CharSuperset Natural

Defined in ASCII.Superset

CharSuperset Word8

Defined in ASCII.Superset

CharSuperset Char

Defined in ASCII.Superset

CharSuperset char => CharSuperset (ASCII char)

Defined in ASCII.Refinement

class (ToString string, FromString string) => StringSuperset string

Minimal complete definition

substituteString

Instances

StringSuperset ByteString

Defined in ASCII.Superset

Methods

substituteString :: ByteString -> ByteString

mapCharsUnsafe :: (Char -> Char) -> ByteString -> ByteString

StringSuperset ByteString

Defined in ASCII.Superset

Methods

substituteString :: ByteString -> ByteString

mapCharsUnsafe :: (Char -> Char) -> ByteString -> ByteString

StringSuperset Builder

Defined in ASCII.Superset

Methods

substituteString :: Builder -> Builder

mapCharsUnsafe :: (Char -> Char) -> Builder -> Builder

StringSuperset Builder

Defined in ASCII.Superset

Methods

substituteString :: Builder -> Builder

mapCharsUnsafe :: (Char -> Char) -> Builder -> Builder

StringSuperset Text

Defined in ASCII.Superset

Methods

substituteString :: Text -> Text

mapCharsUnsafe :: (Char -> Char) -> Text -> Text

StringSuperset Text

Defined in ASCII.Superset

Methods

substituteString :: Text -> Text

mapCharsUnsafe :: (Char -> Char) -> Text -> Text

CharSuperset char => StringSuperset [char]

Defined in ASCII.Superset

Methods

substituteString :: [char] -> [char]

mapCharsUnsafe :: (Char -> Char) -> [char] -> [char]

StringSuperset string => StringSuperset (ASCII string)

Defined in ASCII.Refinement

Methods

substituteString :: ASCII string -> ASCII string

mapCharsUnsafe :: (Char -> Char) -> ASCII string -> ASCII string

class Lift subset superset

Minimal complete definition

lift

Instances

CharSuperset superset => Lift Char superset

Defined in ASCII.Lift

Methods

lift :: Char -> superset

DigitSuperset char => Lift Digit char

Defined in ASCII.Decimal

Methods

lift :: Digit -> char

HexCharSuperset char => Lift HexChar char

Defined in ASCII.Hexadecimal

Methods

lift :: HexChar -> char

StringSuperset superset => Lift [Char] superset

Defined in ASCII.Lift

Methods

lift :: [Char] -> superset

DigitStringSuperset string => Lift [Digit] string

Defined in ASCII.Decimal

Methods

lift :: [Digit] -> string

HexStringSuperset string => Lift [HexChar] string

Defined in ASCII.Hexadecimal

Methods

lift :: [HexChar] -> string

Lift (ASCII superset) superset

Defined in ASCII.Lift

Methods

lift :: ASCII superset -> superset

Lift (ASCII'case letterCase superset) superset

Defined in ASCII.Lift

Methods

lift :: ASCII'case letterCase superset -> superset

Equivalents to ASCII

class CharSuperset char => CharIso char

Minimal complete definition

toChar

Instances

CharIso Char

Defined in ASCII.Isomorphism

Methods

toChar :: Char -> Char

CharSuperset char => CharIso (ASCII char)

Defined in ASCII.Refinement

Methods

toChar :: ASCII char -> Char

class StringSuperset string => StringIso string

Minimal complete definition

toCharList, mapChars

Instances

CharIso char => StringIso [char]

Defined in ASCII.Isomorphism

Methods

toCharList :: [char] -> [Char]

mapChars :: (Char -> Char) -> [char] -> [char]

StringSuperset string => StringIso (ASCII string)

Defined in ASCII.Refinement

Methods

toCharList :: ASCII string -> [Char]

mapChars :: (Char -> Char) -> ASCII string -> ASCII string

Supersets of numeric characters

class DigitSuperset char

Minimal complete definition

fromDigit, (isDigit, toDigitUnsafe | toDigitMaybe)

Instances

DigitSuperset Char

Defined in ASCII.Decimal

Methods

fromDigit :: Digit -> Char

isDigit :: Char -> Bool

toDigitUnsafe :: Char -> Digit

toDigitMaybe :: Char -> Maybe Digit

DigitSuperset Word8

Defined in ASCII.Decimal

Methods

fromDigit :: Digit -> Word8

isDigit :: Word8 -> Bool

toDigitUnsafe :: Word8 -> Digit

toDigitMaybe :: Word8 -> Maybe Digit

DigitSuperset Char

Defined in ASCII.Decimal

Methods

fromDigit :: Digit -> Char

isDigit :: Char -> Bool

toDigitUnsafe :: Char -> Digit

toDigitMaybe :: Char -> Maybe Digit

DigitSuperset Digit

Defined in ASCII.Decimal

Methods

fromDigit :: Digit -> Digit

isDigit :: Digit -> Bool

toDigitUnsafe :: Digit -> Digit

toDigitMaybe :: Digit -> Maybe Digit

DigitSuperset char => DigitSuperset (ASCII char)

Defined in ASCII.Decimal

Methods

fromDigit :: Digit -> ASCII char

isDigit :: ASCII char -> Bool

toDigitUnsafe :: ASCII char -> Digit

toDigitMaybe :: ASCII char -> Maybe Digit

class DigitStringSuperset string

Minimal complete definition

fromDigitList, (isDigitString, toDigitListUnsafe | toDigitListMaybe)

Instances

DigitStringSuperset ByteString

Defined in ASCII.Decimal

Methods

fromDigitList :: [Digit] -> ByteString

isDigitString :: ByteString -> Bool

toDigitListUnsafe :: ByteString -> [Digit]

toDigitListMaybe :: ByteString -> Maybe [Digit]

DigitStringSuperset ByteString

Defined in ASCII.Decimal

Methods

fromDigitList :: [Digit] -> ByteString

isDigitString :: ByteString -> Bool

toDigitListUnsafe :: ByteString -> [Digit]

toDigitListMaybe :: ByteString -> Maybe [Digit]

DigitStringSuperset Builder

Defined in ASCII.Decimal

Methods

fromDigitList :: [Digit] -> Builder

isDigitString :: Builder -> Bool

toDigitListUnsafe :: Builder -> [Digit]

toDigitListMaybe :: Builder -> Maybe [Digit]

DigitStringSuperset Builder

Defined in ASCII.Decimal

Methods

fromDigitList :: [Digit] -> Builder

isDigitString :: Builder -> Bool

toDigitListUnsafe :: Builder -> [Digit]

toDigitListMaybe :: Builder -> Maybe [Digit]

DigitStringSuperset Text

Defined in ASCII.Decimal

Methods

fromDigitList :: [Digit] -> Text

isDigitString :: Text -> Bool

toDigitListUnsafe :: Text -> [Digit]

toDigitListMaybe :: Text -> Maybe [Digit]

DigitStringSuperset Text

Defined in ASCII.Decimal

Methods

fromDigitList :: [Digit] -> Text

isDigitString :: Text -> Bool

toDigitListUnsafe :: Text -> [Digit]

toDigitListMaybe :: Text -> Maybe [Digit]

DigitStringSuperset [Char]

Defined in ASCII.Decimal

Methods

fromDigitList :: [Digit] -> [Char]

isDigitString :: [Char] -> Bool

toDigitListUnsafe :: [Char] -> [Digit]

toDigitListMaybe :: [Char] -> Maybe [Digit]

DigitStringSuperset [Char]

Defined in ASCII.Decimal

Methods

fromDigitList :: [Digit] -> [Char]

isDigitString :: [Char] -> Bool

toDigitListUnsafe :: [Char] -> [Digit]

toDigitListMaybe :: [Char] -> Maybe [Digit]

DigitStringSuperset [Digit]

Defined in ASCII.Decimal

Methods

fromDigitList :: [Digit] -> [Digit]

isDigitString :: [Digit] -> Bool

toDigitListUnsafe :: [Digit] -> [Digit]

toDigitListMaybe :: [Digit] -> Maybe [Digit]

DigitStringSuperset char => DigitStringSuperset (ASCII char)

Defined in ASCII.Decimal

Methods

fromDigitList :: [Digit] -> ASCII char

isDigitString :: ASCII char -> Bool

toDigitListUnsafe :: ASCII char -> [Digit]

toDigitListMaybe :: ASCII char -> Maybe [Digit]

class HexCharSuperset char

Minimal complete definition

fromHexChar, (isHexChar, toHexCharUnsafe | toHexCharMaybe)

Instances

HexCharSuperset Char

Defined in ASCII.Hexadecimal

Methods

fromHexChar :: HexChar -> Char

isHexChar :: Char -> Bool

toHexCharUnsafe :: Char -> HexChar

toHexCharMaybe :: Char -> Maybe HexChar

HexCharSuperset Word8

Defined in ASCII.Hexadecimal

Methods

fromHexChar :: HexChar -> Word8

isHexChar :: Word8 -> Bool

toHexCharUnsafe :: Word8 -> HexChar

toHexCharMaybe :: Word8 -> Maybe HexChar

HexCharSuperset Char

Defined in ASCII.Hexadecimal

Methods

fromHexChar :: HexChar -> Char

isHexChar :: Char -> Bool

toHexCharUnsafe :: Char -> HexChar

toHexCharMaybe :: Char -> Maybe HexChar

HexCharSuperset HexChar

Defined in ASCII.Hexadecimal

Methods

fromHexChar :: HexChar -> HexChar

isHexChar :: HexChar -> Bool

toHexCharUnsafe :: HexChar -> HexChar

toHexCharMaybe :: HexChar -> Maybe HexChar

HexCharSuperset char => HexCharSuperset (ASCII char)

Defined in ASCII.Hexadecimal

Methods

fromHexChar :: HexChar -> ASCII char

isHexChar :: ASCII char -> Bool

toHexCharUnsafe :: ASCII char -> HexChar

toHexCharMaybe :: ASCII char -> Maybe HexChar

class HexStringSuperset string

Minimal complete definition

fromHexCharList, (isHexString, toHexCharListUnsafe | toHexCharListMaybe)

Instances

HexStringSuperset ByteString

Defined in ASCII.Hexadecimal

Methods

fromHexCharList :: [HexChar] -> ByteString

isHexString :: ByteString -> Bool

toHexCharListUnsafe :: ByteString -> [HexChar]

toHexCharListMaybe :: ByteString -> Maybe [HexChar]

HexStringSuperset ByteString

Defined in ASCII.Hexadecimal

Methods

fromHexCharList :: [HexChar] -> ByteString

isHexString :: ByteString -> Bool

toHexCharListUnsafe :: ByteString -> [HexChar]

toHexCharListMaybe :: ByteString -> Maybe [HexChar]

HexStringSuperset Builder

Defined in ASCII.Hexadecimal

Methods

fromHexCharList :: [HexChar] -> Builder

isHexString :: Builder -> Bool

toHexCharListUnsafe :: Builder -> [HexChar]

toHexCharListMaybe :: Builder -> Maybe [HexChar]

HexStringSuperset Builder

Defined in ASCII.Hexadecimal

Methods

fromHexCharList :: [HexChar] -> Builder

isHexString :: Builder -> Bool

toHexCharListUnsafe :: Builder -> [HexChar]

toHexCharListMaybe :: Builder -> Maybe [HexChar]

HexStringSuperset Text

Defined in ASCII.Hexadecimal

Methods

fromHexCharList :: [HexChar] -> Text

isHexString :: Text -> Bool

toHexCharListUnsafe :: Text -> [HexChar]

toHexCharListMaybe :: Text -> Maybe [HexChar]

HexStringSuperset Text

Defined in ASCII.Hexadecimal

Methods

fromHexCharList :: [HexChar] -> Text

isHexString :: Text -> Bool

toHexCharListUnsafe :: Text -> [HexChar]

toHexCharListMaybe :: Text -> Maybe [HexChar]

HexStringSuperset [Char]

Defined in ASCII.Hexadecimal

Methods

fromHexCharList :: [HexChar] -> [Char]

isHexString :: [Char] -> Bool

toHexCharListUnsafe :: [Char] -> [HexChar]

toHexCharListMaybe :: [Char] -> Maybe [HexChar]

HexStringSuperset [Char]

Defined in ASCII.Hexadecimal

Methods

fromHexCharList :: [HexChar] -> [Char]

isHexString :: [Char] -> Bool

toHexCharListUnsafe :: [Char] -> [HexChar]

toHexCharListMaybe :: [Char] -> Maybe [HexChar]

HexStringSuperset [HexChar]

Defined in ASCII.Hexadecimal

Methods

fromHexCharList :: [HexChar] -> [HexChar]

isHexString :: [HexChar] -> Bool

toHexCharListUnsafe :: [HexChar] -> [HexChar]

toHexCharListMaybe :: [HexChar] -> Maybe [HexChar]

HexStringSuperset char => HexStringSuperset (ASCII char)

Defined in ASCII.Hexadecimal

Methods

fromHexCharList :: [HexChar] -> ASCII char

isHexString :: ASCII char -> Bool

toHexCharListUnsafe :: ASCII char -> [HexChar]

toHexCharListMaybe :: ASCII char -> Maybe [HexChar]

Quasi-quoters

char :: QuasiQuoter

string :: QuasiQuoter