{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
module ELynx.Data.Character.NucleotideX
( NucleotideX (..),
)
where
import Data.ByteString.Internal (c2w, w2c)
import Data.Vector.Unboxed.Deriving
import Data.Word8
import qualified ELynx.Data.Character.Character as C
data NucleotideX
= A
| C
| G
| T
| Gap
deriving (Show, Read, Eq, Ord, Enum, Bounded)
toWord :: NucleotideX -> Word8
toWord A = c2w 'A'
toWord C = c2w 'C'
toWord G = c2w 'G'
toWord T = c2w 'T'
toWord Gap = c2w '-'
fromWord :: Word8 -> NucleotideX
fromWord w = case w2c w of
'A' -> A
'C' -> C
'G' -> G
'T' -> T
'-' -> Gap
'.' -> Gap
c -> error $ "fromWord: Cannot convert " ++ show c ++ " to NucleotideX."
derivingUnbox
"NucleotideX"
[t|NucleotideX -> Word8|]
[|toWord|]
[|fromWord|]
instance C.Character NucleotideX where
toWord = toWord
fromWord = fromWord
instance C.CharacterX NucleotideX where
gap = Gap