[project @ 1996-01-22 18:37:39 by partain]
[ghc-hetmet.git] / ghc / lib / hbc / Number_t.hi
1 {-# GHC_PRAGMA INTERFACE VERSION 6 #-}
2 interface Number where
3 data Number     {-# GHC_PRAGMA I Integer | F Double #-}
4 isInteger :: Number -> Bool
5         {-# GHC_PRAGMA _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ #-}
6 instance Enum Number
7         {-# GHC_PRAGMA _M_ Number {-dfun-} _A_ 0 _N_ _N_ _N_ _F_ _IF_ARGS_ 0 0 X 6 _!_ _TUP_5 [{{Ord Number}}, (Number -> [Number]), (Number -> Number -> [Number]), (Number -> Number -> [Number]), (Number -> Number -> Number -> [Number])] [_DFUN_ Ord (Number), _CONSTM_ Enum enumFrom (Number), _CONSTM_ Enum enumFromThen (Number), _CONSTM_ Enum enumFromTo (Number), _CONSTM_ Enum enumFromThenTo (Number)] _N_
8          enumFrom = { _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ },
9          enumFromThen = { _A_ 2 _U_ 22 _N_ _S_ "SL" _N_ _N_ },
10          enumFromTo = { _A_ 2 _U_ 22 _N_ _N_ _N_ _N_ },
11          enumFromThenTo = { _A_ 3 _U_ 222 _N_ _N_ _N_ _N_ } #-}
12 instance Eq Number
13         {-# GHC_PRAGMA _M_ Number {-dfun-} _A_ 0 _N_ _N_ _N_ _F_ _IF_ARGS_ 0 0 X 3 _!_ _TUP_2 [(Number -> Number -> Bool), (Number -> Number -> Bool)] [_CONSTM_ Eq (==) (Number), _CONSTM_ Eq (/=) (Number)] _N_
14          (==) = { _A_ 2 _U_ 22 _N_ _S_ "SS" _N_ _N_ },
15          (/=) = { _A_ 2 _U_ 22 _N_ _N_ _N_ _N_ } #-}
16 instance Floating Number
17         {-# GHC_PRAGMA _M_ Number {-dfun-} _A_ 0 _N_ _N_ _N_ _F_ _IF_ARGS_ 0 0 X 20 _!_ _TUP_19 [{{Fractional Number}}, Number, (Number -> Number), (Number -> Number), (Number -> Number), (Number -> Number -> Number), (Number -> Number -> Number), (Number -> Number), (Number -> Number), (Number -> Number), (Number -> Number), (Number -> Number), (Number -> Number), (Number -> Number), (Number -> Number), (Number -> Number), (Number -> Number), (Number -> Number), (Number -> Number)] [_DFUN_ Fractional (Number), _CONSTM_ Floating pi (Number), _CONSTM_ Floating exp (Number), _CONSTM_ Floating log (Number), _CONSTM_ Floating sqrt (Number), _CONSTM_ Floating (**) (Number), _CONSTM_ Floating logBase (Number), _CONSTM_ Floating sin (Number), _CONSTM_ Floating cos (Number), _CONSTM_ Floating tan (Number), _CONSTM_ Floating asin (Number), _CONSTM_ Floating acos (Number), _CONSTM_ Floating atan (Number), _CONSTM_ Floating sinh (Number), _CONSTM_ Floating cosh (Number), _CONSTM_ Floating tanh (Number), _CONSTM_ Floating asinh (Number), _CONSTM_ Floating acosh (Number), _CONSTM_ Floating atanh (Number)] _N_
18          pi = { _A_ 0 _N_ _N_ _N_ _F_ _IF_ARGS_ 0 0 X 2 _!_ _ORIG_ Number F [] [_CONSTM_ Floating pi (Double)] _N_ },
19          exp = { _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ },
20          log = { _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ },
21          sqrt = { _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ },
22          (**) = { _A_ 2 _U_ 11 _N_ _S_ "SS" _N_ _N_ },
23          logBase = { _A_ 2 _U_ 11 _N_ _S_ "SS" _N_ _N_ },
24          sin = { _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ },
25          cos = { _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ },
26          tan = { _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ },
27          asin = { _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ },
28          acos = { _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ },
29          atan = { _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ },
30          sinh = { _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ },
31          cosh = { _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ },
32          tanh = { _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ },
33          asinh = { _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ },
34          acosh = { _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ },
35          atanh = { _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ } #-}
36 instance Fractional Number
37         {-# GHC_PRAGMA _M_ Number {-dfun-} _A_ 0 _N_ _N_ _N_ _F_ _IF_ARGS_ 0 0 X 5 _!_ _TUP_4 [{{Num Number}}, (Number -> Number -> Number), (Number -> Number), (Ratio Integer -> Number)] [_DFUN_ Num (Number), _CONSTM_ Fractional (/) (Number), _CONSTM_ Fractional recip (Number), _CONSTM_ Fractional fromRational (Number)] _N_
38          (/) = { _A_ 2 _U_ 22 _N_ _S_ "SS" _N_ _N_ },
39          recip = { _A_ 0 _U_ 2 _N_ _N_ _N_ _N_ },
40          fromRational = { _A_ 1 _U_ 1 _N_ _S_ "U(LU(PPP))" {_A_ 4 _U_ 2222 _N_ _N_ _N_ _N_} _N_ _N_ } #-}
41 instance Integral Number
42         {-# GHC_PRAGMA _M_ Number {-dfun-} _A_ 0 _N_ _N_ _N_ _F_ _IF_ARGS_ 0 0 X 13 _!_ _TUP_12 [{{Real Number}}, {{Ix Number}}, (Number -> Number -> Number), (Number -> Number -> Number), (Number -> Number -> Number), (Number -> Number -> Number), (Number -> Number -> (Number, Number)), (Number -> Number -> (Number, Number)), (Number -> Bool), (Number -> Bool), (Number -> Integer), (Number -> Int)] [_DFUN_ Real (Number), _DFUN_ Ix (Number), _CONSTM_ Integral quot (Number), _CONSTM_ Integral rem (Number), _CONSTM_ Integral div (Number), _CONSTM_ Integral mod (Number), _CONSTM_ Integral quotRem (Number), _CONSTM_ Integral divMod (Number), _CONSTM_ Integral even (Number), _CONSTM_ Integral odd (Number), _CONSTM_ Integral toInteger (Number), _CONSTM_ Integral toInt (Number)] _N_
43          quot = { _A_ 2 _U_ 22 _N_ _S_ "SL" _F_ _IF_ARGS_ 0 2 XX 5 \ (u0 :: Number) (u1 :: Number) -> case _APP_  _CONSTM_ Integral quotRem (Number) [ u0, u1 ] of { _ALG_ _TUP_2 (u2 :: Number) (u3 :: Number) -> u2; _NO_DEFLT_ } _N_ },
44          rem = { _A_ 2 _U_ 22 _N_ _S_ "SL" _F_ _IF_ARGS_ 0 2 XX 5 \ (u0 :: Number) (u1 :: Number) -> case _APP_  _CONSTM_ Integral quotRem (Number) [ u0, u1 ] of { _ALG_ _TUP_2 (u2 :: Number) (u3 :: Number) -> u3; _NO_DEFLT_ } _N_ },
45          div = { _A_ 2 _U_ 22 _N_ _N_ _N_ _N_ },
46          mod = { _A_ 2 _U_ 22 _N_ _N_ _N_ _N_ },
47          quotRem = { _A_ 2 _U_ 22 _N_ _S_ "SL" _N_ _N_ },
48          divMod = { _A_ 0 _U_ 22 _N_ _N_ _N_ _N_ },
49          even = { _A_ 0 _U_ 2 _N_ _N_ _N_ _N_ },
50          odd = { _A_ 0 _U_ 2 _N_ _N_ _N_ _N_ },
51          toInteger = { _A_ 1 _U_ 1 _N_ _S_ "S" _F_ _IF_ARGS_ 0 1 C 6 \ (u0 :: Number) -> case u0 of { _ALG_ _ORIG_ Number I (u1 :: Integer) -> u1; _ORIG_ Number F (u2 :: Double) -> case u2 of { _ALG_ D# (u3 :: Double#) -> _APP_  _WRKR_ _SPEC_ _CONSTM_ RealFrac round (Double) [ (Integer) ] [ u3 ]; _NO_DEFLT_ }; _NO_DEFLT_ } _N_ },
52          toInt = { _A_ 1 _U_ 2 _N_ _S_ _!_ _N_ _N_ } #-}
53 instance Ix Number
54         {-# GHC_PRAGMA _M_ Number {-dfun-} _A_ 0 _N_ _N_ _N_ _F_ _IF_ARGS_ 0 0 X 5 _!_ _TUP_4 [{{Ord Number}}, ((Number, Number) -> [Number]), ((Number, Number) -> Number -> Int), ((Number, Number) -> Number -> Bool)] [_DFUN_ Ord (Number), _CONSTM_ Ix range (Number), _CONSTM_ Ix index (Number), _CONSTM_ Ix inRange (Number)] _N_
55          range = { _A_ 1 _U_ 1 _N_ _S_ "U(LL)" {_A_ 2 _U_ 11 _N_ _N_ _N_ _N_} _N_ _N_ },
56          index = { _A_ 2 _U_ 11 _N_ _S_ "U(SA)S" {_A_ 2 _U_ 11 _N_ _N_ _N_ _N_} _N_ _N_ },
57          inRange = { _A_ 2 _U_ 12 _N_ _S_ "U(SL)S" {_A_ 3 _U_ 112 _N_ _N_ _N_ _N_} _N_ _N_ } #-}
58 instance Num Number
59         {-# GHC_PRAGMA _M_ Number {-dfun-} _A_ 0 _N_ _N_ _N_ _F_ _IF_ARGS_ 0 0 X 11 _!_ _TUP_10 [{{Eq Number}}, {{Text Number}}, (Number -> Number -> Number), (Number -> Number -> Number), (Number -> Number -> Number), (Number -> Number), (Number -> Number), (Number -> Number), (Integer -> Number), (Int -> Number)] [_DFUN_ Eq (Number), _DFUN_ Text (Number), _CONSTM_ Num (+) (Number), _CONSTM_ Num (-) (Number), _CONSTM_ Num (*) (Number), _CONSTM_ Num negate (Number), _CONSTM_ Num abs (Number), _CONSTM_ Num signum (Number), _CONSTM_ Num fromInteger (Number), _CONSTM_ Num fromInt (Number)] _N_
60          (+) = { _A_ 2 _U_ 22 _N_ _S_ "SS" _N_ _N_ },
61          (-) = { _A_ 2 _U_ 22 _N_ _S_ "SS" _N_ _N_ },
62          (*) = { _A_ 2 _U_ 22 _N_ _S_ "SS" _N_ _N_ },
63          negate = { _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ },
64          abs = { _A_ 1 _U_ 2 _N_ _S_ "S" _N_ _N_ },
65          signum = { _A_ 1 _U_ 2 _N_ _S_ "S" _N_ _N_ },
66          fromInteger = { _A_ 1 _U_ 2 _N_ _N_ _F_ _IF_ARGS_ 0 1 X 2 \ (u0 :: Integer) -> _!_ _ORIG_ Number I [] [u0] _N_ },
67          fromInt = { _A_ 1 _U_ 1 _N_ _N_ _F_ _IF_ARGS_ 0 1 C 5 \ (u0 :: Int) -> let {(u2 :: Integer) = case u0 of { _ALG_ I# (u1 :: Int#) -> _#_ int2Integer# [] [u1]; _NO_DEFLT_ }} in _!_ _ORIG_ Number I [] [u2] _N_ } #-}
68 instance Ord Number
69         {-# GHC_PRAGMA _M_ Number {-dfun-} _A_ 0 _N_ _N_ _N_ _F_ _IF_ARGS_ 0 0 X 9 _!_ _TUP_8 [{{Eq Number}}, (Number -> Number -> Bool), (Number -> Number -> Bool), (Number -> Number -> Bool), (Number -> Number -> Bool), (Number -> Number -> Number), (Number -> Number -> Number), (Number -> Number -> _CMP_TAG)] [_DFUN_ Eq (Number), _CONSTM_ Ord (<) (Number), _CONSTM_ Ord (<=) (Number), _CONSTM_ Ord (>=) (Number), _CONSTM_ Ord (>) (Number), _CONSTM_ Ord max (Number), _CONSTM_ Ord min (Number), _CONSTM_ Ord _tagCmp (Number)] _N_
70          (<) = { _A_ 2 _U_ 22 _N_ _N_ _N_ _N_ },
71          (<=) = { _A_ 2 _U_ 22 _N_ _S_ "SS" _N_ _N_ },
72          (>=) = { _A_ 2 _U_ 22 _N_ _S_ "SS" _F_ _IF_ARGS_ 0 2 XX 3 \ (u0 :: Number) (u1 :: Number) -> _APP_  _CONSTM_ Ord (<=) (Number) [ u1, u0 ] _N_ },
73          (>) = { _A_ 2 _U_ 22 _N_ _N_ _N_ _N_ },
74          max = { _A_ 2 _U_ 22 _N_ _N_ _N_ _N_ },
75          min = { _A_ 2 _U_ 22 _N_ _N_ _N_ _N_ },
76          _tagCmp = { _A_ 2 _U_ 22 _N_ _N_ _N_ _N_ } #-}
77 instance Real Number
78         {-# GHC_PRAGMA _M_ Number {-dfun-} _A_ 0 _N_ _N_ _N_ _F_ _IF_ARGS_ 0 0 X 4 _!_ _TUP_3 [{{Num Number}}, {{Enum Number}}, (Number -> Ratio Integer)] [_DFUN_ Num (Number), _DFUN_ Enum (Number), _CONSTM_ Real toRational (Number)] _N_
79          toRational = { _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ } #-}
80 instance RealFloat Number
81         {-# GHC_PRAGMA _M_ Number {-dfun-} _A_ 0 _N_ _N_ _N_ _F_ _IF_ARGS_ 0 0 X 11 _!_ _TUP_10 [{{RealFrac Number}}, {{Floating Number}}, (Number -> Integer), (Number -> Int), (Number -> (Int, Int)), (Number -> (Integer, Int)), (Integer -> Int -> Number), (Number -> Int), (Number -> Number), (Int -> Number -> Number)] [_DFUN_ RealFrac (Number), _DFUN_ Floating (Number), _CONSTM_ RealFloat floatRadix (Number), _CONSTM_ RealFloat floatDigits (Number), _CONSTM_ RealFloat floatRange (Number), _CONSTM_ RealFloat decodeFloat (Number), _CONSTM_ RealFloat encodeFloat (Number), _CONSTM_ RealFloat exponent (Number), _CONSTM_ RealFloat significand (Number), _CONSTM_ RealFloat scaleFloat (Number)] _N_
82          floatRadix = { _A_ 1 _U_ 0 _N_ _S_ "A" {_A_ 0 _N_ _N_ _N_ _N_ _N_} _N_ _N_ },
83          floatDigits = { _A_ 1 _U_ 0 _N_ _S_ "A" {_A_ 0 _N_ _N_ _N_ _F_ _IF_ARGS_ 0 0 X 2 _!_ I# [] [53#] _N_} _F_ _IF_ARGS_ 0 1 X 2 \ (u0 :: Number) -> _!_ I# [] [53#] _N_ },
84          floatRange = { _A_ 1 _U_ 0 _N_ _S_ "A" {_A_ 0 _N_ _N_ _N_ _N_ _N_} _N_ _N_ },
85          decodeFloat = { _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ },
86          encodeFloat = { _A_ 2 _U_ 11 _N_ _S_ "U(PPP)U(P)" {_A_ 4 _U_ 2222 _N_ _N_ _N_ _N_} _N_ _N_ },
87          exponent = { _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ },
88          significand = { _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ },
89          scaleFloat = { _A_ 2 _U_ 11 _N_ _S_ "U(P)S" {_A_ 2 _U_ 21 _N_ _N_ _N_ _N_} _N_ _N_ } #-}
90 instance RealFrac Number
91         {-# GHC_PRAGMA _M_ Number {-dfun-} _A_ 0 _N_ _N_ _N_ _F_ _IF_ARGS_ 0 0 X 8 _!_ _TUP_7 [{{Real Number}}, {{Fractional Number}}, _forall_ a$z1 =>{{Integral a$z1}} -> (Number -> (a$z1, Number)), _forall_ a$z1 =>{{Integral a$z1}} -> (Number -> a$z1), _forall_ a$z1 =>{{Integral a$z1}} -> (Number -> a$z1), _forall_ a$z1 =>{{Integral a$z1}} -> (Number -> a$z1), _forall_ a$z1 =>{{Integral a$z1}} -> (Number -> a$z1)] [_DFUN_ Real (Number), _DFUN_ Fractional (Number), _CONSTM_ RealFrac properFraction (Number), _CONSTM_ RealFrac truncate (Number), _CONSTM_ RealFrac round (Number), _CONSTM_ RealFrac ceiling (Number), _CONSTM_ RealFrac floor (Number)] _N_
92          properFraction = { _A_ 1 _U_ 21 _N_ _N_ _N_ _N_ },
93          truncate = { _A_ 1 _U_ 21 _N_ _N_ _N_ _N_ },
94          round = { _A_ 1 _U_ 21 _N_ _N_ _N_ _N_ },
95          ceiling = { _A_ 1 _U_ 21 _N_ _N_ _N_ _N_ },
96          floor = { _A_ 1 _U_ 21 _N_ _N_ _N_ _N_ } #-}
97 instance Text Number
98         {-# GHC_PRAGMA _M_ Number {-dfun-} _A_ 0 _N_ _N_ _N_ _F_ _IF_ARGS_ 0 0 X 5 _!_ _TUP_4 [(Int -> [Char] -> [(Number, [Char])]), (Int -> Number -> [Char] -> [Char]), ([Char] -> [([Number], [Char])]), ([Number] -> [Char] -> [Char])] [_CONSTM_ Text readsPrec (Number), _CONSTM_ Text showsPrec (Number), _CONSTM_ Text readList (Number), _CONSTM_ Text showList (Number)] _N_
99          readsPrec = { _A_ 2 _U_ 02 _N_ _S_ "AL" {_A_ 1 _U_ 2 _N_ _N_ _N_ _N_} _N_ _N_ },
100          showsPrec = { _A_ 2 _U_ 212 _N_ _S_ "LS" _N_ _N_ },
101          readList = { _A_ 0 _U_ 2 _N_ _N_ _N_ _N_ },
102          showList = { _A_ 0 _U_ 22 _N_ _N_ _N_ _N_ } #-}
103