module I16 (I16, module I16) where

fromI64 :: I64 -> I16
fromI64 = narrow16Int#

add, sub, mul, quot, rem :: I16 -> I16 -> I16
add y x = narrow16Int# (x +# y)
sub y x = narrow16Int# (x -# y)
mul y x = narrow16Int# (x *# y)
quot y x = narrow16Int# (quotInt# x y)
rem y x = narrow16Int# (remInt# x y)

quotRem :: I16 -> I16 -> (# I16, I16 #)
quotRem y x = case quotRemInt# x y of
  (# q, r #) -> (# narrow16Int# q, narrow16Int# r #)

shiftL# :: I64 -> I16 -> I16
shiftL# i x = narrow16Int# (uncheckedIShiftL# x i)