Yi.IncrementalParse

Synopsis

recoverWith :: Parser s a -> Parser s a

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

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

data AlexState lexerState = AlexState {

stLexer :: lexerState

lookedOffset :: !Point

stPosn :: !Posn

}

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

Documentation

recoverWith :: Parser s a -> Parser s a

Source

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

Source

eof :: forall s. Parser s ()

Source

lookNext :: Parser s (Maybe s)

Source

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

Source

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

Source

type P s a = Parser s a

Source

data Parser s a where

Source

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

Source

Lexer state

Constructors

AlexState

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

Source

Produced by Haddock version 2.6.1