Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Sets of lookahead symbols.
Synopsis
- data LookaheadSet t
- mkLookaheadSet :: Ord t => Bool -> [t] -> LookaheadSet t
- fromList :: Ord t => [AugT t] -> LookaheadSet t
- toSet :: LookaheadSet t -> Set (AugT t)
- empty :: LookaheadSet t
- singleton :: AugT t -> LookaheadSet t
- unions :: Ord t => [LookaheadSet t] -> LookaheadSet t
Documentation
data LookaheadSet t Source #
Set of lookahead symbols providing different Monoid
semantics
than Set
. (mappend
implements concatenation, not set
union.)
Instances
:: Ord t | |
=> Bool | true iff it has |
-> [t] | terminal symbols |
-> LookaheadSet t |
Creates a LookaheadSet
fromList :: Ord t => [AugT t] -> LookaheadSet t Source #
Creates a LookaheadSet
from a list of augmented terminals.
toSet :: LookaheadSet t -> Set (AugT t) Source #
Converts the LookaheadSet
to a regular Set
Set operations
empty :: LookaheadSet t Source #
The empty lookahead set.
singleton :: AugT t -> LookaheadSet t Source #
Creates a singleton lookahead set.
unions :: Ord t => [LookaheadSet t] -> LookaheadSet t Source #
Returns the union of all the lookahead sets.