--- /dev/null
+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)
+
+}