module Data.TypeRep.Types.IntWord.Typeable where
import Data.Int
import Data.Word
import Language.Syntactic
import Data.TypeRep.Representation
import Data.TypeRep.TH
import Data.TypeRep.Types.IntWord
instance (IntWordType :<: t) => Typeable t Int8 where typeRep' = int8Type
instance (IntWordType :<: t) => Typeable t Int16 where typeRep' = int16Type
instance (IntWordType :<: t) => Typeable t Int32 where typeRep' = int32Type
instance (IntWordType :<: t) => Typeable t Int64 where typeRep' = int64Type
instance (IntWordType :<: t) => Typeable t Word8 where typeRep' = word8Type
instance (IntWordType :<: t) => Typeable t Word16 where typeRep' = word16Type
instance (IntWordType :<: t) => Typeable t Word32 where typeRep' = word32Type
instance (IntWordType :<: t) => Typeable t Word64 where typeRep' = word64Type
deriveWitnessTypeable ''IntWordType
derivePWitnessTypeable ''IntWordType