| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Data.Cfg.LookaheadSet
Contents
Description
Sets of lookahead symbols.
- data LookaheadSet t
- mkLookaheadSet :: Ord t => Bool -> [t] -> LookaheadSet t
- fromList :: Ord t => [AugT t] -> LookaheadSet t
- toSet :: LookaheadSet t -> Set (AugT t)
- (<>) :: Monoid m => m -> m -> m
- 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
| Eq t => Eq (LookaheadSet t) | |
| Ord t => Ord (LookaheadSet t) | |
| Show t => Show (LookaheadSet t) | |
| Ord t => Monoid (LookaheadSet t) |
Arguments
| :: 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.