blob: d9202fc56f3d87f0eb0d6eb33370a3d6e1657692 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
main is not found
------------ desugared source code
fun :: forall (a :: _) . a -> MyUnit -> MyUnit
fun = _lhs fun \(_ :: _) (a :: _) -> hlistNilCase _ (_rhs ()) a
------------ core code
fun :: forall a . a -> MyUnit -> ()
fun = \_ _ a -> hlistNilCase ' () (_rhs ()) a
------------ tooltips
3:8-3:9
_b
3:8-3:29
Type
3:13-3:19
Type
3:13-3:29
Type
3:23-3:29
Type | Type
4:1-4:4
forall a . a -> MyUnit -> ()
4:12-4:14
() | ()
|
