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
|
main is not found
------------ desugared source code
zip2 :: forall (a :: _) (b :: _) . [a] -> [b] -> [(a, b)]
zip2
= primFix
\(a :: _) -> _lhs
zip2
\(b :: _) (c :: _) -> case'List
(\(_ :: _) -> _)
(_rhs [])
(\(d :: _) (e :: _) -> case'List
(\(_ :: _) -> _)
(_rhs [])
(\(f :: _) (g :: _) -> _rhs ((d, f) : a e g))
c)
b
------------ core code
zip2 :: forall a b . [a] -> [b] -> [(a, b)]
zip2
= primFix
_
\a b c d e -> case'List
(\_ -> [' (b, c)])
(_rhs [])
(\f g -> case'List
(\_ -> [' (b, c)])
(_rhs [])
(\h i -> _rhs ((f, h) : a b c g i))
e)
d
------------ tooltips
1:9-1:12
Type
1:9-1:30
Type | Type
1:10-1:11
_d
1:16-1:19
Type
1:16-1:30
Type
1:17-1:18
_c
1:23-1:30
Type | Type
1:24-1:29
Type
1:25-1:26
Type
1:25-1:28
[Type]
1:27-1:28
Type | [Type]
2:1-2:5
forall a b . [a] -> [b] -> [(a, b)]
2:22-2:24
forall a . [a]
2:22-4:40
[_a] -> [(_a, _d)] | [(_d, _c)]
3:22-3:24
forall a . [a]
3:22-4:40
[_a] -> [(_e, _a)] | [(_c, _f)]
4:22-4:27
(_h, _d)
4:22-4:29
[(_h, _d)] -> [(_h, _d)]
4:22-4:40
[(_g, _c)]
4:23-4:24
_k
4:25-4:26
_g | ((_d))
4:28-4:29
forall a . a -> [a] -> [a]
4:30-4:34
forall a b . [a] -> [b] -> [(a, b)]
4:30-4:37
[_a] -> [(_h, _a)]
4:30-4:40
[(_g, _c)]
4:35-4:37
[_i]
4:38-4:40
[_c]
|