Module ParserComb

This module provides some simple parser combinators.

Author: Jan Tikovsky (with changes by Niels Bunkenburg)

Version: May 2021

Summary of exported operations:

eof :: Parser a b  Deterministic 
unexpected :: Show a => a -> Parser a b  Deterministic 
terminal :: (Eq a, Show a) => a -> Parser a ()  Deterministic 

Exported datatypes:


Parser

Constructors:

  • Parser :: ([a] -> Either String ([a],b)) -> Parser a b

    Fields:

    • runParser :: ([a] -> Either String ([a],b))

Exported operations:

eof :: Parser a b  Deterministic 

unexpected :: Show a => a -> Parser a b  Deterministic 

terminal :: (Eq a, Show a) => a -> Parser a ()  Deterministic