blob: 291d0bf748c726cf25d7d0cf0a0c54691854d22c (
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 a_0 b_1
where foo :: a_0 -> b_1
\x_0 -> (x_0, 1 `x_0` 2)
\(+_0) -> ((+_0), 1 +_0 2)
(Main.f, 1 `Main.f` 2)
((Main..+.), 1 Main..+. 2)
|
