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