Text.Syntax.Parser.List.Lazy

This module includes a lazy parser implementation for Text.Syntax.Poly.

Syntax instance Parser type

data Parser tok alpha

Naive Parser type. Parse [tok] into alpha.

Instances

Eq tok => Syntax tok (Parser tok)

Monad (Parser tok)

Functor (Parser tok)

Applicative (Parser tok)

Alternative (Parser tok)

MonadPlus (Parser tok)

TryAlternative (Parser tok)

runParser :: Parser tok alpha -> [tok] -> ErrorStack -> Either ErrorStack (alpha, [tok])

Function to run parser

type ErrorStack = [ErrorString]

Type to store error state

Poly- morphic wrapper of runParser

runAsParser :: Eq tok => RunAsParser tok a ErrorStack

Run Syntax as Parser tok.