Parser.Incremental

Documentation

type Process token result = Zip token (result :< ())

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 ()

run :: Process s a -> [s] -> (a, [String])

Run a process (in case you do not need the incremental interface)

mkProcess :: forall s a. Parser s a -> Process s a

Make a parser into a process.

profile :: Steps s r -> Profile

pushSyms :: forall s r. [s] -> Zip s r -> Zip s r

Push some symbols.

pushEof :: forall s r. Zip s r -> Zip s r

Push eof

evalL :: forall s output. Zip s output -> Zip s output

evalR :: Zip token (a :< rest) -> (a, [String])

feedZ :: Maybe [s] -> Zip s r -> Zip s r

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)

countWidth :: Zip s r -> Int

fullLog :: Zip s output -> ([String], Tree LogEntry)

data LogEntry

Constructors

LLog String

LEmpty

LDislike

LShift

LDone

LFail

LSusp

LS String

Instances

Show LogEntry

evalL' :: Zip s output -> Zip s output