-instance NaturalT nT => Bits (Signed nT) where
- (Signed a) .&. (Signed b) = Signed $ a .&. b
- (Signed a) .|. (Signed b) = Signed $ a .|. b
- (Signed a) `xor` Signed b = Signed $ a `xor` b
- complement (Signed x) = Signed $ x `xor` mask (undefined :: nT)
+instance NaturalT nT => B.Bits (Signed nT) where
+ (Signed a) .&. (Signed b) = Signed $ a B..&. b
+ (Signed a) .|. (Signed b) = Signed $ a B..|. b
+ (Signed a) `xor` Signed b = Signed $ a `B.xor` b
+ complement (Signed x) = Signed $ x `B.xor` mask (undefined :: nT)