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)

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]

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

Methods

showsPrec :: Int -> LogEntry -> ShowS

show :: LogEntry -> String

showList :: [LogEntry] -> ShowS

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