ASCII.Decimal

Read/show for numeric strings

Natural

showNatural :: DigitStringSuperset string => Natural -> string

Examples:

• showNatural 0 = "0"
• showNatural 268 = "268"

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

Examples:

• readNatural "0" = Just 0
• readNatural "268" = Just 268
• readNatural "0004" = Just 4
• readNatural "" = Nothing
• readNatural "-4" = Nothing
• readNatural "12345678901234567890" = Just 12345678901234567890

Integer

showInteger :: StringSuperset string => Integer -> string

Examples:

• showInteger 0 = "0"
• showInteger 12 = "12"
• showInteger (negate 12) = "-12"

readInteger :: StringSuperset string => string -> Maybe Integer

Examples:

• readInteger "0" = Just 0
• readInteger "268" = Just 268
• readInteger "0004" = Just 4
• readInteger "" = Nothing
• readInteger "-4" = Just (-4)
• readInteger "12345678901234567890" = Just 12345678901234567890

Integral

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

readIntegral :: (StringSuperset string, Integral num, Bits num) => string -> Maybe num

Examples:

• readIntegral "0" = Just (0 :: Word8)
• readIntegral "175" = Just (175 :: Word8)
• readIntegral "268" = (Nothing :: Maybe Word8)
• readIntegral "0004" = Just (4 :: Word8)
• readIntegral "" = (Nothing :: Maybe Word8)
• readIntegral "-4" = (Nothing :: Maybe Word8)
• readIntegral "12345678901234567890" = (Nothing :: Maybe Word8)

The digit type

data Digit

The subset of ASCII used to represent unsigned decimal numbers:

• Digit0 to Digit9

Constructors

Digit0

Zero

Digit1

One

Digit2

Two

Digit3

Three

Digit4

Four

Digit5

Five

Digit6

Six

Digit7

Seven

Digit8

Eight

Digit9

Nine

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-inplace" '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)))))

Decimal digit superset classes

Of digit

class DigitSuperset char where

Minimal complete definition

fromDigit, (isDigit, toDigitUnsafe | toDigitMaybe)

Methods

fromDigit :: Digit -> char

isDigit :: char -> Bool

toDigitUnsafe :: char -> Digit

toDigitMaybe :: char -> Maybe Digit

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

Of digit lists

class DigitStringSuperset string where

Minimal complete definition

fromDigitList, (isDigitString, toDigitListUnsafe | toDigitListMaybe)

Methods

fromDigitList :: [Digit] -> string

isDigitString :: string -> Bool

toDigitListUnsafe :: string -> [Digit]

toDigitListMaybe :: string -> Maybe [Digit]

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]

Character/number conversions

Natural

naturalDigitMaybe :: Natural -> Maybe Digit

Examples:

• naturalDigitMaybe 5 = Just Digit5
• naturalDigitMaybe 12 = Nothing

digitNatural :: Digit -> Natural

Integer

integerDigitMaybe :: Integer -> Maybe Digit

Examples:

• integerDigitMaybe 5 = Just Digit5
• integerDigitMaybe 12 = Nothing

digitInteger :: Digit -> Integer