module ASCII
(
Char,
UnicodeChar,
CaselessChar,
Group (..), charGroup, inGroup,
Case (..), letterCase, isCase, toCaseChar, toCaseString,
disregardCase, refineCharToCase, refineStringToCase,
isLetter,
isAlphaNum,
isDigit, Digit,
isHexDigit, HexChar,
isOctDigit,
isSpace, isPunctuation, isSymbol, isVisible,
charToInt, intToCharMaybe, intToCharUnsafe,
charToWord8, word8ToCharMaybe, word8ToCharUnsafe,
charToUnicode, unicodeToCharMaybe, unicodeToCharUnsafe,
digitToWord8, word8ToDigitMaybe, word8ToDigitUnsafe,
digitToChar, charToDigitMaybe, charToDigitUnsafe,
digitToUnicode, unicodeToDigitMaybe, unicodeToDigitUnsafe,
hexCharToWord8, word8ToHexCharMaybe, word8ToHexCharUnsafe,
hexCharToChar, charToHexCharMaybe, charToHexCharUnsafe,
hexCharToUnicode, unicodeToHexCharMaybe, unicodeToHexCharUnsafe,
charListToUnicodeString, unicodeStringToCharListMaybe,
unicodeStringToCharListUnsafe,
charListToText, textToCharListMaybe, textToCharListUnsafe,
charListToByteString, byteStringToCharListMaybe,
byteStringToCharListUnsafe,
asciiByteStringToText, asciiByteStringToTextLazy,
byteStringToUnicodeStringMaybe, unicodeStringToByteStringMaybe,
byteListToUnicodeStringMaybe, unicodeStringToByteListMaybe,
showNaturalDigits, readNaturalDigits,
showNaturalHexChars, readNaturalHexChars,
ASCII,
ASCII'case, ASCII'upper, ASCII'lower, KnownCase (..),
toCharMaybe, toCharListMaybe, toDigitMaybe, toHexCharMaybe,
validateChar, validateString,
lift,
toStrictText, toLazyText, toUnicodeCharList,
fromChar, fromCharList,
fromDigit, fromDigitList,
fromHexChar, fromHexCharList,
forgetCase,
convertCharMaybe, convertCharOrFail, convertStringMaybe,
convertStringOrFail, convertRefinedString,
showIntegralDecimal, showIntegralHexadecimal,
readIntegralDecimal, readIntegralHexadecimal,
showNaturalDecimal, showNaturalHexadecimal,
readNaturalDecimal, readNaturalHexadecimal,
digitString, hexCharString,
CharSuperset, StringSuperset,
StringSupersetConversion, ToText,
CharIso, StringIso,
DigitSuperset, DigitStringSuperset, HexCharSuperset, HexStringSuperset,
char, string, caseless, lower, upper,
)
where
import ASCII.Case (Case (..))
import ASCII.CaseRefinement (KnownCase (..), ASCII'case, ASCII'upper, ASCII'lower, refineCharToCase, refineStringToCase, forgetCase)
import ASCII.Caseless (CaselessChar)
import ASCII.Char (Char)
import ASCII.Decimal (Digit, DigitStringSuperset, DigitSuperset, fromDigit, fromDigitList)
import ASCII.Group (Group (..))
import ASCII.Hexadecimal (HexChar, HexCharSuperset, HexStringSuperset, fromHexChar, fromHexCharList)
import ASCII.Isomorphism (CharIso, StringIso)
import ASCII.QuasiQuoters (char, string, caseless, lower, upper)
import ASCII.Refinement (ASCII, lift, validateChar, validateString)
import ASCII.Superset (CharSuperset, StringSuperset, toCharMaybe, toCharListMaybe, fromChar, fromCharList)
import ASCII.SupersetConversion (StringSupersetConversion)
import ASCII.Superset.Text (ToText (..))
import Control.Monad ((>=>))
import Control.Monad.Fail (MonadFail)
import Data.Bits (Bits)
import Data.Bool (Bool (..))
import Data.Foldable (any)
import Data.Function ((.))
import Data.Int (Int)
import Data.Maybe (Maybe, maybe)
import Data.Word (Word8)
import Numeric.Natural (Natural)
import Prelude (Integral)
import qualified ASCII.Case
import qualified ASCII.Caseless
import qualified ASCII.Decimal
import qualified ASCII.Group
import qualified ASCII.Hexadecimal
import qualified ASCII.Isomorphism
import qualified ASCII.Predicates
import qualified ASCII.Superset
import qualified ASCII.SupersetConversion as SupersetConversion
import qualified Data.ByteString as BS
import qualified Data.ByteString.Lazy as LBS
import qualified Data.Char as Unicode
import qualified Data.String as Unicode
import qualified Data.Text as Text
import qualified Data.Text.Encoding as Text
import qualified Data.Text.Lazy as LText
import qualified Data.Text.Lazy.Encoding as LText
type UnicodeChar = Unicode.Char
charGroup :: CharIso char => char -> Group
charGroup :: forall char. CharIso char => char -> Group
charGroup = Char -> Group
ASCII.Group.charGroup forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall char. CharIso char => char -> Char
ASCII.Isomorphism.toChar
inGroup :: CharSuperset char => Group -> char -> Bool
inGroup :: forall char. CharSuperset char => Group -> char -> Bool
inGroup Group
g = forall b a. b -> (a -> b) -> Maybe a -> b
maybe Bool
False (Group -> Char -> Bool
ASCII.Group.inGroup Group
g) forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall char. ToChar char => char -> Maybe Char
ASCII.Superset.toCharMaybe
letterCase :: CharSuperset char => char -> Maybe Case
letterCase :: forall char. CharSuperset char => char -> Maybe Case
letterCase = forall char. ToChar char => char -> Maybe Char
ASCII.Superset.toCharMaybe forall (m :: * -> *) a b c.
Monad m =>
(a -> m b) -> (b -> m c) -> a -> m c
>=> Char -> Maybe Case
ASCII.Case.letterCase
isCase :: CharSuperset char => Case -> char -> Bool
isCase :: forall char. CharSuperset char => Case -> char -> Bool
isCase Case
c = forall b a. b -> (a -> b) -> Maybe a -> b
maybe Bool
False (Case -> Char -> Bool
ASCII.Case.isCase Case
c) forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall char. ToChar char => char -> Maybe Char
ASCII.Superset.toCharMaybe
toCaseChar :: CharSuperset char => Case -> char -> char
toCaseChar :: forall char. CharSuperset char => Case -> char -> char
toCaseChar = forall char. CharSuperset char => Case -> char -> char
ASCII.Superset.toCaseChar
toCaseString :: StringSuperset string => Case -> string -> string
toCaseString :: forall string. StringSuperset string => Case -> string -> string
toCaseString = forall string. StringSuperset string => Case -> string -> string
ASCII.Superset.toCaseString
disregardCase :: Char -> CaselessChar
disregardCase :: Char -> CaselessChar
disregardCase = Char -> CaselessChar
ASCII.Caseless.disregardCase
charToInt :: Char -> Int
charToInt :: Char -> Int
charToInt = forall char. FromChar char => Char -> char
ASCII.Superset.fromChar
intToCharMaybe :: Int -> Maybe Char
intToCharMaybe :: Int -> Maybe Char
intToCharMaybe = forall char. ToChar char => char -> Maybe Char
ASCII.Superset.toCharMaybe
intToCharUnsafe :: Int -> Char
intToCharUnsafe :: Int -> Char
intToCharUnsafe = forall char. ToChar char => char -> Char
ASCII.Superset.toCharUnsafe
charToWord8 :: Char -> Word8
charToWord8 :: Char -> Word8
charToWord8 = forall char. FromChar char => Char -> char
ASCII.Superset.fromChar
word8ToCharMaybe :: Word8 -> Maybe Char
word8ToCharMaybe :: Word8 -> Maybe Char
word8ToCharMaybe = forall char. ToChar char => char -> Maybe Char
ASCII.Superset.toCharMaybe
word8ToCharUnsafe :: Word8 -> Char
word8ToCharUnsafe :: Word8 -> Char
word8ToCharUnsafe = forall char. ToChar char => char -> Char
ASCII.Superset.toCharUnsafe
charToUnicode :: Char -> UnicodeChar
charToUnicode :: Char -> UnicodeChar
charToUnicode = forall char. FromChar char => Char -> char
ASCII.Superset.fromChar
unicodeToCharMaybe :: UnicodeChar -> Maybe Char
unicodeToCharMaybe :: UnicodeChar -> Maybe Char
unicodeToCharMaybe = forall char. ToChar char => char -> Maybe Char
ASCII.Superset.toCharMaybe
unicodeToCharUnsafe :: UnicodeChar -> Char
unicodeToCharUnsafe :: UnicodeChar -> Char
unicodeToCharUnsafe = forall char. ToChar char => char -> Char
ASCII.Superset.toCharUnsafe
digitToWord8 :: Digit -> Word8
digitToWord8 :: Digit -> Word8
digitToWord8 = forall char. DigitSuperset char => Digit -> char
ASCII.Decimal.fromDigit
word8ToDigitMaybe :: Word8 -> Maybe Digit
word8ToDigitMaybe :: Word8 -> Maybe Digit
word8ToDigitMaybe = forall char. DigitSuperset char => char -> Maybe Digit
ASCII.Decimal.toDigitMaybe
word8ToDigitUnsafe :: Word8 -> Digit
word8ToDigitUnsafe :: Word8 -> Digit
word8ToDigitUnsafe = forall char. DigitSuperset char => char -> Digit
ASCII.Decimal.toDigitUnsafe
digitToChar :: Digit -> Char
digitToChar :: Digit -> Char
digitToChar = forall char. DigitSuperset char => Digit -> char
ASCII.Decimal.fromDigit
charToDigitMaybe :: Char -> Maybe Digit
charToDigitMaybe :: Char -> Maybe Digit
charToDigitMaybe = forall char. DigitSuperset char => char -> Maybe Digit
ASCII.Decimal.toDigitMaybe
charToDigitUnsafe :: Char -> Digit
charToDigitUnsafe :: Char -> Digit
charToDigitUnsafe = forall char. DigitSuperset char => char -> Digit
ASCII.Decimal.toDigitUnsafe
digitToUnicode :: Digit -> UnicodeChar
digitToUnicode :: Digit -> UnicodeChar
digitToUnicode = forall char. DigitSuperset char => Digit -> char
ASCII.Decimal.fromDigit
unicodeToDigitMaybe :: UnicodeChar -> Maybe Digit
unicodeToDigitMaybe :: UnicodeChar -> Maybe Digit
unicodeToDigitMaybe = forall char. DigitSuperset char => char -> Maybe Digit
ASCII.Decimal.toDigitMaybe
unicodeToDigitUnsafe :: UnicodeChar -> Digit
unicodeToDigitUnsafe :: UnicodeChar -> Digit
unicodeToDigitUnsafe = forall char. DigitSuperset char => char -> Digit
ASCII.Decimal.toDigitUnsafe
hexCharToWord8 :: HexChar -> Word8
hexCharToWord8 :: HexChar -> Word8
hexCharToWord8 = forall char. HexCharSuperset char => HexChar -> char
ASCII.Hexadecimal.fromHexChar
word8ToHexCharMaybe :: Word8 -> Maybe HexChar
word8ToHexCharMaybe :: Word8 -> Maybe HexChar
word8ToHexCharMaybe = forall char. HexCharSuperset char => char -> Maybe HexChar
ASCII.Hexadecimal.toHexCharMaybe
word8ToHexCharUnsafe :: Word8 -> HexChar
word8ToHexCharUnsafe :: Word8 -> HexChar
word8ToHexCharUnsafe = forall char. HexCharSuperset char => char -> HexChar
ASCII.Hexadecimal.toHexCharUnsafe
hexCharToChar :: HexChar -> Char
hexCharToChar :: HexChar -> Char
hexCharToChar = forall char. HexCharSuperset char => HexChar -> char
ASCII.Hexadecimal.fromHexChar
charToHexCharMaybe :: Char -> Maybe HexChar
charToHexCharMaybe :: Char -> Maybe HexChar
charToHexCharMaybe = forall char. HexCharSuperset char => char -> Maybe HexChar
ASCII.Hexadecimal.toHexCharMaybe
charToHexCharUnsafe :: Char -> HexChar
charToHexCharUnsafe :: Char -> HexChar
charToHexCharUnsafe = forall char. HexCharSuperset char => char -> HexChar
ASCII.Hexadecimal.toHexCharUnsafe
hexCharToUnicode :: HexChar -> UnicodeChar
hexCharToUnicode :: HexChar -> UnicodeChar
hexCharToUnicode = forall char. HexCharSuperset char => HexChar -> char
ASCII.Hexadecimal.fromHexChar
unicodeToHexCharMaybe :: UnicodeChar -> Maybe HexChar
unicodeToHexCharMaybe :: UnicodeChar -> Maybe HexChar
unicodeToHexCharMaybe = forall char. HexCharSuperset char => char -> Maybe HexChar
ASCII.Hexadecimal.toHexCharMaybe
unicodeToHexCharUnsafe :: UnicodeChar -> HexChar
unicodeToHexCharUnsafe :: UnicodeChar -> HexChar
unicodeToHexCharUnsafe = forall char. HexCharSuperset char => char -> HexChar
ASCII.Hexadecimal.toHexCharUnsafe
charListToUnicodeString :: [Char] -> Unicode.String
charListToUnicodeString :: [Char] -> String
charListToUnicodeString = forall string. FromString string => [Char] -> string
ASCII.Superset.fromCharList
unicodeStringToCharListMaybe :: Unicode.String -> Maybe [Char]
unicodeStringToCharListMaybe :: String -> Maybe [Char]
unicodeStringToCharListMaybe = forall string. ToString string => string -> Maybe [Char]
ASCII.Superset.toCharListMaybe
unicodeStringToCharListUnsafe :: Unicode.String -> [Char]
unicodeStringToCharListUnsafe :: String -> [Char]
unicodeStringToCharListUnsafe = forall string. ToString string => string -> [Char]
ASCII.Superset.toCharListUnsafe
charListToText :: [Char] -> Text.Text
charListToText :: [Char] -> Text
charListToText = forall string. FromString string => [Char] -> string
ASCII.Superset.fromCharList
textToCharListMaybe :: Text.Text -> Maybe [Char]
textToCharListMaybe :: Text -> Maybe [Char]
textToCharListMaybe = forall string. ToString string => string -> Maybe [Char]
ASCII.Superset.toCharListMaybe
textToCharListUnsafe :: Text.Text -> [Char]
textToCharListUnsafe :: Text -> [Char]
textToCharListUnsafe = forall string. ToString string => string -> [Char]
ASCII.Superset.toCharListUnsafe
charListToByteString :: [Char] -> BS.ByteString
charListToByteString :: [Char] -> ByteString
charListToByteString = forall string. FromString string => [Char] -> string
ASCII.Superset.fromCharList
byteStringToCharListMaybe :: BS.ByteString -> Maybe [Char]
byteStringToCharListMaybe :: ByteString -> Maybe [Char]
byteStringToCharListMaybe = forall string. ToString string => string -> Maybe [Char]
ASCII.Superset.toCharListMaybe
byteStringToCharListUnsafe :: BS.ByteString -> [Char]
byteStringToCharListUnsafe :: ByteString -> [Char]
byteStringToCharListUnsafe = forall string. ToString string => string -> [Char]
ASCII.Superset.toCharListUnsafe
asciiByteStringToText :: ASCII BS.ByteString -> Text.Text
asciiByteStringToText :: ASCII ByteString -> Text
asciiByteStringToText = ByteString -> Text
Text.decodeUtf8 forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall superset. ASCII superset -> superset
ASCII.Refinement.lift
asciiByteStringToTextLazy :: ASCII LBS.ByteString -> LText.Text
asciiByteStringToTextLazy :: ASCII ByteString -> Text
asciiByteStringToTextLazy = ByteString -> Text
LText.decodeUtf8 forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall superset. ASCII superset -> superset
ASCII.Refinement.lift
convertCharMaybe :: (CharSuperset char1, CharSuperset char2) => char1 -> Maybe char2
convertCharMaybe :: forall char1 char2.
(CharSuperset char1, CharSuperset char2) =>
char1 -> Maybe char2
convertCharMaybe = forall char1 char2.
(ToChar char1, FromChar char2) =>
char1 -> Maybe char2
ASCII.Superset.convertCharMaybe
convertCharOrFail :: (CharSuperset char1, CharSuperset char2, MonadFail context) => char1 -> context char2
convertCharOrFail :: forall char1 char2 (context :: * -> *).
(CharSuperset char1, CharSuperset char2, MonadFail context) =>
char1 -> context char2
convertCharOrFail = forall char1 char2 (context :: * -> *).
(ToChar char1, FromChar char2, MonadFail context) =>
char1 -> context char2
ASCII.Superset.convertCharOrFail
convertStringMaybe :: (StringSuperset string1, StringSuperset string2) => string1 -> Maybe string2
convertStringMaybe :: forall string1 string2.
(StringSuperset string1, StringSuperset string2) =>
string1 -> Maybe string2
convertStringMaybe = forall string1 string2.
(ToString string1, FromString string2) =>
string1 -> Maybe string2
ASCII.Superset.convertStringMaybe
convertStringOrFail :: (StringSuperset string1, StringSuperset string2, MonadFail context) => string1 -> context string2
convertStringOrFail :: forall string1 string2 (context :: * -> *).
(StringSuperset string1, StringSuperset string2,
MonadFail context) =>
string1 -> context string2
convertStringOrFail = forall string1 string2 (context :: * -> *).
(ToString string1, FromString string2, MonadFail context) =>
string1 -> context string2
ASCII.Superset.convertStringOrFail
byteStringToUnicodeStringMaybe :: BS.ByteString -> Maybe Unicode.String
byteStringToUnicodeStringMaybe :: ByteString -> Maybe String
byteStringToUnicodeStringMaybe = forall string1 string2.
(StringSuperset string1, StringSuperset string2) =>
string1 -> Maybe string2
convertStringMaybe
unicodeStringToByteStringMaybe :: Unicode.String -> Maybe BS.ByteString
unicodeStringToByteStringMaybe :: String -> Maybe ByteString
unicodeStringToByteStringMaybe = forall string1 string2.
(StringSuperset string1, StringSuperset string2) =>
string1 -> Maybe string2
convertStringMaybe
byteListToUnicodeStringMaybe :: [Word8] -> Maybe Unicode.String
byteListToUnicodeStringMaybe :: [Word8] -> Maybe String
byteListToUnicodeStringMaybe = forall string1 string2.
(StringSuperset string1, StringSuperset string2) =>
string1 -> Maybe string2
convertStringMaybe
unicodeStringToByteListMaybe :: Unicode.String -> Maybe [Word8]
unicodeStringToByteListMaybe :: String -> Maybe [Word8]
unicodeStringToByteListMaybe = forall string1 string2.
(StringSuperset string1, StringSuperset string2) =>
string1 -> Maybe string2
convertStringMaybe
isLetter :: CharSuperset char => char -> Bool
isLetter :: forall char. CharSuperset char => char -> Bool
isLetter char
x = forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
any Char -> Bool
ASCII.Predicates.isLetter (forall char1 char2.
(CharSuperset char1, CharSuperset char2) =>
char1 -> Maybe char2
convertCharMaybe char
x)
isDigit :: CharSuperset char => char -> Bool
isDigit :: forall char. CharSuperset char => char -> Bool
isDigit char
x = forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
any Char -> Bool
ASCII.Predicates.isDigit (forall char1 char2.
(CharSuperset char1, CharSuperset char2) =>
char1 -> Maybe char2
convertCharMaybe char
x)
isOctDigit :: CharSuperset char => char -> Bool
isOctDigit :: forall char. CharSuperset char => char -> Bool
isOctDigit char
x = forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
any Char -> Bool
ASCII.Predicates.isOctDigit (forall char1 char2.
(CharSuperset char1, CharSuperset char2) =>
char1 -> Maybe char2
convertCharMaybe char
x)
isHexDigit :: CharSuperset char => char -> Bool
isHexDigit :: forall char. CharSuperset char => char -> Bool
isHexDigit char
x = forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
any Char -> Bool
ASCII.Predicates.isHexDigit (forall char1 char2.
(CharSuperset char1, CharSuperset char2) =>
char1 -> Maybe char2
convertCharMaybe char
x)
isSpace :: CharSuperset char => char -> Bool
isSpace :: forall char. CharSuperset char => char -> Bool
isSpace char
x = forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
any Char -> Bool
ASCII.Predicates.isSpace (forall char1 char2.
(CharSuperset char1, CharSuperset char2) =>
char1 -> Maybe char2
convertCharMaybe char
x)
isAlphaNum :: CharSuperset char => char -> Bool
isAlphaNum :: forall char. CharSuperset char => char -> Bool
isAlphaNum char
x = forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
any Char -> Bool
ASCII.Predicates.isAlphaNum (forall char1 char2.
(CharSuperset char1, CharSuperset char2) =>
char1 -> Maybe char2
convertCharMaybe char
x)
isPunctuation :: CharSuperset char => char -> Bool
isPunctuation :: forall char. CharSuperset char => char -> Bool
isPunctuation char
x = forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
any Char -> Bool
ASCII.Predicates.isPunctuation (forall char1 char2.
(CharSuperset char1, CharSuperset char2) =>
char1 -> Maybe char2
convertCharMaybe char
x)
isSymbol :: CharSuperset char => char -> Bool
isSymbol :: forall char. CharSuperset char => char -> Bool
isSymbol char
x = forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
any Char -> Bool
ASCII.Predicates.isSymbol (forall char1 char2.
(CharSuperset char1, CharSuperset char2) =>
char1 -> Maybe char2
convertCharMaybe char
x)
isVisible :: CharSuperset char => char -> Bool
isVisible :: forall char. CharSuperset char => char -> Bool
isVisible char
x = forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
any Char -> Bool
ASCII.Predicates.isVisible (forall char1 char2.
(CharSuperset char1, CharSuperset char2) =>
char1 -> Maybe char2
convertCharMaybe char
x)
showIntegralDecimal :: (Integral n, StringSuperset string) => n -> string
showIntegralDecimal :: forall n string. (Integral n, StringSuperset string) => n -> string
showIntegralDecimal = forall n string. (Integral n, StringSuperset string) => n -> string
ASCII.Decimal.showIntegral
showIntegralHexadecimal :: (Integral n, StringSuperset string) =>
Case -> n -> string
showIntegralHexadecimal :: forall n string.
(Integral n, StringSuperset string) =>
Case -> n -> string
showIntegralHexadecimal = forall string number.
(StringSuperset string, Integral number) =>
Case -> number -> string
ASCII.Hexadecimal.showIntegral
readIntegralDecimal :: (StringSuperset string, Integral number, Bits number) =>
string -> Maybe number
readIntegralDecimal :: forall string number.
(StringSuperset string, Integral number, Bits number) =>
string -> Maybe number
readIntegralDecimal = forall string number.
(StringSuperset string, Integral number, Bits number) =>
string -> Maybe number
ASCII.Decimal.readIntegral
readIntegralHexadecimal :: (StringSuperset string, Integral number, Bits number) =>
string -> Maybe number
readIntegralHexadecimal :: forall string number.
(StringSuperset string, Integral number, Bits number) =>
string -> Maybe number
readIntegralHexadecimal = forall string number.
(StringSuperset string, Integral number, Bits number) =>
string -> Maybe number
ASCII.Hexadecimal.readIntegral
showNaturalDecimal :: DigitStringSuperset string => Natural -> string
showNaturalDecimal :: forall string. DigitStringSuperset string => Natural -> string
showNaturalDecimal = forall string. DigitStringSuperset string => Natural -> string
ASCII.Decimal.showNatural
showNaturalHexadecimal :: HexStringSuperset string => Case -> Natural -> string
showNaturalHexadecimal :: forall string.
HexStringSuperset string =>
Case -> Natural -> string
showNaturalHexadecimal = forall string.
HexStringSuperset string =>
Case -> Natural -> string
ASCII.Hexadecimal.showNatural
readNaturalDecimal :: DigitStringSuperset string => string -> Maybe Natural
readNaturalDecimal :: forall string.
DigitStringSuperset string =>
string -> Maybe Natural
readNaturalDecimal = forall string.
DigitStringSuperset string =>
string -> Maybe Natural
ASCII.Decimal.readNatural
readNaturalHexadecimal :: HexStringSuperset string => string -> Maybe Natural
readNaturalHexadecimal :: forall string. HexStringSuperset string => string -> Maybe Natural
readNaturalHexadecimal = forall string. HexStringSuperset string => string -> Maybe Natural
ASCII.Hexadecimal.readNatural
showNaturalDigits :: Natural -> [Digit]
showNaturalDigits :: Natural -> [Digit]
showNaturalDigits = forall string. DigitStringSuperset string => Natural -> string
showNaturalDecimal
readNaturalDigits :: [Digit] -> Maybe Natural
readNaturalDigits :: [Digit] -> Maybe Natural
readNaturalDigits = forall string.
DigitStringSuperset string =>
string -> Maybe Natural
readNaturalDecimal
showNaturalHexChars :: Case -> Natural -> [HexChar]
showNaturalHexChars :: Case -> Natural -> [HexChar]
showNaturalHexChars = forall string.
HexStringSuperset string =>
Case -> Natural -> string
showNaturalHexadecimal
readNaturalHexChars :: [HexChar] -> Maybe Natural
readNaturalHexChars :: [HexChar] -> Maybe Natural
readNaturalHexChars = forall string. HexStringSuperset string => string -> Maybe Natural
readNaturalHexadecimal
digitString :: DigitStringSuperset string => Digit -> string
digitString :: forall string. DigitStringSuperset string => Digit -> string
digitString Digit
x = forall string. DigitStringSuperset string => [Digit] -> string
ASCII.Decimal.fromDigitList [Digit
x]
hexCharString :: HexStringSuperset string => HexChar -> string
hexCharString :: forall string. HexStringSuperset string => HexChar -> string
hexCharString HexChar
x = forall string. HexStringSuperset string => [HexChar] -> string
ASCII.Hexadecimal.fromHexCharList [HexChar
x]
toDigitMaybe :: DigitSuperset char => char -> Maybe Digit
toDigitMaybe :: forall char. DigitSuperset char => char -> Maybe Digit
toDigitMaybe = forall char. DigitSuperset char => char -> Maybe Digit
ASCII.Decimal.toDigitMaybe
toHexCharMaybe :: HexCharSuperset char => char -> Maybe HexChar
toHexCharMaybe :: forall char. HexCharSuperset char => char -> Maybe HexChar
toHexCharMaybe = forall char. HexCharSuperset char => char -> Maybe HexChar
ASCII.Hexadecimal.toHexCharMaybe
convertRefinedString ::
StringSupersetConversion a b => ASCII a -> ASCII b
convertRefinedString :: forall a b. StringSupersetConversion a b => ASCII a -> ASCII b
convertRefinedString = forall a b. StringSupersetConversion a b => ASCII a -> ASCII b
SupersetConversion.convertRefinedString