Hydrogen.Util.Parsec

Documentation

module Text.Parsec.Combinator

module Text.Parsec.Prim

module Text.Parsec.Pos

type Parser source result = source -> Either SomethingBad result

type SomethingBad = (SourcePos, [String])

type Tokens t = [(SourcePos, t)]

runTokenParser :: Stream a Identity t => ParsecT a () Identity b -> Parser a b

mkError :: ParseError -> Either SomethingBad b

sourceToken :: (Show t, Stream (Tokens t) m (SourcePos, t)) => (t -> Maybe a) -> ParsecT [(SourcePos, t)] u m a

manyBetween :: (Monad m, Stream s m t) => ParsecT s u m open -> ParsecT s u m close -> ParsecT s u m p -> ParsecT s u m [p]

(>+>) :: Parser a b -> Parser b c -> Parser a c

(<+<) :: Parser b c -> Parser a b -> Parser a c