Data.Cfg.LookaheadSet

Sets of lookahead symbols.

Documentation

data LookaheadSet t

Set of lookahead symbols providing different Monoid semantics than Set. (mappend implements concatenation, not set union.)

Instances

Eq t => Eq (LookaheadSet t)

Defined in Data.Cfg.LookaheadSet

Methods

(==) :: LookaheadSet t -> LookaheadSet t -> Bool

(/=) :: LookaheadSet t -> LookaheadSet t -> Bool

Ord t => Ord (LookaheadSet t)

Defined in Data.Cfg.LookaheadSet

Methods

compare :: LookaheadSet t -> LookaheadSet t -> Ordering

(<) :: LookaheadSet t -> LookaheadSet t -> Bool

(<=) :: LookaheadSet t -> LookaheadSet t -> Bool

(>) :: LookaheadSet t -> LookaheadSet t -> Bool

(>=) :: LookaheadSet t -> LookaheadSet t -> Bool

max :: LookaheadSet t -> LookaheadSet t -> LookaheadSet t

min :: LookaheadSet t -> LookaheadSet t -> LookaheadSet t

Show t => Show (LookaheadSet t)

Defined in Data.Cfg.LookaheadSet

Methods

showsPrec :: Int -> LookaheadSet t -> ShowS

show :: LookaheadSet t -> String

showList :: [LookaheadSet t] -> ShowS

Ord t => Semigroup (LookaheadSet t)

Defined in Data.Cfg.LookaheadSet

Methods

(<>) :: LookaheadSet t -> LookaheadSet t -> LookaheadSet t

sconcat :: NonEmpty (LookaheadSet t) -> LookaheadSet t

stimes :: Integral b => b -> LookaheadSet t -> LookaheadSet t

Ord t => Monoid (LookaheadSet t)

Defined in Data.Cfg.LookaheadSet

Methods

mempty :: LookaheadSet t

mappend :: LookaheadSet t -> LookaheadSet t -> LookaheadSet t

mconcat :: [LookaheadSet t] -> LookaheadSet t

mkLookaheadSet

Arguments

:: Ord t

=> Bool

true iff it has EOF

-> [t]

terminal symbols

-> LookaheadSet t

Creates a LookaheadSet

fromList :: Ord t => [AugT t] -> LookaheadSet t

Creates a LookaheadSet from a list of augmented terminals.

toSet :: LookaheadSet t -> Set (AugT t)

Converts the LookaheadSet to a regular Set

Set operations

empty :: LookaheadSet t

The empty lookahead set.

singleton :: AugT t -> LookaheadSet t

Creates a singleton lookahead set.

unions :: Ord t => [LookaheadSet t] -> LookaheadSet t

Returns the union of all the lookahead sets.