1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
|
module Numeric.LogDouble where
import Compiler.Floating
import Compiler.Real
import Data.Floating.Types
data LogDouble
foreign import bpcall "Num:" add_logdouble :: LogDouble -> LogDouble -> LogDouble
foreign import bpcall "Num:" subtract_logdouble :: LogDouble -> LogDouble -> LogDouble
foreign import bpcall "Num:" multiply_logdouble :: LogDouble -> LogDouble -> LogDouble
foreign import bpcall "Num:" signum_logdouble :: LogDouble -> LogDouble
foreign import bpcall "Num:" integerToLogDouble :: Integer -> LogDouble
foreign import bpcall "Prelude:" lessthan_log_double :: LogDouble -> LogDouble -> Bool
foreign import bpcall "Prelude:" divide_logdouble :: LogDouble -> LogDouble -> LogDouble
foreign import bpcall "Prelude:" recip_logdouble :: LogDouble -> LogDouble
foreign import bpcall "Prelude:" doubleToLogDouble :: Double -> LogDouble
foreign import bpcall "Prelude:" equals_log_double :: LogDouble -> LogDouble -> Bool
foreign import bpcall "Prelude:" expToLogDouble :: Double -> LogDouble
instance Eq LogDouble where
(==) = equals_log_double
instance Ord LogDouble where
(<) = lessthan_log_double
instance Num LogDouble where
(+) = add_logdouble
(-) = subtract_logdouble
(*) = multiply_logdouble
abs x = x
negate = error "negate LogDouble"
signum = signum_logdouble
fromInteger = integerToLogDouble
instance Fractional LogDouble where
(/) = divide_logdouble
recip = recip_logdouble
instance Real LogDouble where
toRational x = error "undefined"
instance Pow LogDouble where
pow = pow_a
ln = log_a
expTo = expToLogDouble
instance Show LogDouble where
show x = show (toFloating x :: Double)
instance FloatConvert LogDouble Double where
toFloating x = exp $ ln x
instance FloatConvert Double LogDouble where
toFloating x = expTo $ log x
instance FloatConvert Int LogDouble where
toFloating i = toFloating (toFloating i :: Double)
instance FloatConvert Integer LogDouble where
toFloating i = toFloating (toFloating i :: Double)
class ToLogDouble a where
toLogDouble :: a -> LogDouble
instance ToLogDouble Double where
toLogDouble x = doubleToLogDouble x
instance ToLogDouble LogDouble where
toLogDouble x = x
instance ToLogDouble Int where
toLogDouble x = doubleToLogDouble $ fromIntegral x
instance ToLogDouble Integer where
toLogDouble x = doubleToLogDouble $ fromIntegral x
|
