Parser.ProductRule.Internal

Documentation

data Symbol a

Two provided symbols besides user defined data.

Constructors

Start

represents the starting symbol.

Null

represents the null symbol.

T a

represents a terminal symbol.

NT a

represents a non-terminal symbol.

UD a

represents an undetermined symbol, used internally.

Instances

Eq a => Eq (Symbol a)

Ord a => Ord (Symbol a)

Show a => Show (Symbol a)

type ProductRule t = (Symbol t, [Symbol t])

rule :: Ord a => Symbol a -> [Symbol a] -> ProductRule a

non-terms -> lhs -> rhs -> product rule

setT :: Ord a => Symbol a -> Set a -> Symbol a

non-terms