{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
module ELynx.Alphabet.Character
( Character,
toWord,
fromWord,
toChar,
fromChar,
toString,
fromString,
toCVec,
fromCVec,
)
where
import Data.ByteString.Internal (c2w, w2c)
import qualified Data.Vector.Unboxed as V
import Data.Vector.Unboxed.Deriving
import Data.Word8
import qualified ELynx.Character.Character as C
newtype Character = Character Word8
deriving (ReadPrec [Character]
ReadPrec Character
Int -> ReadS Character
ReadS [Character]
forall a.
(Int -> ReadS a)
-> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
readListPrec :: ReadPrec [Character]
$creadListPrec :: ReadPrec [Character]
readPrec :: ReadPrec Character
$creadPrec :: ReadPrec Character
readList :: ReadS [Character]
$creadList :: ReadS [Character]
readsPrec :: Int -> ReadS Character
$creadsPrec :: Int -> ReadS Character
Read, Int -> Character -> ShowS
[Character] -> ShowS
Character -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Character] -> ShowS
$cshowList :: [Character] -> ShowS
show :: Character -> String
$cshow :: Character -> String
showsPrec :: Int -> Character -> ShowS
$cshowsPrec :: Int -> Character -> ShowS
Show, Character -> Character -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Character -> Character -> Bool
$c/= :: Character -> Character -> Bool
== :: Character -> Character -> Bool
$c== :: Character -> Character -> Bool
Eq, Eq Character
Character -> Character -> Bool
Character -> Character -> Ordering
Character -> Character -> Character
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: Character -> Character -> Character
$cmin :: Character -> Character -> Character
max :: Character -> Character -> Character
$cmax :: Character -> Character -> Character
>= :: Character -> Character -> Bool
$c>= :: Character -> Character -> Bool
> :: Character -> Character -> Bool
$c> :: Character -> Character -> Bool
<= :: Character -> Character -> Bool
$c<= :: Character -> Character -> Bool
< :: Character -> Character -> Bool
$c< :: Character -> Character -> Bool
compare :: Character -> Character -> Ordering
$ccompare :: Character -> Character -> Ordering
Ord, Character
forall a. a -> a -> Bounded a
maxBound :: Character
$cmaxBound :: Character
minBound :: Character
$cminBound :: Character
Bounded)
derivingUnbox
"Character"
[t|Character -> Word8|]
[|\(Character w) -> w|]
[|Character|]
toWord :: Character -> Word8
toWord :: Character -> Word8
toWord (Character Word8
w) = Word8
w
fromWord :: Word8 -> Character
fromWord :: Word8 -> Character
fromWord = Word8 -> Character
Character
toChar :: Character -> Char
toChar :: Character -> Char
toChar (Character Word8
w) = Word8 -> Char
w2c Word8
w
fromChar :: Char -> Character
fromChar :: Char -> Character
fromChar = Word8 -> Character
Character forall b c a. (b -> c) -> (a -> b) -> a -> c
. Char -> Word8
c2w
toString :: [Character] -> String
toString :: [Character] -> String
toString = forall a b. (a -> b) -> [a] -> [b]
map Character -> Char
toChar
fromString :: String -> [Character]
fromString :: String -> [Character]
fromString = forall a b. (a -> b) -> [a] -> [b]
map Char -> Character
fromChar
toCVec :: C.Character a => V.Vector Character -> V.Vector a
toCVec :: forall a. Character a => Vector Character -> Vector a
toCVec = forall a b. (Unbox a, Unbox b) => (a -> b) -> Vector a -> Vector b
V.map (forall a. Character a => Word8 -> a
C.fromWord forall b c a. (b -> c) -> (a -> b) -> a -> c
. Character -> Word8
toWord)
fromCVec :: C.Character a => V.Vector a -> V.Vector Character
fromCVec :: forall a. Character a => Vector a -> Vector Character
fromCVec = forall a b. (Unbox a, Unbox b) => (a -> b) -> Vector a -> Vector b
V.map (Word8 -> Character
fromWord forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a. Character a => a -> Word8
C.toWord)