ref: c84bc8caf669ced82e2d067a1373f7eedd839857
dir: /lib/Data/Int.hs/
-- Copyright 2023 Lennart Augustsson
-- See LICENSE file for full license.
module Data.Int(module Data.Int, Int) where
import Primitives
import Data.Bool_Type
--type Int = Primitives.Int
infixl 6 +,-
infixl 7 *,`quot`,`rem`
-- Arithmetic
(+) :: {-Data.Int.-}Int -> {-Data.Int.-}Int -> {-Data.Int.-}Int
(+) = primIntAdd
(-) :: {-Data.Int.-}Int -> {-Data.Int.-}Int -> {-Data.Int.-}Int
(-) = primIntSub
(*) :: {-Data.Int.-}Int -> {-Data.Int.-}Int -> {-Data.Int.-}Int
(*) = primIntMul
quot :: {-Data.Int.-}Int -> {-Data.Int.-}Int -> {-Data.Int.-}Int
quot = primIntQuot
rem :: {-Data.Int.-}Int -> {-Data.Int.-}Int -> {-Data.Int.-}Int
rem = primIntRem
subtract :: {-Data.Int.-}Int -> {-Data.Int.-}Int -> {-Data.Int.-}Int
subtract = primIntSubR
negate :: {-Data.Int.-}Int -> {-Data.Int.-}Int
negate x = 0 - x
--------------------------------
infix 4 ==,/=,<,<=,>,>=
-- Comparison
(==) :: {-Data.Int.-}Int -> {-Data.Int.-}Int -> Bool
(==) = primIntEQ
(/=) :: {-Data.Int.-}Int -> {-Data.Int.-}Int -> Bool
(/=) = primIntNE
(<) :: {-Data.Int.-}Int -> {-Data.Int.-}Int -> Bool
(<) = primIntLT
(<=) :: {-Data.Int.-}Int -> {-Data.Int.-}Int -> Bool
(<=) = primIntLE
(>) :: {-Data.Int.-}Int -> {-Data.Int.-}Int -> Bool
(>) = primIntGT
(>=) :: {-Data.Int.-}Int -> {-Data.Int.-}Int -> Bool
(>=) = primIntGE
eqInt :: {-Data.Int.-}Int -> {-Data.Int.-}Int -> Bool
eqInt = (==)
--------------------------------