Language.Grammars.Murder.UUParsing

Documentation

type Parser a = P (Str Char String LineCol) a

pInt :: Parser Int

pChr :: Parser Char

pVar' :: Parser String

pVar :: Set String -> Parser String

pCon' :: Parser String

pCon :: Set String -> Parser String

pIdChar :: Parser Char

pOp :: Parser String

pTerm :: String -> Parser String

pAnyExcept :: [Char] -> Parser Char

pSpaces' :: Parser String

lc2Pos :: LineCol -> Pos

newtype Const f a s

Constructors

C

Fields

unC :: f a

compile :: Grammar a -> Parser a

The function compile generates a parser out of a closed grammar

compileKws :: Set String -> Grammar a -> Parser a

The function compileKws generates a parser out of a closed grammar, restricting the identifiers to not belong to the list of reserved words

mapEnv :: (forall a. f a s -> g a s) -> Env f s env -> Env g s env

generate :: Set String -> Grammar a -> Parser a

data ParseResult a

Constructors

Ok a

Rep a [Error LineCol]

Instances

Show a => Show (ParseResult a)

nuberror :: Error a -> Error a

parse :: Parser a -> String -> ParseResult a

The function parse runs the parser for an input.