test/Golden/Grammar/ViewGrammar/G11.expected.txt

   1 lets
   2 + let <hidden>
   3 | ` <|>
   4 |   + <*>
   5 |   | + <*>
   6 |   | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2))
   7 |   | | ` <*>
   8 |   | |   + pure (GHC.Types.:)
   9 |   | |   ` <*>
  10 |   | |     + <*>
  11 |   | |     | + pure (\x_0 -> \x_1 -> x_0)
  12 |   | |     | ` pure 'a'
  13 |   | |     ` satisfy
  14 |   | ` rec <hidden>
  15 |   ` pure (\x_0 -> x_0)
  16 ` <*>
  17   + pure GHC.Show.show
  18   ` <*>
  19     + <*>
  20     | + pure (\x_0 -> \x_1 -> x_0)
  21     | ` <*>
  22     |   + ref <hidden>
  23     |   ` pure GHC.Types.[]
  24     ` <*>
  25       + <*>
  26       | + pure (\x_0 -> \x_1 -> x_0)
  27       | ` pure 'b'
  28       ` satisfy