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 |   | ` chainPost
   9 |   |   + pure GHC.Tuple.()
  10 |   |   ` <*>
  11 |   |     + <*>
  12 |   |     | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1)
  13 |   |     | ` pure (\x_0 -> \x_1 -> x_0)
  14 |   |     ` satisfy
  15 |   ` pure GHC.Tuple.()
  16 + let <hidden>
  17 | ` chainPre
  18 |   + <*>
  19 |   | + pure (GHC.Types.:)
  20 |   | ` <*>
  21 |   |   + <*>
  22 |   |   | + pure (\x_0 -> \x_1 -> x_0)
  23 |   |   | ` conditional
  24 |   |   |   + look
  25 |   |   |   | ` satisfy
  26 |   |   |   + branches
  27 |   |   |   | + <*>
  28 |   |   |   | | + <*>
  29 |   |   |   | | | + pure (\x_0 -> \x_1 -> x_0)
  30 |   |   |   | | | ` pure Parsers.Brainfuck.Types.Backward
  31 |   |   |   | | ` satisfy
  32 |   |   |   | + <*>
  33 |   |   |   | | + <*>
  34 |   |   |   | | | + pure (\x_0 -> \x_1 -> x_0)
  35 |   |   |   | | | ` pure Parsers.Brainfuck.Types.Forward
  36 |   |   |   | | ` satisfy
  37 |   |   |   | + <*>
  38 |   |   |   | | + <*>
  39 |   |   |   | | | + pure (\x_0 -> \x_1 -> x_0)
  40 |   |   |   | | | ` pure Parsers.Brainfuck.Types.Increment
  41 |   |   |   | | ` satisfy
  42 |   |   |   | + <*>
  43 |   |   |   | | + <*>
  44 |   |   |   | | | + pure (\x_0 -> \x_1 -> x_0)
  45 |   |   |   | | | ` pure Parsers.Brainfuck.Types.Decrement
  46 |   |   |   | | ` satisfy
  47 |   |   |   | + <*>
  48 |   |   |   | | + <*>
  49 |   |   |   | | | + pure (\x_0 -> \x_1 -> x_0)
  50 |   |   |   | | | ` pure Parsers.Brainfuck.Types.Input
  51 |   |   |   | | ` satisfy
  52 |   |   |   | + <*>
  53 |   |   |   | | + <*>
  54 |   |   |   | | | + pure (\x_0 -> \x_1 -> x_0)
  55 |   |   |   | | | ` pure Parsers.Brainfuck.Types.Output
  56 |   |   |   | | ` satisfy
  57 |   |   |   | ` <*>
  58 |   |   |   |   + <*>
  59 |   |   |   |   | + pure (\x_0 -> \x_1 -> x_0)
  60 |   |   |   |   | ` <*>
  61 |   |   |   |   |   + <*>
  62 |   |   |   |   |   | + <*>
  63 |   |   |   |   |   | | + pure (\x_0 -> \x_1 -> x_0)
  64 |   |   |   |   |   | | ` pure (\x_0 -> x_0)
  65 |   |   |   |   |   | ` <*>
  66 |   |   |   |   |   |   + <*>
  67 |   |   |   |   |   |   | + pure (\x_0 -> \x_1 -> x_0)
  68 |   |   |   |   |   |   | ` satisfy
  69 |   |   |   |   |   |   ` ref <hidden>
  70 |   |   |   |   |   ` <*>
  71 |   |   |   |   |     + pure Parsers.Brainfuck.Types.Loop
  72 |   |   |   |   |     ` rec <hidden>
  73 |   |   |   |   ` <*>
  74 |   |   |   |     + <*>
  75 |   |   |   |     | + pure (\x_0 -> \x_1 -> x_0)
  76 |   |   |   |     | ` pure ']'
  77 |   |   |   |     ` satisfy
  78 |   |   |   ` failure
  79 |   |   ` ref <hidden>
  80 |   ` pure GHC.Types.[]
  81 ` <*>
  82   + pure GHC.Show.show
  83   ` <*>
  84     + <*>
  85     | + <*>
  86     | | + pure (\x_0 -> \x_1 -> x_0)
  87     | | ` pure (\x_0 -> x_0)
  88     | ` ref <hidden>
  89     ` ref <hidden>