blob: e969c176c3e918af51e97e775d0720eb048ae3c1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
Main.f Main.u1 Main.u2
Main.u1 `Main.f` Main.u2
(Main..+.) Main.u1 Main.u2
Main.u1 Main..+. Main.u2
(GHC.Types.:) Main.u1 Main.u2
Main.u1 GHC.Types.: Main.u2
\((GHC.Types.:) x_0 xs_1) -> x_0
\(x_0 GHC.Types.: xs_1) -> x_0
class Foo_0 a_1 b_2
where foo_3 :: a_1 -> b_2
\x_0 -> (x_0, 1 `x_0` 2)
\(+_0) -> ((+_0), 1 +_0 2)
(Main.f, 1 `Main.f` 2)
((Main..+.), 1 Main..+. 2)
|
