FormalLanguage.GrammarProduct.Op.Add

Documentation

add :: Grammar -> Grammar -> Grammar

newtype Add a

Add two grammars. Implemented as the union of production rules without any renaming.

Constructors

Add

Fields

• runAdd :: a

Instances

Semigroup (Add Grammar)

Note that the semigroup on Add will create a new rule S_gh -> S_g | S_h in case two start symbols with different rhs exist (If S_g, S_h are the same, there is no problem).

Defined in FormalLanguage.GrammarProduct.Op.Add

Methods

(<>) :: Add Grammar -> Add Grammar -> Add Grammar

sconcat :: NonEmpty (Add Grammar) -> Add Grammar

stimes :: Integral b => b -> Add Grammar -> Add Grammar

Monoid (Add Grammar)

Defined in FormalLanguage.GrammarProduct.Op.Add

Methods

mempty :: Add Grammar

mappend :: Add Grammar -> Add Grammar -> Add Grammar

mconcat :: [Add Grammar] -> Add Grammar