| MissingH-1.1.0.3: Large utility library | Source code | Contents | Index

Text.ParserCombinators.Parsec.Utils

Portability | portable
Stability | provisional
Maintainer | John Goerzen <jgoerzen@complete.org>

Contents

Generalized Utilities
Other Utilities

Description
Written by John Goerzen, jgoerzen@complete.org
Synopsis

type GeneralizedToken a = (SourcePos, a)
type GeneralizedTokenParser a st b = GenParser (GeneralizedToken a) st b
togtok :: a -> GenParser b st (GeneralizedToken a)
tokeng :: Show a => (a -> Maybe b) -> GeneralizedTokenParser a st b
satisfyg :: Show a => (a -> Bool) -> GeneralizedTokenParser a st a
oneOfg :: (Eq a, Show a) => [a] -> GeneralizedTokenParser a st a
noneOfg :: (Eq a, Show a) => [a] -> GeneralizedTokenParser a st a
specificg :: (Eq a, Show a) => a -> GeneralizedTokenParser a st a
allg :: Show a => GeneralizedTokenParser a st [a]
notMatching :: GenParser a b c -> String -> GenParser a b ()

Generalized Utilities
These functions are generalized versions of ones you might see in the Char parser.

type GeneralizedToken a = (SourcePos, a) | Source

type GeneralizedTokenParser a st b = GenParser (GeneralizedToken a) st b | Source

togtok :: a -> GenParser b st (GeneralizedToken a) | Source

Generate (return) a `GeneralizedToken`.

tokeng :: Show a => (a -> Maybe b) -> GeneralizedTokenParser a st b | Source

Retrieve the next token from a `GeneralizedToken` stream. The given function should return the value to use, or Nothing to cause an error.

satisfyg :: Show a => (a -> Bool) -> GeneralizedTokenParser a st a | Source

A shortcut to `tokeng`; the test here is just a function that returns a Bool. If the result is true; return that value -- otherwise, an error.

oneOfg :: (Eq a, Show a) => [a] -> GeneralizedTokenParser a st a | Source

Matches one item in a list and returns it.

noneOfg :: (Eq a, Show a) => [a] -> GeneralizedTokenParser a st a | Source

Matches one item not in a list and returns it.

specificg :: (Eq a, Show a) => a -> GeneralizedTokenParser a st a | Source

Matches one specific token and returns it.

allg :: Show a => GeneralizedTokenParser a st [a] | Source

Matches all items and returns them
Other Utilities

notMatching :: GenParser a b c -> String -> GenParser a b () | Source

Running `notMatching p msg` will try to apply parser p. If it fails, returns (). If it succeds, cause a failure and raise the given error message. It will not consume input in either case.
Produced by Haddock version 2.4.2