Yi.IncrementalParse

Documentation

recoverWith :: Parser s a -> Parser s a

Parse the same thing as the argument, but will be used only as backup. ie, it will be used only if disjuncted with a failing parser.

symbol :: forall s. (s -> Bool) -> Parser s s

eof :: forall s. Parser s ()

lookNext :: Parser s (Maybe s)

testNext :: (Maybe s -> Bool) -> Parser s ()

type State st token result = (st, Process token result)

type P s a = Parser s a

data Parser s a where

Parser specification

Constructors

Look :: Parser s a -> (s -> Parser s a) -> Parser s a

Yuck :: Parser s a -> Parser s a

Enter :: String -> Parser s a -> Parser s a

Instances

Monad (Parser s)

Functor (Parser s)

Applicative (Parser s)

Alternative (Parser s)

data AlexState lexerState :: * -> *

Lexer state

Constructors

AlexState

Fields

stLexer :: lexerState

lookedOffset :: !Point

stPosn :: !Posn

Instances

Show lexerState => Show (AlexState lexerState)

scanner :: forall st token result. Parser token result -> Scanner st token -> Scanner (State st token result) result