Parsek

This module provides the Parsek library developed by Koen Claessen in his functional pearl article Parallel Parsing Processes, Journal of Functional Programming, 14(6), 741–757, Cambridge University Press, 2004:

http://www.cse.chalmers.se/edu/course/afp/Papers/parser-claessen.pdf

Copyright (C) 2003 Koen Claessen

This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.

This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.

PureFP.Parsers.Stream

Documentation

data Parser s a

Instances

Monad (Parser s)

Functor (Parser s)

MonadPlus (Parser s)

type Expect = [String]

type Unexpect = [String]

satisfy :: Show s => (s -> Bool) -> Parser s s

look :: Parser s [s]

succeeds :: Parser s a -> Parser s (Maybe a)

string :: (Eq s, Show s) => [s] -> Parser s [s]

char :: (Show t, Eq t) => t -> Parser t t

noneOf :: (Show a, Eq a) => [a] -> Parser a a

oneOf :: (Show a, Eq a) => [a] -> Parser a a

spaces :: Parser Char ()

space :: Parser Char Char

newline :: Parser Char Char

tab :: Parser Char Char

upper :: Parser Char Char

lower :: Parser Char Char

alphaNum :: Parser Char Char

letter :: Parser Char Char

digit :: Parser Char Char

hexDigit :: Parser Char Char

octDigit :: Parser Char Char

anyChar :: Parser s s

anySymbol :: Parser s s

munch :: (s -> Bool) -> Parser s [s]

munch1 :: Show s => (s -> Bool) -> Parser s [s]

label :: Parser s a -> String -> Parser s a

(<?>) :: Parser s a -> String -> Parser s a infix 0

pzero :: Parser s a

(<|>) :: Parser s a -> Parser s a -> Parser s a infixr 1

(<<|>) :: Parser s a -> Parser s a -> Parser s a infixr 1

try :: Parser s a -> Parser s a

choice :: [Parser s a] -> Parser s a

option :: a -> Parser s a -> Parser s a

optional :: Parser s a -> Parser s ()

between :: Parser s open -> Parser s close -> Parser s a -> Parser s a

count :: Int -> Parser s a -> Parser s [a]

chainl1 :: Parser s a -> Parser s (a -> a -> a) -> Parser s a

chainl :: Parser s a -> Parser s (a -> a -> a) -> a -> Parser s a

chainr1 :: Parser s a -> Parser s (a -> a -> a) -> Parser s a

chainr :: Parser s a -> Parser s (a -> a -> a) -> a -> Parser s a

skipMany1 :: Parser s a -> Parser s ()

skipMany :: Parser s a -> Parser s ()

many1 :: Parser s a -> Parser s [a]

many :: Parser s a -> Parser s [a]

sepBy1 :: Parser s a -> Parser s sep -> Parser s [a]

sepBy :: Parser s a -> Parser s sep -> Parser s [a]

type ParseMethod s a e r = P s a -> [s] -> ParseResult e r

type ParseResult e r = Either (e, Expect, Unexpect) r

parseFromFile :: Parser Char a -> ParseMethod Char a e r -> FilePath -> IO (ParseResult e r)

parse :: Parser s a -> ParseMethod s a e r -> [s] -> ParseResult e r

shortestResult :: ParseMethod s a (Maybe s) a

longestResult :: ParseMethod s a (Maybe s) a

longestResults :: ParseMethod s a (Maybe s) [a]

allResults :: ParseMethod s a (Maybe s) [a]

allResultsStaged :: ParseMethod s a (Maybe s) [[a]]

completeResults :: ParseMethod s a (Maybe s) [a]

shortestResultWithLeftover :: ParseMethod s a (Maybe s) (a, [s])

longestResultWithLeftover :: ParseMethod s a (Maybe s) (a, [s])

longestResultsWithLeftover :: ParseMethod s a (Maybe s) ([a], Maybe [s])

allResultsWithLeftover :: ParseMethod s a (Maybe s) [(a, [s])]

completeResultsWithLine :: ParseMethod Char a Int [a]