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)

Methods

(>>=) :: Parser s a -> (a -> Parser s b) -> Parser s b

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

return :: a -> Parser s a

fail :: String -> Parser s a

Functor (Parser s)

Methods

fmap :: (a -> b) -> Parser s a -> Parser s b

(<$) :: a -> Parser s b -> Parser s a

Applicative (Parser s)

Methods

pure :: a -> Parser s a

(<*>) :: Parser s (a -> b) -> Parser s a -> Parser s b

(*>) :: Parser s a -> Parser s b -> Parser s b

(<*) :: Parser s a -> Parser s b -> Parser s a

Alternative (Parser s)

Methods

empty :: Parser s a

(<|>) :: Parser s a -> Parser s a -> Parser s a

some :: Parser s a -> Parser s [a]

many :: Parser s a -> Parser s [a]

data AlexState lexerState :: * -> *

Lexer state

Constructors

AlexState

Fields

• stLexer :: lexerState
• lookedOffset :: ~Point
• stPosn :: ~Posn

Instances

Show lexerState => Show (AlexState lexerState)

Methods

showsPrec :: Int -> AlexState lexerState -> ShowS

show :: AlexState lexerState -> String

showList :: [AlexState lexerState] -> ShowS

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