Modulepolyparse-1.13.1Haskell2010

Text.ParserCombinators.HuttonMeijer

A LIBRARY OF MONADIC PARSER COMBINATORS

29th July 1996

Graham Hutton Erik Meijer University of Nottingham University of Utrecht

This Haskell script defines a library of parser combinators, and is taken from sections 1-6 of our article "Monadic Parser Combinators". Some changes to the library have been made in the move from Gofer to Haskell:

Do notation is used in place of monad comprehension notation;
The parser datatype is defined using "newtype", to avoid the overhead of tagging and untagging parsers with the P constructor.

1 type
34 values

Packagepolyparse-1.13.1
Exports35
LanguageHaskell2010
LicenceLicenseRef-LGPL
SourceHuttonMeijer.hs

newtypenewtype Parser a

The parser monad

Constructors

P ([Token] -> [(a, [Token])])

Instances6Monad, Functor, MonadFail, Applicative, Alternative, MonadPlus

Monad ParserDefined in polyparse-1.13.1 · Text.ParserCombinators.HuttonMeijer
Functor ParserDefined in polyparse-1.13.1 · Text.ParserCombinators.HuttonMeijer
MonadFail ParserDefined in polyparse-1.13.1 · Text.ParserCombinators.HuttonMeijer
Applicative ParserDefined in polyparse-1.13.1 · Text.ParserCombinators.HuttonMeijer
Alternative ParserDefined in polyparse-1.13.1 · Text.ParserCombinators.HuttonMeijer
MonadPlus ParserDefined in polyparse-1.13.1 · Text.ParserCombinators.HuttonMeijer

valueitem :: Parser Token

valuefirst :: Parser a -> Parser a

valuepapply :: Parser a -> [Token] -> [(a, [Token])]

value(+++) :: Parser a -> Parser a -> Parser a

valuesat :: (Token -> Bool) -> Parser Token

valuemany :: Parser a -> Parser [a]

valuemany1 :: Parser a -> Parser [a]

valuesepby :: Parser a -> Parser b -> Parser [a]

valuesepby1 :: Parser a -> Parser b -> Parser [a]

valuechainl :: Parser a -> Parser (a -> a -> a) -> a -> Parser a

valuechainl1 :: Parser a -> Parser (a -> a -> a) -> Parser a

valuechainr :: Parser a -> Parser (a -> a -> a) -> a -> Parser a

valuechainr1 :: Parser a -> Parser (a -> a -> a) -> Parser a

valueops :: [(Parser a, b)] -> Parser b

valuebracket :: Parser a -> Parser b -> Parser c -> Parser b

valuechar :: Char -> Parser Char

valuedigit :: Parser Char

valuelower :: Parser Char

valueupper :: Parser Char

valueletter :: Parser Char

valuealphanum :: Parser Char

valuestring :: String -> Parser String

valueident :: Parser String

valuenat :: Parser Int

valueint :: Parser Int

valuespaces :: Parser ()

valuecomment :: Parser ()

valuejunk :: Parser ()

valueskip :: Parser a -> Parser a

valuetoken :: Parser a -> Parser a

valuenatural :: Parser Int

valueinteger :: Parser Int

valuesymbol :: String -> Parser String

valueidentifier :: [String] -> Parser String