SimpleParser.LookAhead

Documentation

data MatchCase l s e m a b

Constructors

MatchCase

Fields

• matchCaseLabel :: !(Maybe l)
• matchCaseChoose :: !(a -> Bool)
• matchCaseHandle :: !(ParserT l s e m b)

type PureMatchCase l s e a b = MatchCase l s e Identity a b

data MatchBlock l s e m a b

Constructors

MatchBlock

Fields

• matchBlockSelect :: !(ParserT l s e m a)
• matchBlockDefault :: !(ParserT l s e m b)
• matchBlockElems :: ![MatchCase l s e m a b]

type PureMatchBlock l s e a b = MatchBlock l s e Identity a b

lookAheadMatch :: Monad m => MatchBlock l s e m a b -> ParserT l s e m b

Parse with look-ahead for each case and follow the first that matches (or follow the default if none do).

data MatchPos l

Constructors

MatchPos

Fields

• matchPosIndex :: !Int
• matchPosLabel :: !(Maybe l)

Instances

Eq l => Eq (MatchPos l)

Defined in SimpleParser.LookAhead

Methods

(==) :: MatchPos l -> MatchPos l -> Bool

(/=) :: MatchPos l -> MatchPos l -> Bool

Show l => Show (MatchPos l)

Defined in SimpleParser.LookAhead

Methods

showsPrec :: Int -> MatchPos l -> ShowS

show :: MatchPos l -> String

showList :: [MatchPos l] -> ShowS

data LookAheadTestResult l

Constructors

LookAheadTestEmpty

LookAheadTestDefault

LookAheadTestMatches !(NESeq (MatchPos l))

Instances

Eq l => Eq (LookAheadTestResult l)

Defined in SimpleParser.LookAhead

Methods

(==) :: LookAheadTestResult l -> LookAheadTestResult l -> Bool

(/=) :: LookAheadTestResult l -> LookAheadTestResult l -> Bool

Show l => Show (LookAheadTestResult l)

Defined in SimpleParser.LookAhead

Methods

showsPrec :: Int -> LookAheadTestResult l -> ShowS

show :: LookAheadTestResult l -> String

showList :: [LookAheadTestResult l] -> ShowS

lookAheadTest :: Monad m => MatchBlock l s e m a b -> s -> m (LookAheadTestResult l)

Test which branches match the look-ahead. Useful to assert that your parser makes exclusive choices.

pureLookAheadTest :: PureMatchBlock l s e a b -> s -> LookAheadTestResult l

lookAheadSimple :: (Monad m, Eq a) => ParserT l s e m a -> ParserT l s e m b -> [(a, ParserT l s e m b)] -> ParserT l s e m b

Simple look-ahead that selects a parser based on first equal prefix.