blob: 48d8790552e5a6a7de3382ec30dd01aaab08af81 (
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
|
main is not found
tooltips:
testdata/typeclass.lc 4:6-4:10 Type->Type
testdata/typeclass.lc 4:6-4:10 Type
testdata/typeclass.lc 4:15-4:18 {a} -> 'List a
testdata/typeclass.lc 4:6-4:35 Type
testdata/typeclass.lc 4:26-4:27 Type
testdata/typeclass.lc 4:29-4:33 Type->Type
testdata/typeclass.lc 4:34-4:35 Type
testdata/typeclass.lc 4:21-4:25 {a} -> a -> 'List a -> 'List a
testdata/typeclass.lc 11:13-11:17 V0
testdata/typeclass.lc 11:13-11:17 'Bool
testdata/typeclass.lc 10:12-10:17 'Bool
testdata/typeclass.lc 10:5-10:9 'Bool
testdata/typeclass.lc 10:5-10:9 V1
testdata/typeclass.lc 10:1-10:4 'Bool->'Bool
testdata/typeclass.lc 14:14-14:19 V0
testdata/typeclass.lc 14:14-14:19 'Bool
testdata/typeclass.lc 13:13-13:14 'Bool
testdata/typeclass.lc 13:13-13:14 V1
testdata/typeclass.lc 13:1-13:5 'Bool
testdata/typeclass.lc 13:1-13:5 V2
testdata/typeclass.lc 13:6-13:8 'Bool -> 'Bool->'Bool
testdata/typeclass.lc 16:14-16:15 V0
testdata/typeclass.lc 16:14-16:15 V2
testdata/typeclass.lc 17:13-17:17 V1
testdata/typeclass.lc 17:13-17:17 'Bool
testdata/typeclass.lc 16:1-16:6 'Bool
testdata/typeclass.lc 16:1-16:6 V2
testdata/typeclass.lc 16:7-16:9 'Bool -> 'Bool->'Bool
testdata/typeclass.lc 19:7-19:9 {a} -> a->a -> a
testdata/typeclass.lc 24:10-28:23 V0->V1
testdata/typeclass.lc 24:10-28:23 V1
testdata/typeclass.lc 24:10-28:23 Type->Type
testdata/typeclass.lc 24:10-28:23 Type
testdata/typeclass.lc 24:10-24:12 Type
testdata/typeclass.lc 24:13-24:17 Type
testdata/typeclass.lc 28:10-28:23 Type
testdata/typeclass.lc 28:10-28:20 Type->Type
testdata/typeclass.lc 28:10-28:20 Type
testdata/typeclass.lc 28:10-28:14 Type
testdata/typeclass.lc 28:10-28:12 Type->Type
testdata/typeclass.lc 28:13-28:14 Type
testdata/typeclass.lc 28:18-28:20 Type
testdata/typeclass.lc 28:22-28:23 Type
testdata/typeclass.lc 19:7-19:9 Type->Type
testdata/typeclass.lc 20:5-20:9 {a} -> a->a -> a
testdata/typeclass.lc 19:7-32:25 V0->V1
testdata/typeclass.lc 19:7-32:25 V1
testdata/typeclass.lc 19:7-20:27 Type
testdata/typeclass.lc 20:13-20:27 Type
testdata/typeclass.lc 20:13-20:14 Type
testdata/typeclass.lc 20:18-20:27 Type
testdata/typeclass.lc 20:18-20:19 Type
testdata/typeclass.lc 20:23-20:27 Type
testdata/typeclass.lc 24:13-32:25 {a} -> {b : 'Eq a} -> a -> a->'Bool
testdata/typeclass.lc 24:13-32:25 {a : 'Eq V0} -> V1 -> V2->'Bool
testdata/typeclass.lc 25:5-26:23 {a:'Unit} -> 'Bool -> 'Bool->'Bool
testdata/typeclass.lc 25:5-26:23 'Bool -> 'Bool->'Bool
testdata/typeclass.lc 25:5-26:23 'Bool->'Bool
testdata/typeclass.lc 25:5-26:23 'Bool
testdata/typeclass.lc 26:18-26:23 V0
testdata/typeclass.lc 26:18-26:21 'Bool->'Bool
testdata/typeclass.lc 26:22-26:23 'Bool
testdata/typeclass.lc 25:17-25:18 'Bool
testdata/typeclass.lc 25:5-25:9 'Bool
testdata/typeclass.lc 28:22-32:25 {a : 'Eq V0} -> V1 -> V2->'Bool
testdata/typeclass.lc 29:20-32:25 a:Type -> {b : 'Eq a} -> 'List a -> 'List a -> 'Bool
testdata/typeclass.lc 29:20-32:25 {a : 'Eq V0} -> 'List V1 -> 'List V2 -> 'Bool
testdata/typeclass.lc 29:20-32:25 'List V1 -> 'List V2 -> 'Bool
testdata/typeclass.lc 29:20-32:25 'List V2 -> 'Bool
testdata/typeclass.lc 29:20-32:25 'Bool
testdata/typeclass.lc 29:20-32:25 V0
testdata/typeclass.lc 29:20-29:24 V0
testdata/typeclass.lc 29:20-29:24 'Bool
testdata/typeclass.lc 32:20-32:25 V0 -> 'List V1 -> 'Bool
testdata/typeclass.lc 32:20-32:25 'List V1 -> 'Bool
testdata/typeclass.lc 32:20-32:25 'Bool
testdata/typeclass.lc 30:18-32:25 V0 -> 'List V1 -> 'Bool
testdata/typeclass.lc 30:18-32:25 'List V1 -> 'Bool
testdata/typeclass.lc 30:18-32:25 'Bool
testdata/typeclass.lc 32:20-32:25 V0
testdata/typeclass.lc 30:26-30:32 V0 -> 'List V1 -> 'Bool
testdata/typeclass.lc 30:26-30:32 'List V1 -> 'Bool
testdata/typeclass.lc 30:26-30:32 'Bool
testdata/typeclass.lc 30:28-30:30 {a} -> {b : 'Eq a} -> a -> a->'Bool
testdata/typeclass.lc 30:26-30:27 V1
testdata/typeclass.lc 30:26-30:27 V7
testdata/typeclass.lc 30:31-30:32 V6
testdata/typeclass.lc 30:31-30:32 V3
testdata/typeclass.lc 30:18-30:22 'List V3
testdata/typeclass.lc 30:18-30:22 'List V7
testdata/typeclass.lc 20:5-20:9 {a} -> {b : 'Eq a} -> a -> a->'Bool
testdata/typeclass.lc 22:10-22:13 'Bool->'Bool
testdata/typeclass.lc 22:15-22:21 'Bool
testdata/typeclass.lc 22:17-22:19 {a} -> {b : 'Eq a} -> a -> a->'Bool
testdata/typeclass.lc 22:15-22:16 V1
testdata/typeclass.lc 22:15-22:16 V5
testdata/typeclass.lc 22:20-22:21 V4
testdata/typeclass.lc 22:20-22:21 V2
testdata/typeclass.lc 22:3-22:5 {a} -> {b : 'Eq a} -> a -> a->'Bool
|