blob: f6ac91b651873b50324c777af7e429ddf28d8c57 (
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
|
main is not found
------------ desugared source code
split
= primFix
\(a :: _) -> _lhs
split
\(b :: _) -> case'List
(\(_ :: _) -> _)
(_rhs ([], []))
(\(c :: _) (d :: _) -> _rhs
let
e = a d;
f
= (\(h :: _) -> hlistConsCase
_
(\(_ :: _) (i :: _) -> hlistConsCase
_
(\(j :: _) (k :: _) -> hlistNilCase _ j k)
i)
h)
e;
g
= (\(l :: _) -> hlistConsCase
_
(\(m :: _) (n :: _) -> hlistConsCase
_
(\(_ :: _) (o :: _) -> hlistNilCase _ m o)
n)
l)
e
in (c : f, g))
b
------------ core code
split :: forall a . [a] -> ([a], [a])
split
= \a -> primFix
_
\b c -> case'List
(\_ -> ' ([a], [a]))
(_rhs ([], []))
(\d e -> _rhs
(d
: hlistConsCase
[a]
[[a]]
[a]
(\_ f -> hlistConsCase [a] [] [a] (\g h -> hlistNilCase [a] g h) f)
(b e)
, hlistConsCase
[a]
[[a]]
[a]
(\i j -> hlistConsCase [a] [] [a] (\_ k -> hlistNilCase [a] i k) j)
(b e)))
c
------------ tooltips
4:1-4:6
forall a . [a] -> ([a], [a])
4:12-4:20
([_b], [_a])
4:12-5:55
[_b] -> ([_b], [_a])
4:13-4:15
forall a . [a]
4:17-4:19
forall a . [a] | (([_a]))
5:17-5:28
([_i], _c)
5:18-5:19
_m
5:18-5:20
[_l] -> [_l]
5:18-5:23
[_j]
5:19-5:20
forall a . a -> [a] -> [a]
5:21-5:23
_d
5:25-5:27
_f | ((_c))
5:37-5:39
_k | _h | _d
5:37-5:43
_d | (_e, _d)
5:41-5:43
_f | _c | _c
5:47-5:52
_i
5:53-5:55
[_h]
|
