blob: 33a23630ff0c3916e99cdd8fe40e344e9cd7ec8c (
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
|
==================== Tidy Core ====================
Result size of Tidy Core
= {terms: 84, types: 66, coercions: 0, joins: 0/0}
wi8 = \ x -> word8ToInt8# x
wi16 = \ x -> word16ToInt16# x
wi32 = \ x -> word32ToInt32# x
wi64 = \ x -> intToInt64# (word2Int# (word64ToWord# x))
iw8 = \ x -> int8ToWord8# x
iw16 = \ x -> int16ToWord16# x
iw32 = \ x -> int32ToWord32# x
iw64 = \ x -> wordToWord64# (int2Word# (int64ToInt# x))
i8 = \ x -> x
i16 = \ x -> x
i32 = \ x -> x
i64 = \ x -> intToInt64# (int64ToInt# x)
w8 = \ x -> x
w16 = \ x -> x
w32 = \ x -> x
w64 = \ x -> wordToWord64# (word64ToWord# x)
w = \ x -> x
i = \ x -> x
wiw64 = \ x -> x
iwi64 = \ x -> x
ww64i = \ x -> word2Int# x
ii64w = \ x -> int2Word# x
|
