Basement.Types.Char7 · basement-0.0.16

newtypenewtype Char7

#

ASCII value between 0x0 and 0x7f

Constructors

Char7
- toByte :: Word8

Instances7Eq, Ord, Show, PrimType, NormalForm, NatNumMaxBound, …

Eq Char7Defined in basement-0.0.16 · Basement.Types.Char7
Ord Char7Defined in basement-0.0.16 · Basement.Types.Char7
Show Char7Defined in basement-0.0.16 · Basement.Types.Char7
PrimType Char7Defined in basement-0.0.16 · Basement.PrimType
NormalForm Char7Defined in basement-0.0.16 · Basement.NormalForm
type NatNumMaxBound Char7 = 127Defined in basement-0.0.16 · Basement.Nat
type PrimSize Char7 = 1Defined in basement-0.0.16 · Basement.PrimType

valuetoChar :: Char7 -> Char

#

Convert a Char7 to a unicode code point Char

valuefromCharMask :: Char -> Char7

#

Convert a Char to a Char7 ignoring all higher bits

valuefromChar :: Char -> Maybe Char7

#

Try to convert a Char to a Char7

If the code point is non ascii, then Nothing is returned.

valuefromByteMask :: Word8 -> Char7

#

Convert a Byte to a Char7 ignoring the higher bit

valuefromByte :: Word8 -> Maybe Char7

#

Try to convert Word8 to a Char7

If the byte got higher bit set, then Nothing is returned.

individual ASCII Characters

17 declarations

valuec7_LF :: Char7

#

valuec7_CR :: Char7

#

valuec7_minus :: Char7

valuec7_a :: Char7

valuec7_A :: Char7

valuec7_z :: Char7

valuec7_Z :: Char7

valuec7_0 :: Char7

valuec7_1 :: Char7

valuec7_2 :: Char7

valuec7_3 :: Char7

valuec7_4 :: Char7

valuec7_5 :: Char7

valuec7_6 :: Char7

valuec7_7 :: Char7

valuec7_8 :: Char7

valuec7_9 :: Char7

Upper / Lower With ASCII

2 declarations

valuec7Upper :: Char7 -> Char7

#

valuec7Lower :: Char7 -> Char7

#