| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Data.Cfg.FollowSet
Description
Follow sets of a context-free grammar.
- followSet :: forall cfg t nt. (Cfg cfg (AugT t) (AugNT nt), Ord nt, Ord t, Show nt) => cfg (AugT t) (AugNT nt) -> (AugNT nt -> LookaheadSet t) -> AugNT nt -> LookaheadSet t
- followSetMap :: forall cfg t nt. (Cfg cfg (AugT t) (AugNT nt), Ord nt, Ord t, Show nt) => cfg (AugT t) (AugNT nt) -> (AugNT nt -> LookaheadSet t) -> Map (AugNT nt) (LookaheadSet t)
Documentation
Arguments
| :: (Cfg cfg (AugT t) (AugNT nt), Ord nt, Ord t, Show nt) | |
| => cfg (AugT t) (AugNT nt) | the grammar |
| -> (AugNT nt -> LookaheadSet t) |
|
| -> AugNT nt | the nonterminal |
| -> LookaheadSet t |
Returns the follow set of the nonterminal for the grammar. To
avoid recalculations, hold a copy of followSet cfg.