ParseLib.Error

configuration

data Config

Constructors

Config

Fields

• errorCount :: Int

  upper limit of positions where to collect errors from. a value of zero turns off error reporting. a negative value causes all errors to be reported.

• symbolsBefore :: Int

  upper limit of symbols to show before the offending symbol

• symbolsAfter :: Int

  upper limit of symbols to show after the offending symbol

Instances

Show Config

Defined in ParseLib.Error

Methods

showsPrec :: Int -> Config -> ShowS

show :: Config -> String

showList :: [Config] -> ShowS

Eq Config

Defined in ParseLib.Error

Methods

(==) :: Config -> Config -> Bool

(/=) :: Config -> Config -> Bool

Ord Config

Defined in ParseLib.Error

Methods

compare :: Config -> Config -> Ordering

(<) :: Config -> Config -> Bool

(<=) :: Config -> Config -> Bool

(>) :: Config -> Config -> Bool

(>=) :: Config -> Config -> Bool

max :: Config -> Config -> Config

min :: Config -> Config -> Config

defaultConfig :: Config

default configuration, setting errorCount to 1, symbolsBefore to 16, and symbolsAfter to 15.

errorCountSet

Arguments

:: Int

new errorCount

-> Config

-> Config

set a configuration's errorCount

symbolsBeforeSet

Arguments

:: Int

new symbolsBefore

-> Config

-> Config

set a configuration's symbolsBefore

symbolsAfterSet

Arguments

:: Int

new symbolsAfter

-> Config

-> Config

set a configuration's symbolsAfter

parse error bundle

newtype ParseErrorBundle symbols

Constructors

ParseErrorBundle [(WithLength symbols, NonEmpty (BundledParseError symbols))]

Instances

Show symbols => Show (ParseErrorBundle symbols)

Defined in ParseLib.Error

Methods

showsPrec :: Int -> ParseErrorBundle symbols -> ShowS

show :: ParseErrorBundle symbols -> String

showList :: [ParseErrorBundle symbols] -> ShowS

Eq symbols => Eq (ParseErrorBundle symbols)

Defined in ParseLib.Error

Methods

(==) :: ParseErrorBundle symbols -> ParseErrorBundle symbols -> Bool

(/=) :: ParseErrorBundle symbols -> ParseErrorBundle symbols -> Bool

Ord symbols => Ord (ParseErrorBundle symbols)

Defined in ParseLib.Error

Methods

compare :: ParseErrorBundle symbols -> ParseErrorBundle symbols -> Ordering

(<) :: ParseErrorBundle symbols -> ParseErrorBundle symbols -> Bool

(<=) :: ParseErrorBundle symbols -> ParseErrorBundle symbols -> Bool

(>) :: ParseErrorBundle symbols -> ParseErrorBundle symbols -> Bool

(>=) :: ParseErrorBundle symbols -> ParseErrorBundle symbols -> Bool

max :: ParseErrorBundle symbols -> ParseErrorBundle symbols -> ParseErrorBundle symbols

min :: ParseErrorBundle symbols -> ParseErrorBundle symbols -> ParseErrorBundle symbols

data BundledParseError symbols

Constructors

BundledParseError symbols

expected

BundledFail String

message

Instances

Show symbols => Show (BundledParseError symbols)

Defined in ParseLib.Error

Methods

showsPrec :: Int -> BundledParseError symbols -> ShowS

show :: BundledParseError symbols -> String

showList :: [BundledParseError symbols] -> ShowS

Eq symbols => Eq (BundledParseError symbols)

Defined in ParseLib.Error

Methods

(==) :: BundledParseError symbols -> BundledParseError symbols -> Bool

(/=) :: BundledParseError symbols -> BundledParseError symbols -> Bool

Ord symbols => Ord (BundledParseError symbols)

Defined in ParseLib.Error

Methods

compare :: BundledParseError symbols -> BundledParseError symbols -> Ordering

(<) :: BundledParseError symbols -> BundledParseError symbols -> Bool

(<=) :: BundledParseError symbols -> BundledParseError symbols -> Bool

(>) :: BundledParseError symbols -> BundledParseError symbols -> Bool

(>=) :: BundledParseError symbols -> BundledParseError symbols -> Bool

max :: BundledParseError symbols -> BundledParseError symbols -> BundledParseError symbols

min :: BundledParseError symbols -> BundledParseError symbols -> BundledParseError symbols

data WithLength a

Constructors

WithLength a Int

Instances

Show a => Show (WithLength a)

Defined in ParseLib.Error

Methods

showsPrec :: Int -> WithLength a -> ShowS

show :: WithLength a -> String

showList :: [WithLength a] -> ShowS

Eq a => Eq (WithLength a)

Defined in ParseLib.Error

Methods

(==) :: WithLength a -> WithLength a -> Bool

(/=) :: WithLength a -> WithLength a -> Bool

Ord a => Ord (WithLength a)

Defined in ParseLib.Error

Methods

compare :: WithLength a -> WithLength a -> Ordering

(<) :: WithLength a -> WithLength a -> Bool

(<=) :: WithLength a -> WithLength a -> Bool

(>) :: WithLength a -> WithLength a -> Bool

(>=) :: WithLength a -> WithLength a -> Bool

max :: WithLength a -> WithLength a -> WithLength a

min :: WithLength a -> WithLength a -> WithLength a

pretty printing parse error bundles

class Show symbol => ErrorsPretty symbol where

Methods

errorBundlePrettyImproved

Arguments

:: Config

-> [symbol]

entire input

-> ParseErrorBundle [symbol]

-> String

pretty prints a ParseErrorBundle like errorBundlePretty but makes error messages bearable for Parser Char. errorBundlePrettyImproved is always preferable to errorBundlePretty.

if you see the following GHC error, you usually need to add an ErrorsPretty constraint to your function.

Overlapping instances for ErrorsPretty
arising from a use of ‘errorBundlePrettyImproved’

Instances

ErrorsPretty Char

Defined in ParseLib.Error

Methods

errorBundlePrettyImproved :: Config -> [Char] -> ParseErrorBundle [Char] -> String

(Show symbol, Ord symbol) => ErrorsPretty symbol

an ErrorsPretty constraint is automatically fulfilled by Show instances.

Defined in ParseLib.Error

Methods

errorBundlePrettyImproved :: Config -> [symbol] -> ParseErrorBundle [symbol] -> String

errorBundlePretty

Arguments

:: (Ord symbol, Show symbol)

=> Config

-> [symbol]

entire input

-> ParseErrorBundle [symbol]

-> String

pretty prints a ParseErrorBundle like errorBundlePrettyImproved but with much worse error messages for Parser Char. errorBundlePrettyImproved is always preferable to errorBundlePretty.

traceErrorMessage :: Either String (NonEmpty (a, [s])) -> [(a, [s])]

returns [] in the case of Left and prints the String to standard error (stderr) using trace.

unbundled parse error

data ParseError symbols

Constructors

ParseError

Fields

• symbols

  expected

• symbols

  actual

Fail

Fields

• String

  message

• symbols

  actual

Instances

Eq symbols => Eq (ParseError symbols)

Defined in ParseLib.Error

Methods

(==) :: ParseError symbols -> ParseError symbols -> Bool

(/=) :: ParseError symbols -> ParseError symbols -> Bool

toBundle :: Ord s => [ParseError [s]] -> [(WithLength [s], NonEmpty (BundledParseError [s]))]

utilities

toMegaparsecBundle :: Ord s => [s] -> ParseErrorBundle [s] -> Maybe (ParseErrorBundle [s] Void)

toMegaparsecBundled :: Ord s => Int -> (WithLength [s], NonEmpty (BundledParseError [s])) -> [ParseError [s] Void]

toErrorItem :: [s] -> ErrorItem (Token [s])

toBundled :: ParseError symbols -> BundledParseError symbols

inputRestGet :: ParseError symbols -> symbols

groupWithKey :: Ord b => (a -> b) -> [a] -> [(b, NonEmpty a)]