module HaskellWorks.Data.Narrow.Narrow8
( Narrow8(..)
) where
import Data.Int
import Data.Word
class Narrow8 a where
type Narrowed8 a
narrow8 :: a -> Narrowed8 a
instance Narrow8 Word8 where
type Narrowed8 Word8 = Word8
narrow8 = fromIntegral
instance Narrow8 Word16 where
type Narrowed8 Word16 = Word8
narrow8 = fromIntegral
instance Narrow8 Word32 where
type Narrowed8 Word32 = Word8
narrow8 = fromIntegral
instance Narrow8 Word64 where
type Narrowed8 Word64 = Word8
narrow8 = fromIntegral
instance Narrow8 Int8 where
type Narrowed8 Int8 = Int8
narrow8 = fromIntegral
instance Narrow8 Int16 where
type Narrowed8 Int16 = Int8
narrow8 = fromIntegral
instance Narrow8 Int32 where
type Narrowed8 Int32 = Int8
narrow8 = fromIntegral
instance Narrow8 Int64 where
type Narrowed8 Int64 = Int8
narrow8 = fromIntegral