blob: d7e4ee3ea5e5b66ca90879d51c461369883d5c7b (
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
|
main is not found
------------ desugared source code
h
= _lhs
h
\(a :: _) (b :: _) (_ :: _) -> _rhs
let
c
= (\(d :: _) -> hlistConsCase
_
(\(e :: _) (f :: _) -> hlistConsCase
_
(\(g :: _) (h :: _) -> hlistNilCase _ (a e g) h)
f)
d)
b
in c
------------ core code
h :: forall a b c d . (b -> d -> c) -> (b, d) -> a -> c
h
= \a b c d e f _ -> _rhs
(hlistConsCase
b
[d]
c
(\g h -> hlistConsCase d [] c (\i j -> hlistNilCase c (e g i) j) h)
f)
------------ tooltips
4:1-4:2
forall a b c d . (b -> d -> c) -> (b, d) -> a -> c
4:11-4:12
_c
7:9-7:29
_b
7:21-7:22
_s
7:21-7:26
_c | _d
7:23-7:24
_n
7:25-7:26
_j
7:28-7:29
_g
|
