Documentation

Use ---> iff the left side is the Start symbol and the first symbol on the right side is an user-defined symbol.

Only one symbol is allowed on the left hand side.

table :: [ProductRule MySym]
table = productRules $ do
   Start ---> A & B ...
           ...

Use --> iff both the left side and the first symbol on the right side are user-defined symbols.

| Only one symbol is allowed on the left hand side.

| Use & to concatenate two user-defined symbols.

table :: [ProductRule MySym]
table = productRules $ do
   Start ---> ...
           ...
      ; A --> C'
           |/ Null
           ...

Use & to concatenate two user-defined symbols.

table :: [ProductRule MySym]
table = productRules $ do
   Start >>> Null & C'
          |> ...

Use |> to represent "or" when the left hand side can produce two different expressions, and the right side in a user-defined type.

table :: [ProductRule MySym]
table = productRules $ do
   Start ---> ...
           ...
           |> C'

Use |/ iff the right hand side is the Null symbol.

table :: [ProductRule MySym]
table = productRules $ do
   Start ---> C'
           |/ Null
           |> ...

Use >>> iff the left side is Start and the first symbol on the right side is Null.

table :: [ProductRule MySym]
table = productRules $ do
   Start >>> Null
          |> C'
          ...