Text.Megaparsec.Compat

Compatibility module to bridge the gap between megaparsec-5 and megaparsec-6

Import this instead of Text.Megaparsec, Text.Megaparsec.Char and Text.Megaparsec.Text

Re-exports

module Text.Megaparsec.Char

module Text.Megaparsec

Compatibility reimplementations

type Parser = Parsec Dec Text

Same as the type in Text.Megaparsec.Text from megaparsec-5

type Dec = Void

Custom error type for when no custom errors are needed

string :: MonadParsec e s m => Tokens s -> m (Tokens s)

Reimplementation of string, but specialized to Text.

Custom error handling

data CustomError e

Custom error type that mimics FancyError of megaparsec-6 but retains information about unexpected and expected tokens.

Instances

Eq e => Eq (CustomError e)

Methods

(==) :: CustomError e -> CustomError e -> Bool

(/=) :: CustomError e -> CustomError e -> Bool

Ord e => Ord (CustomError e)

Methods

compare :: CustomError e -> CustomError e -> Ordering

(<) :: CustomError e -> CustomError e -> Bool

(<=) :: CustomError e -> CustomError e -> Bool

(>) :: CustomError e -> CustomError e -> Bool

(>=) :: CustomError e -> CustomError e -> Bool

max :: CustomError e -> CustomError e -> CustomError e

min :: CustomError e -> CustomError e -> CustomError e

Show e => Show (CustomError e)

Methods

showsPrec :: Int -> CustomError e -> ShowS

show :: CustomError e -> String

showList :: [CustomError e] -> ShowS

ShowErrorComponent e => ShowErrorComponent (CustomError e)

Methods

showErrorComponent :: CustomError e -> String

mkCustomError :: SourcePos -> e -> ParseError t (CustomError e)

Wrap a custom error type into a ParseError.

addCustomError :: Ord e => ParseError Char (CustomError e) -> e -> ParseError Char (CustomError e)

Add a custom error to an already existing error.

This retains the original information such as expected and unexpected tokens as well as the source position.

Additional helpers

parseWithStart :: (Stream s, Ord e) => Parsec e s a -> SourcePos -> s -> Either (ParseError (Token s) e) a

Like parse, but start at a specific source position instead of 0.