module Prelude where

import Bool
import Integer


data Ordering = LT | EQ | GT ;

signumFromOrdering LT = 0-1 ;
signumFromOrdering EQ = 0 ;
signumFromOrdering GT = 1 ;

signum x = signumFromOrdering (compare x 0) ;

abs x = signum x * x ;

(==) :: Integer -> Integer -> Bool ;
x == y  =  isZero (x-y) ;

min x y = ifThenElse (x<y) x y ;

negate x = 0 - x ;

succ x = x+1 ;
pred x = x-1 ;

-- fromInteger :: Integer -> Int ;
fromInteger x = x ;

-- fromIntegral :: Int -> Integer ;
fromIntegral x = x ;