| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Data.Cfg.Productive
Description
Productivity of productions in the grammar.
Synopsis
- productives :: forall cfg t nt. (Cfg cfg t nt, Ord nt, Ord t) => cfg t nt -> Set (Production t nt)
- unproductives :: forall cfg t nt. (Cfg cfg t nt, Ord nt, Ord t) => cfg t nt -> Set (Production t nt)
- removeUnproductives :: forall cfg t nt. (Cfg cfg t nt, Ord nt, Ord t) => cfg t nt -> FreeCfg t nt
Documentation
productives :: forall cfg t nt. (Cfg cfg t nt, Ord nt, Ord t) => cfg t nt -> Set (Production t nt) Source #
Returns the productive productions of this grammar.
unproductives :: forall cfg t nt. (Cfg cfg t nt, Ord nt, Ord t) => cfg t nt -> Set (Production t nt) Source #
Returns the unproductive productions of this grammar.