+module NHC.SizedTypes
+ -- This module just adds instances of Bits for Int/Word[8,16,32,64]
+ ( Int8, Int16, Int32, Int64
+ , Word8, Word16, Word32, Word64
+ ) where
+
+{- Note explicit braces and semicolons here - layout is corrupted by cpp. -}
+
+{
+ import NHC.FFI (Int8,Int16,Int32,Int64,Word8,Word16,Word32,Word64)
+; import Data.Bits
+
+#define SIZED_TYPE(T,BS,S) \
+; FOREIGNS(T) \
+; INSTANCE_BITS(T,BS,S)
+
+
+#define FOREIGNS(T) \
+; foreign import ccall nhc_prim/**/T/**/And :: T -> T -> T \
+; foreign import ccall nhc_prim/**/T/**/Or :: T -> T -> T \
+; foreign import ccall nhc_prim/**/T/**/Xor :: T -> T -> T \
+; foreign import ccall nhc_prim/**/T/**/Lsh :: T -> Int -> T \
+; foreign import ccall nhc_prim/**/T/**/Rsh :: T -> Int -> T \
+; foreign import ccall nhc_prim/**/T/**/Compl :: T -> T
+
+
+#define INSTANCE_BITS(T,BS,S) \
+; instance Bits T where \
+ { (.&.) = nhc_prim/**/T/**/And \
+ ; (.|.) = nhc_prim/**/T/**/Or \
+ ; xor = nhc_prim/**/T/**/Xor \
+ ; complement = nhc_prim/**/T/**/Compl \
+ ; shiftL = nhc_prim/**/T/**/Lsh \
+ ; shiftR = nhc_prim/**/T/**/Rsh \
+ ; bitSize _ = BS \
+ ; isSigned _ = S \
+ }
+
+SIZED_TYPE(Int8,8,True)
+SIZED_TYPE(Int16,16,True)
+SIZED_TYPE(Int32,32,True)
+SIZED_TYPE(Int64,64,True)
+
+SIZED_TYPE(Word8,8,False)
+SIZED_TYPE(Word16,16,False)
+SIZED_TYPE(Word32,32,False)
+SIZED_TYPE(Word64,64,False)
+
+}