MissingH-1.1.0.1: Large utility library Source code Contents Index

Text.ParserCombinators.Parsec.Utils Portability portable Stability provisional Maintainer John Goerzen <[email protected]>

Contents Generalized Utilities Other Utilities

Description

Written by John Goerzen, [email protected]

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.6.0