blob: 6d45ef7edebd0b7701c84d273686461b2fcfbfc2 (
plain)
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
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
|
==================== Tidy Core ====================
Result size of Tidy Core
= {terms: 290, types: 141, coercions: 0, joins: 0/0}
bitOrTwoVarInt
= \ x y ->
case x of { I# x# ->
case y of { I# x#1 -> I# (orI# 255# (orI# x# x#1)) }
}
bitAndTwoVarInt
= \ x y ->
case x of { I# x# ->
case y of { I# x#1 -> I# (andI# 170# (andI# x# x#1)) }
}
bitOrInt = \ x -> case x of { I# x# -> I# (orI# 255# x#) }
bitAndInt = \ x -> case x of { I# x# -> I# (andI# 170# x#) }
bitOrTwoVarInt8
= \ x y ->
case x of { I8# x# ->
case y of { I8# x#1 ->
I8#
(word8ToInt8#
(orWord8#
17#Word8 (orWord8# (int8ToWord8# x#) (int8ToWord8# x#1))))
}
}
bitAndInt1 = I8# 0#Int8
bitAndTwoVarInt8
= \ x y ->
case x of { I8# x# -> case y of { I8# x#1 -> bitAndInt1 } }
bitOrInt8
= \ x ->
case x of { I8# x# ->
I8# (word8ToInt8# (orWord8# 17#Word8 (int8ToWord8# x#)))
}
bitAndInt8 = \ x -> case x of { I8# x# -> bitAndInt1 }
bitOrTwoVarInt16
= \ x y ->
case x of { I16# x# ->
case y of { I16# x#1 ->
I16#
(word16ToInt16#
(orWord16#
255#Word16 (orWord16# (int16ToWord16# x#) (int16ToWord16# x#1))))
}
}
bitAndTwoVarInt16
= \ x y ->
case x of { I16# x# ->
case y of { I16# x#1 ->
I16#
(word16ToInt16#
(andWord16#
170#Word16 (andWord16# (int16ToWord16# x#) (int16ToWord16# x#1))))
}
}
bitOrInt16
= \ x ->
case x of { I16# x# ->
I16# (word16ToInt16# (orWord16# 255#Word16 (int16ToWord16# x#)))
}
bitAndInt16
= \ x ->
case x of { I16# x# ->
I16# (word16ToInt16# (andWord16# 170#Word16 (int16ToWord16# x#)))
}
bitOrTwoVarInt32
= \ x y ->
case x of { I32# x# ->
case y of { I32# x#1 ->
I32#
(intToInt32#
(orI#
(int32ToInt# (intToInt32# (orI# (int32ToInt# x#) 250#)))
(int32ToInt# (intToInt32# (orI# (int32ToInt# x#1) 175#)))))
}
}
bitAndTwoVarInt32
= \ x y ->
case x of { I32# x# ->
case y of { I32# x#1 ->
I32#
(intToInt32#
(andI#
(int32ToInt# (intToInt32# (andI# (int32ToInt# x#) 250#)))
(int32ToInt# (intToInt32# (andI# (int32ToInt# x#1) 175#)))))
}
}
bitOrInt32
= \ x ->
case x of { I32# x# ->
I32#
(intToInt32#
(orI#
(int32ToInt# (intToInt32# (orI# (int32ToInt# x#) 250#))) 175#))
}
bitAndInt32
= \ x ->
case x of { I32# x# ->
I32#
(intToInt32#
(andI#
(int32ToInt# (intToInt32# (andI# (int32ToInt# x#) 250#))) 175#))
}
bitOrTwoVarInt64
= \ x y ->
case x of { I64# x# ->
case y of { I64# x#1 ->
I64#
(word64ToInt64#
(or64#
255#Word64 (or64# (int64ToWord64# x#) (int64ToWord64# x#1))))
}
}
bitAndTwoVarInt64
= \ x y ->
case x of { I64# x# ->
case y of { I64# x#1 ->
I64#
(word64ToInt64#
(and64#
170#Word64 (and64# (int64ToWord64# x#) (int64ToWord64# x#1))))
}
}
bitOrInt64
= \ x ->
case x of { I64# x# ->
I64# (word64ToInt64# (or64# 255#Word64 (int64ToWord64# x#)))
}
bitAndInt64
= \ x ->
case x of { I64# x# ->
I64# (word64ToInt64# (and64# 170#Word64 (int64ToWord64# x#)))
}
|
