ASCII.Hexadecimal

Read/show for numeric strings

Natural

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

Examples:

• showNatural LowerCase 12 = "c"
• showNatural UpperCase (256 + 12) = "10C"
• showNatural UpperCase 0 = "0"

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

Examples:

• readNatural "5" = Just 5
• readNatural "-5" = Nothing
• readNatural "1f" = Just 31
• readNatural "1F" = Just 31
• readNatural "xa" = Nothing
• readNatural "" = Nothing

Integer

showInteger :: StringSuperset string => Case -> Integer -> string

Examples:

• showInteger LowerCase 12 = "c"
• showInteger LowerCase (negate 12) = "-c"
• showInteger UpperCase (256 + 12) = "10C"
• showInteger UpperCase (negate (256 + 12)) = "-10C"
• showInteger UpperCase 0 = "0"

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

Examples:

• readInteger "5" = Just 5
• readInteger "-5" = Just (-5)
• readInteger "1f" = Just 31
• readInteger "1F" = Just 31
• readInteger "xa" = Nothing
• readInteger "" = Nothing
• readInteger "-" = Nothing

Integral

showIntegral :: (StringSuperset string, Integral number) => Case -> number -> string

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

Examples:

• readIntegral "0014" = Just (20 :: Word8)
• readIntegral "" = (Nothing :: Maybe Word8)
• readIntegral "-4" = (Nothing :: Maybe Word8)
• readIntegral "1234" = (Nothing :: Maybe Word8)

Various digit types

data HexChar

The subset of ASCII used to represent hexadecimal numbers:

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

Constructors

Digit0

Digit1

Digit2

Digit3

Digit4

Digit5

Digit6

Digit7

Digit8

Digit9

CapitalLetterA

CapitalLetterB

CapitalLetterC

CapitalLetterD

CapitalLetterE

CapitalLetterF

SmallLetterA

SmallLetterB

SmallLetterC

SmallLetterD

SmallLetterE

SmallLetterF

Instances

HexCharSuperset HexChar

Defined in ASCII.Hexadecimal

Methods

fromHexChar :: HexChar -> HexChar

isHexChar :: HexChar -> Bool

toHexCharUnsafe :: HexChar -> HexChar

toHexCharMaybe :: HexChar -> Maybe HexChar

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

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]

Generic HexChar

Defined in ASCII.Hexadecimal

Associated Types

type Rep HexChar :: Type -> Type

Methods

from :: HexChar -> Rep HexChar x

to :: Rep HexChar x -> HexChar

Show HexChar

Defined in ASCII.Hexadecimal

Methods

showsPrec :: Int -> HexChar -> ShowS

show :: HexChar -> String

showList :: [HexChar] -> ShowS

Eq HexChar

Defined in ASCII.Hexadecimal

Methods

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

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

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

Hashable HexChar

Defined in ASCII.Hexadecimal

Methods

hashWithSalt :: Int -> HexChar -> Int

hash :: HexChar -> Int

HexStringSuperset [HexChar]

Defined in ASCII.Hexadecimal

Methods

fromHexCharList :: [HexChar] -> [HexChar]

isHexString :: [HexChar] -> Bool

toHexCharListUnsafe :: [HexChar] -> [HexChar]

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

type Rep HexChar

Defined in ASCII.Hexadecimal

type Rep HexChar = D1 ('MetaData "HexChar" "ASCII.Hexadecimal" "ascii-numbers-1.2.0.2-JMEpF4iwTFDAp3Gjf5xk8D" '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))))))

data HexLetter

Letters used as hexadecimal digits above 9, without a notion of case.

Constructors

LetterA

10

LetterB

11

LetterC

12

LetterD

13

LetterE

14

LetterF

15

Instances

Data HexLetter

Defined in ASCII.Hexadecimal

Methods

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

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

toConstr :: HexLetter -> Constr

dataTypeOf :: HexLetter -> DataType

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

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

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

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

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

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

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

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

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

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

Bounded HexLetter

Defined in ASCII.Hexadecimal

Methods

minBound :: HexLetter

maxBound :: HexLetter

Enum HexLetter

Defined in ASCII.Hexadecimal

Methods

succ :: HexLetter -> HexLetter

pred :: HexLetter -> HexLetter

toEnum :: Int -> HexLetter

fromEnum :: HexLetter -> Int

enumFrom :: HexLetter -> [HexLetter]

enumFromThen :: HexLetter -> HexLetter -> [HexLetter]

enumFromTo :: HexLetter -> HexLetter -> [HexLetter]

enumFromThenTo :: HexLetter -> HexLetter -> HexLetter -> [HexLetter]

Generic HexLetter

Defined in ASCII.Hexadecimal

Associated Types

type Rep HexLetter :: Type -> Type

Methods

from :: HexLetter -> Rep HexLetter x

to :: Rep HexLetter x -> HexLetter

Show HexLetter

Defined in ASCII.Hexadecimal

Methods

showsPrec :: Int -> HexLetter -> ShowS

show :: HexLetter -> String

showList :: [HexLetter] -> ShowS

Eq HexLetter

Defined in ASCII.Hexadecimal

Methods

(==) :: HexLetter -> HexLetter -> Bool

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

Ord HexLetter

Defined in ASCII.Hexadecimal

Methods

compare :: HexLetter -> HexLetter -> Ordering

(<) :: HexLetter -> HexLetter -> Bool

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

(>) :: HexLetter -> HexLetter -> Bool

(>=) :: HexLetter -> HexLetter -> Bool

max :: HexLetter -> HexLetter -> HexLetter

min :: HexLetter -> HexLetter -> HexLetter

Hashable HexLetter

Defined in ASCII.Hexadecimal

Methods

hashWithSalt :: Int -> HexLetter -> Int

hash :: HexLetter -> Int

type Rep HexLetter

Defined in ASCII.Hexadecimal

type Rep HexLetter = D1 ('MetaData "HexLetter" "ASCII.Hexadecimal" "ascii-numbers-1.2.0.2-JMEpF4iwTFDAp3Gjf5xk8D" 'False) ((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))))

data HexCharBreakdown

Constructors

HexDigit Digit

HexLetter Case HexLetter

Instances

Data HexCharBreakdown

Defined in ASCII.Hexadecimal

Methods

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

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

toConstr :: HexCharBreakdown -> Constr

dataTypeOf :: HexCharBreakdown -> DataType

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

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

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

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

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

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

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

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

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

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

Bounded HexCharBreakdown

Behaves the same as HexChar

Defined in ASCII.Hexadecimal

Methods

minBound :: HexCharBreakdown

maxBound :: HexCharBreakdown

Enum HexCharBreakdown

Behaves the same as HexChar

Defined in ASCII.Hexadecimal

Methods

succ :: HexCharBreakdown -> HexCharBreakdown

pred :: HexCharBreakdown -> HexCharBreakdown

toEnum :: Int -> HexCharBreakdown

fromEnum :: HexCharBreakdown -> Int

enumFrom :: HexCharBreakdown -> [HexCharBreakdown]

enumFromThen :: HexCharBreakdown -> HexCharBreakdown -> [HexCharBreakdown]

enumFromTo :: HexCharBreakdown -> HexCharBreakdown -> [HexCharBreakdown]

enumFromThenTo :: HexCharBreakdown -> HexCharBreakdown -> HexCharBreakdown -> [HexCharBreakdown]

Generic HexCharBreakdown

Defined in ASCII.Hexadecimal

Associated Types

type Rep HexCharBreakdown :: Type -> Type

Methods

from :: HexCharBreakdown -> Rep HexCharBreakdown x

to :: Rep HexCharBreakdown x -> HexCharBreakdown

Show HexCharBreakdown

Defined in ASCII.Hexadecimal

Methods

showsPrec :: Int -> HexCharBreakdown -> ShowS

show :: HexCharBreakdown -> String

showList :: [HexCharBreakdown] -> ShowS

Eq HexCharBreakdown

Defined in ASCII.Hexadecimal

Methods

(==) :: HexCharBreakdown -> HexCharBreakdown -> Bool

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

Ord HexCharBreakdown

Defined in ASCII.Hexadecimal

Methods

compare :: HexCharBreakdown -> HexCharBreakdown -> Ordering

(<) :: HexCharBreakdown -> HexCharBreakdown -> Bool

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

(>) :: HexCharBreakdown -> HexCharBreakdown -> Bool

(>=) :: HexCharBreakdown -> HexCharBreakdown -> Bool

max :: HexCharBreakdown -> HexCharBreakdown -> HexCharBreakdown

min :: HexCharBreakdown -> HexCharBreakdown -> HexCharBreakdown

Hashable HexCharBreakdown

Defined in ASCII.Hexadecimal

Methods

hashWithSalt :: Int -> HexCharBreakdown -> Int

hash :: HexCharBreakdown -> Int

type Rep HexCharBreakdown

Defined in ASCII.Hexadecimal

type Rep HexCharBreakdown = D1 ('MetaData "HexCharBreakdown" "ASCII.Hexadecimal" "ascii-numbers-1.2.0.2-JMEpF4iwTFDAp3Gjf5xk8D" 'False) (C1 ('MetaCons "HexDigit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Digit)) :+: C1 ('MetaCons "HexLetter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Case) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HexLetter)))

Monomorphic character conversions

HexLetter ↔ D16

hexLetterD16 :: HexLetter -> Word4

d16HexLetter :: Word4 -> Maybe HexLetter

HexLetter ↔ HexChar

letterHexChar :: Case -> HexLetter -> HexChar

hexCharLetter :: HexChar -> Maybe HexLetter

HexChar ↔ ASCII Char

hexAsciiChar :: HexChar -> Char

asciiCharHex :: Char -> Maybe HexChar

HexChar ↔ D16

d16HexChar :: Case -> Word4 -> HexChar

hexCharD16 :: HexChar -> Word4

HexChar ↔ HexCharBreakdown

breakDownHexChar :: HexChar -> HexCharBreakdown

assembleHexChar :: HexCharBreakdown -> HexChar

Hexadecimal character superset classes

Of hex character

class HexCharSuperset char where

Minimal complete definition

fromHexChar, (isHexChar, toHexCharUnsafe | toHexCharMaybe)

Methods

fromHexChar :: HexChar -> char

isHexChar :: char -> Bool

toHexCharUnsafe :: char -> HexChar

toHexCharMaybe :: char -> Maybe HexChar

Instances

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

Of hex character lists

class HexStringSuperset string where

Minimal complete definition

fromHexCharList, (isHexString, toHexCharListUnsafe | toHexCharListMaybe)

Methods

fromHexCharList :: [HexChar] -> string

isHexString :: string -> Bool

toHexCharListUnsafe :: string -> [HexChar]

toHexCharListMaybe :: string -> Maybe [HexChar]

Instances

HexStringSuperset Builder

Defined in ASCII.Hexadecimal

Methods

fromHexCharList :: [HexChar] -> Builder

isHexString :: Builder -> Bool

toHexCharListUnsafe :: Builder -> [HexChar]

toHexCharListMaybe :: Builder -> Maybe [HexChar]

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 Text

Defined in ASCII.Hexadecimal

Methods

fromHexCharList :: [HexChar] -> Text

isHexString :: Text -> Bool

toHexCharListUnsafe :: Text -> [HexChar]

toHexCharListMaybe :: Text -> 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 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]

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]

Defined in ASCII.Hexadecimal

Methods

fromHexCharList :: [HexChar] -> [Char]

isHexString :: [Char] -> Bool

toHexCharListUnsafe :: [Char] -> [HexChar]

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

Character/number conversions

Natural ↔ HexChar

naturalHexCharMaybe :: Case -> Natural -> Maybe HexChar

hexCharNatural :: HexChar -> Natural

naturalHexCharUnsafe :: Case -> Natural -> HexChar

Natural ↔ D16

naturalD16Maybe :: Natural -> Maybe Word4

d16Natural :: Word4 -> Natural

naturalD16Unsafe :: Natural -> Word4

Integer ↔ HexChar

integerHexCharMaybe :: Case -> Integer -> Maybe HexChar

hexCharInteger :: HexChar -> Integer

integerHexCharUnsafe :: Case -> Integer -> HexChar

Integer ↔ D16

integerD16Maybe :: Integer -> Maybe Word4

d16Integer :: Word4 -> Integer

integerD16Unsafe :: Integer -> Word4