{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
module ELynx.Data.Character.NucleotideX
( NucleotideX (..)
) where
import Data.Vector.Unboxed.Deriving
import Data.Word8
import qualified ELynx.Data.Character.Character as C
import ELynx.Tools.ByteString (c2w, w2c)
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