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

   1 lets
   2 + let <hidden>
   3 | ` <*>
   4 |   + <*>
   5 |   | + <*>
   6 |   | | + pure \x_0 -> \x_1 -> x_0
   7 |   | | ` pure \x_0 -> x_0
   8 |   | ` <*>
   9 |   |   + <*>
  10 |   |   | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) (\x_3 -> \x_4 -> x_3 x_4)
  11 |   |   | ` pure GHC.Tuple.()
  12 |   |   ` ref <hidden>
  13 |   ` pure GHC.Tuple.()
  14 + let <hidden>
  15 | ` <*>
  16 |   + ref <hidden>
  17 |   ` pure GHC.Types.[]
  18 + let <hidden>
  19 | ` <|>
  20 |   + <*>
  21 |   | + <*>
  22 |   | | + pure \x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2)
  23 |   | | ` <*>
  24 |   | |   + <*>
  25 |   | |   | + pure \x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1
  26 |   | |   | ` pure \x_0 -> \x_1 -> x_0
  27 |   | |   ` satisfy
  28 |   | ` rec <hidden>
  29 |   ` pure \x_0 -> x_0
  30 + let <hidden>
  31 | ` <|>
  32 |   + <*>
  33 |   | + <*>
  34 |   | | + pure \x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2)
  35 |   | | ` <*>
  36 |   | |   + pure (GHC.Types.:)
  37 |   | |   ` <*>
  38 |   | |     + <*>
  39 |   | |     | + pure \x_0 -> \x_1 -> x_0
  40 |   | |     | ` conditional
  41 |   | |     |   + look
  42 |   | |     |   | ` satisfy
  43 |   | |     |   + branches
  44 |   | |     |   | + <*>
  45 |   | |     |   | | + <*>
  46 |   | |     |   | | | + pure \x_0 -> \x_1 -> x_0
  47 |   | |     |   | | | ` pure Parsers.Brainfuck.Types.Backward
  48 |   | |     |   | | ` satisfy
  49 |   | |     |   | + <*>
  50 |   | |     |   | | + <*>
  51 |   | |     |   | | | + pure \x_0 -> \x_1 -> x_0
  52 |   | |     |   | | | ` pure Parsers.Brainfuck.Types.Forward
  53 |   | |     |   | | ` satisfy
  54 |   | |     |   | + <*>
  55 |   | |     |   | | + <*>
  56 |   | |     |   | | | + pure \x_0 -> \x_1 -> x_0
  57 |   | |     |   | | | ` pure Parsers.Brainfuck.Types.Increment
  58 |   | |     |   | | ` satisfy
  59 |   | |     |   | + <*>
  60 |   | |     |   | | + <*>
  61 |   | |     |   | | | + pure \x_0 -> \x_1 -> x_0
  62 |   | |     |   | | | ` pure Parsers.Brainfuck.Types.Decrement
  63 |   | |     |   | | ` satisfy
  64 |   | |     |   | + <*>
  65 |   | |     |   | | + <*>
  66 |   | |     |   | | | + pure \x_0 -> \x_1 -> x_0
  67 |   | |     |   | | | ` pure Parsers.Brainfuck.Types.Input
  68 |   | |     |   | | ` satisfy
  69 |   | |     |   | + <*>
  70 |   | |     |   | | + <*>
  71 |   | |     |   | | | + pure \x_0 -> \x_1 -> x_0
  72 |   | |     |   | | | ` pure Parsers.Brainfuck.Types.Output
  73 |   | |     |   | | ` satisfy
  74 |   | |     |   | ` <*>
  75 |   | |     |   |   + <*>
  76 |   | |     |   |   | + pure \x_0 -> \x_1 -> x_0
  77 |   | |     |   |   | ` <*>
  78 |   | |     |   |   |   + <*>
  79 |   | |     |   |   |   | + <*>
  80 |   | |     |   |   |   | | + pure \x_0 -> \x_1 -> x_0
  81 |   | |     |   |   |   | | ` pure \x_0 -> x_0
  82 |   | |     |   |   |   | ` <*>
  83 |   | |     |   |   |   |   + <*>
  84 |   | |     |   |   |   |   | + pure \x_0 -> \x_1 -> x_0
  85 |   | |     |   |   |   |   | ` satisfy
  86 |   | |     |   |   |   |   ` ref <hidden>
  87 |   | |     |   |   |   ` <*>
  88 |   | |     |   |   |     + pure Parsers.Brainfuck.Types.Loop
  89 |   | |     |   |   |     ` rec <hidden>
  90 |   | |     |   |   ` <*>
  91 |   | |     |   |     + <*>
  92 |   | |     |   |     | + pure \x_0 -> \x_1 -> x_0
  93 |   | |     |   |     | ` pure ']'
  94 |   | |     |   |     ` satisfy
  95 |   | |     |   ` failure
  96 |   | |     ` ref <hidden>
  97 |   | ` rec <hidden>
  98 |   ` pure \x_0 -> x_0
  99 ` <*>
 100   + pure GHC.Show.show
 101   ` <*>
 102     + <*>
 103     | + <*>
 104     | | + pure \x_0 -> \x_1 -> x_0
 105     | | ` pure \x_0 -> x_0
 106     | ` ref <hidden>
 107     ` ref <hidden>