]> gerrit.simantics Code Review - simantics/platform.git/blob - bundles/org.simantics.scl.runtime/scl/Coercion.scl
Replaced use of deprecated BinaryFunction et al with BiFunction et al
[simantics/platform.git] / bundles / org.simantics.scl.runtime / scl / Coercion.scl
1 import "Prelude"
2 import "JavaBuiltin" as Java
3
4 class Coercible a b where
5     coerce :: a -> b
6
7 //instance Coercible a a where
8 //    coerce = id
9     
10 instance (Coercible a b) => Coercible [a] [b] where
11     coerce = map coerce
12
13 // From Byte
14
15 instance Coercible Byte Integer where
16     coerce = Java.b2i
17
18 instance Coercible Byte Long where
19     coerce = Java.i2l . Java.b2i
20     
21 // From Character
22
23 instance Coercible Character Integer where
24     coerce = Java.c2i
25
26 instance Coercible Character Long where
27     coerce = Java.i2l . Java.c2i
28
29 // From Short
30
31 instance Coercible Short Integer where
32     coerce = Java.s2i
33
34 instance Coercible Short Long where
35     coerce = Java.i2l . Java.s2i
36
37 // From Integer
38
39 instance Coercible Integer Byte where
40     coerce = Java.i2b
41
42 instance Coercible Integer Character where
43     coerce = Java.i2c    
44
45 instance Coercible Integer Short where
46     coerce = Java.i2s
47
48 instance Coercible Integer Long where
49     coerce = Java.i2l
50
51 instance Coercible Integer Float where
52     coerce = Java.i2f
53
54 instance Coercible Integer Double where
55     coerce = Java.i2d
56
57 instance Coercible Integer String where
58     coerce = coerceIntegerToString
59
60 // From Long
61
62 instance Coercible Long Byte where
63     coerce = Java.i2b . Java.l2i
64
65 instance Coercible Long Character where
66     coerce = Java.i2c . Java.l2i
67
68 instance Coercible Long Short where
69     coerce = Java.i2s . Java.l2i
70     
71 instance Coercible Long Integer where
72     coerce = Java.l2i
73
74 instance Coercible Long Float where
75     coerce = Java.l2f
76
77 instance Coercible Long Double where
78     coerce = Java.l2d
79
80 instance Coercible Long String where
81     coerce = coerceLongToString
82     
83 // From Float
84
85 instance Coercible Float Byte where
86     coerce = Java.i2b . Java.f2i
87
88 instance Coercible Float Short where
89     coerce = Java.i2s . Java.f2i
90     
91 instance Coercible Float Integer where
92     coerce = Java.f2i
93
94 instance Coercible Float Long where
95     coerce = Java.f2l
96
97 instance Coercible Float Double where
98     coerce = Java.f2d
99
100 instance Coercible Float String where
101     coerce = coerceFloatToString
102     
103 // From Double
104
105 instance Coercible Double Byte where
106     coerce = Java.i2b . Java.d2i
107
108 instance Coercible Double Short where
109     coerce = Java.i2s . Java.d2i
110     
111 instance Coercible Double Integer where
112     coerce = Java.d2i
113
114 instance Coercible Double Long where
115     coerce = Java.d2l
116
117 instance Coercible Double Float where
118     coerce = Java.d2f
119
120 instance Coercible Double String where
121     coerce = coerceDoubleToString
122     
123 // From String
124
125 instance Coercible String Integer where
126     coerce = coerceStringToInteger
127
128 instance Coercible String Long where
129     coerce = coerceStringToLong
130
131 instance Coercible String Float where
132     coerce = coerceStringToFloat
133
134 instance Coercible String Double where
135     coerce = coerceStringToDouble
136
137 // Java imports
138
139 @private
140 importJava "java.lang.Integer" where
141     @JavaName toString
142     coerceIntegerToString :: Integer -> String
143     @JavaName parseInt
144     coerceStringToInteger :: String -> Integer
145
146 @private
147 importJava "java.lang.Long" where
148     @JavaName toString
149     coerceLongToString :: Long -> String
150     @JavaName parseLong
151     coerceStringToLong :: String -> Long
152
153 @private
154 importJava "java.lang.Float" where
155     @JavaName toString
156     coerceFloatToString :: Float -> String
157     @JavaName parseFloat
158     coerceStringToFloat :: String -> Float
159
160 @private
161 importJava "java.lang.Double" where
162     @JavaName toString
163     coerceDoubleToString :: Double -> String
164     @JavaName parseDouble
165     coerceStringToDouble :: String -> Double