PreludeBuiltin

module PreludeBuiltin where

primitive primIntToChar   :: Int -> Char
primitive primCharToInt   :: Char -> Int
primitive primInteger2Int :: Integer -> Int

primitive primIntEq       :: Int -> Int -> Bool
primitive primIntLte      :: Int -> Int -> Bool

primitive primIntAdd      :: Int -> Int -> Int
primitive primIntSub      :: Int -> Int -> Int
primitive primIntMul      :: Int -> Int -> Int
primitive primIntQuot     :: Int -> Int -> Int
primitive primIntRem      :: Int -> Int -> Int
primitive primIntSignum   :: Int -> Int

primitive primError       :: String -> a


primIntQuotRem x y = (x `primIntQuot` y,x `primIntRem` y)

primCharEq c c' = primCharToInt c `primIntEq` primCharToInt c'
primCharLte c c' = primCharToInt c `primIntLte` primCharToInt c'