{-# LANGUAGE
    MagicHash
  , DataKinds
#-}

module Impl.Word8 where

import Data.Word
import GHC.Exts
import GHC.Word

type T = Word8
type R = 'Word8Rep
type T# = Word8#
type MaxBits = 8

{-# INLINE liftWord #-}
liftWord :: Word# -> Word8
liftWord :: Word# -> Word8
liftWord = Word# -> Word8
W8#

{-# INLINE unliftWord #-}
unliftWord :: Word8 -> Word#
unliftWord :: Word8 -> Word#
unliftWord (W8# Word#
w) = Word#
w