Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Cfg.FreeCfg

Description

The free Cfg

Synopsis

data FreeCfg t nt = FreeCfg {
- nonterminals' :: Set nt
- terminals' :: Set t
- productionRules' :: nt -> Set (Vs t nt)
- startSymbol' :: nt
}
toFreeCfg :: Cfg cfg t nt => cfg t nt -> FreeCfg t nt

Documentation

data FreeCfg t nt Source #

Represents a context-free grammar with its nonterminal and terminal types. The canonical instance of Cfg: a record that collects up implementations of each class method.

Constructors

FreeCfg
Fields nonterminals' :: Set nt the nonterminals of the grammar terminals' :: Set t the terminals of the grammar productionRules' :: nt -> Set (Vs t nt) the productions of the grammar startSymbol' :: nt the start symbol of the grammar; must be an element of `nonterminals` `cfg`

Instances

Instances details

Cfg FreeCfg t nt Source #
Instance details Defined in Data.Cfg.FreeCfg Methods nonterminals :: FreeCfg t nt -> Set nt Source # terminals :: FreeCfg t nt -> Set t Source # productionRules :: FreeCfg t nt -> nt -> Set (Vs t nt) Source # startSymbol :: FreeCfg t nt -> nt Source #

toFreeCfg :: Cfg cfg t nt => cfg t nt -> FreeCfg t nt Source #

Converts any Cfg into a FreeCfg.