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

   1 lets
   2 + let name
   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 (\c_0 -> GHC.Classes.not (('<' GHC.Classes.== c_0) GHC.Classes.|| (('>' GHC.Classes.== c_0) GHC.Classes.|| (('+' GHC.Classes.== c_0) GHC.Classes.|| (('-' GHC.Classes.== c_0) GHC.Classes.|| ((',' GHC.Classes.== c_0) GHC.Classes.|| (('.' GHC.Classes.== c_0) GHC.Classes.|| (('[' GHC.Classes.== c_0) GHC.Classes.|| ((']' GHC.Classes.== c_0) GHC.Classes.|| GHC.Types.False)))))))))
  15 |   ` pure GHC.Tuple.()
  16 + let name
  17 | ` chainPre
  18 |   + <*>
  19 |   | + pure (GHC.Types.:)
  20 |   | ` <*>
  21 |   |   + <*>
  22 |   |   | + pure (\x_0 -> \x_1 -> x_0)
  23 |   |   | ` conditional
  24 |   |   |   + condition
  25 |   |   |   | ` look
  26 |   |   |   |   ` satisfy (\x_0 -> GHC.Types.True)
  27 |   |   |   + default
  28 |   |   |   | ` failure
  29 |   |   |   + branch (\x_0 -> (\x_1 -> \x_2 -> (GHC.Classes.==) x_1 x_2) '<' x_0)
  30 |   |   |   | ` <*>
  31 |   |   |   |   + <*>
  32 |   |   |   |   | + pure (\x_0 -> \x_1 -> x_0)
  33 |   |   |   |   | ` pure Parsers.Brainfuck.Types.Backward
  34 |   |   |   |   ` satisfy (\x_0 -> GHC.Types.True)
  35 |   |   |   + branch (\x_0 -> (\x_1 -> \x_2 -> (GHC.Classes.==) x_1 x_2) '>' x_0)
  36 |   |   |   | ` <*>
  37 |   |   |   |   + <*>
  38 |   |   |   |   | + pure (\x_0 -> \x_1 -> x_0)
  39 |   |   |   |   | ` pure Parsers.Brainfuck.Types.Forward
  40 |   |   |   |   ` satisfy (\x_0 -> GHC.Types.True)
  41 |   |   |   + branch (\x_0 -> (\x_1 -> \x_2 -> (GHC.Classes.==) x_1 x_2) '+' x_0)
  42 |   |   |   | ` <*>
  43 |   |   |   |   + <*>
  44 |   |   |   |   | + pure (\x_0 -> \x_1 -> x_0)
  45 |   |   |   |   | ` pure Parsers.Brainfuck.Types.Increment
  46 |   |   |   |   ` satisfy (\x_0 -> GHC.Types.True)
  47 |   |   |   + branch (\x_0 -> (\x_1 -> \x_2 -> (GHC.Classes.==) x_1 x_2) '-' x_0)
  48 |   |   |   | ` <*>
  49 |   |   |   |   + <*>
  50 |   |   |   |   | + pure (\x_0 -> \x_1 -> x_0)
  51 |   |   |   |   | ` pure Parsers.Brainfuck.Types.Decrement
  52 |   |   |   |   ` satisfy (\x_0 -> GHC.Types.True)
  53 |   |   |   + branch (\x_0 -> (\x_1 -> \x_2 -> (GHC.Classes.==) x_1 x_2) ',' x_0)
  54 |   |   |   | ` <*>
  55 |   |   |   |   + <*>
  56 |   |   |   |   | + pure (\x_0 -> \x_1 -> x_0)
  57 |   |   |   |   | ` pure Parsers.Brainfuck.Types.Input
  58 |   |   |   |   ` satisfy (\x_0 -> GHC.Types.True)
  59 |   |   |   + branch (\x_0 -> (\x_1 -> \x_2 -> (GHC.Classes.==) x_1 x_2) '.' x_0)
  60 |   |   |   | ` <*>
  61 |   |   |   |   + <*>
  62 |   |   |   |   | + pure (\x_0 -> \x_1 -> x_0)
  63 |   |   |   |   | ` pure Parsers.Brainfuck.Types.Output
  64 |   |   |   |   ` satisfy (\x_0 -> GHC.Types.True)
  65 |   |   |   ` branch (\x_0 -> (\x_1 -> \x_2 -> (GHC.Classes.==) x_1 x_2) '[' x_0)
  66 |   |   |     ` <*>
  67 |   |   |       + <*>
  68 |   |   |       | + pure (\x_0 -> \x_1 -> x_0)
  69 |   |   |       | ` <*>
  70 |   |   |       |   + <*>
  71 |   |   |       |   | + <*>
  72 |   |   |       |   | | + pure (\x_0 -> \x_1 -> x_0)
  73 |   |   |       |   | | ` pure (\x_0 -> x_0)
  74 |   |   |       |   | ` <*>
  75 |   |   |       |   |   + <*>
  76 |   |   |       |   |   | + pure (\x_0 -> \x_1 -> x_0)
  77 |   |   |       |   |   | ` satisfy (\x_0 -> GHC.Types.True)
  78 |   |   |       |   |   ` ref name
  79 |   |   |       |   ` <*>
  80 |   |   |       |     + pure Parsers.Brainfuck.Types.Loop
  81 |   |   |       |     ` rec name
  82 |   |   |       ` <*>
  83 |   |   |         + <*>
  84 |   |   |         | + pure (\x_0 -> \x_1 -> x_0)
  85 |   |   |         | ` pure ']'
  86 |   |   |         ` satisfy ((GHC.Classes.==) ']')
  87 |   |   ` ref name
  88 |   ` pure GHC.Types.[]
  89 ` <*>
  90   + pure GHC.Show.show
  91   ` <*>
  92     + <*>
  93     | + <*>
  94     | | + pure (\x_0 -> \x_1 -> x_0)
  95     | | ` pure (\x_0 -> x_0)
  96     | ` ref name
  97     ` ref name