Lines Matching refs:mkLitNatural

1438             else ret 2 $ Lit (mkLitNatural (x - y))
1446   , bignum_unop "naturalSignum"     naturalSignumName     mkLitNatural signum
1476   , bignum_bit "naturalBit" naturalBitName mkLitNatural
1485   , bignum_shift "naturalShiftL" naturalShiftLName shiftL mkLitNatural
1486   , bignum_shift "naturalShiftR" naturalShiftRName shiftR mkLitNatural
1496   , divop_one  "naturalQuot"    naturalQuotName    quot    mkLitNatural
1497   , divop_one  "naturalRem"     naturalRemName     rem     mkLitNatural
1498   , divop_both "naturalQuotRem" naturalQuotRemName quotRem mkLitNatural naturalTy
1533       if | x >= 0    -> pure $ Lit $ mkLitNatural x
1535          | clamp     -> pure $ Lit $ mkLitNatural 0       -- clamp to 0
1536          | otherwise -> pure $ Lit $ mkLitNatural (abs x) -- negate/wrap
1549         LitNumber _ i | i >= 0 -> pure (Lit (mkLitNatural i))
1562       pure (Lit (mkLitNatural (x `op` y)))
1569       pure (Lit (mkLitNatural (x - y)))