Text.Gigaparsec.Token.Errors

Documentation

data ErrorConfig

labelNumericBreakChar :: ErrorConfig -> LabelWithExplainConfig

labelIntegerUnsignedDecimal :: ErrorConfig -> Maybe Bits -> LabelWithExplainConfig

labelIntegerUnsignedHexadecimal :: ErrorConfig -> Maybe Bits -> LabelWithExplainConfig

labelIntegerUnsignedOctal :: ErrorConfig -> Maybe Bits -> LabelWithExplainConfig

labelIntegerUnsignedBinary :: ErrorConfig -> Maybe Bits -> LabelWithExplainConfig

labelIntegerUnsignedNumber :: ErrorConfig -> Maybe Bits -> LabelWithExplainConfig

labelIntegerSignedDecimal :: ErrorConfig -> Maybe Bits -> LabelWithExplainConfig

labelIntegerSignedHexadecimal :: ErrorConfig -> Maybe Bits -> LabelWithExplainConfig

labelIntegerSignedOctal :: ErrorConfig -> Maybe Bits -> LabelWithExplainConfig

labelIntegerSignedBinary :: ErrorConfig -> Maybe Bits -> LabelWithExplainConfig

labelIntegerSignedNumber :: ErrorConfig -> Maybe Bits -> LabelWithExplainConfig

labelIntegerDecimalEnd :: ErrorConfig -> LabelConfig

labelIntegerHexadecimalEnd :: ErrorConfig -> LabelConfig

labelIntegerOctalEnd :: ErrorConfig -> LabelConfig

labelIntegerBinaryEnd :: ErrorConfig -> LabelConfig

labelIntegerNumberEnd :: ErrorConfig -> LabelConfig

filterIntegerOutOfBounds :: ErrorConfig -> Integer -> Integer -> Int -> FilterConfig Integer

labelNameIdentifier :: ErrorConfig -> String

labelNameOperator :: ErrorConfig -> String

unexpectedNameIllegalIdentifier :: ErrorConfig -> String -> String

unexpectedNameIllegalOperator :: ErrorConfig -> String -> String

filterNameIllFormedIdentifier :: ErrorConfig -> FilterConfig String

filterNameIllFormedOperator :: ErrorConfig -> FilterConfig String

labelCharAscii :: ErrorConfig -> LabelWithExplainConfig

labelCharLatin1 :: ErrorConfig -> LabelWithExplainConfig

labelCharUnicode :: ErrorConfig -> LabelWithExplainConfig

labelCharAsciiEnd :: ErrorConfig -> LabelConfig

labelCharLatin1End :: ErrorConfig -> LabelConfig

labelCharUnicodeEnd :: ErrorConfig -> LabelConfig

labelStringAscii :: ErrorConfig -> Bool -> Bool -> LabelWithExplainConfig

labelStringLatin1 :: ErrorConfig -> Bool -> Bool -> LabelWithExplainConfig

labelStringUnicode :: ErrorConfig -> Bool -> Bool -> LabelWithExplainConfig

labelStringAsciiEnd :: ErrorConfig -> Bool -> Bool -> LabelConfig

labelStringLatin1End :: ErrorConfig -> Bool -> Bool -> LabelConfig

labelStringUnicodeEnd :: ErrorConfig -> Bool -> Bool -> LabelConfig

labelStringCharacter :: ErrorConfig -> LabelConfig

labelGraphicCharacter :: ErrorConfig -> LabelWithExplainConfig

labelEscapeSequence :: ErrorConfig -> LabelWithExplainConfig

labelEscapeNumeric :: ErrorConfig -> Int -> LabelWithExplainConfig

labelEscapeNumericEnd :: ErrorConfig -> Char -> Int -> LabelWithExplainConfig

labelEscapeEnd :: ErrorConfig -> LabelWithExplainConfig

labelStringEscapeEmpty :: ErrorConfig -> LabelConfig

labelStringEscapeGap :: ErrorConfig -> LabelConfig

labelStringEscapeGapEnd :: ErrorConfig -> LabelConfig

filterCharNonAscii :: ErrorConfig -> VanillaFilterConfig Char

filterCharNonLatin1 :: ErrorConfig -> VanillaFilterConfig Char

filterStringNonAscii :: ErrorConfig -> SpecializedFilterConfig String

filterStringNonLatin1 :: ErrorConfig -> SpecializedFilterConfig String

filterEscapeCharRequiresExactDigits :: ErrorConfig -> Int -> NonEmpty Word -> SpecializedFilterConfig Word

filterEscapeCharNumericSequenceIllegal :: ErrorConfig -> Char -> Int -> SpecializedFilterConfig Integer

verifiedCharBadCharsUsedInLiteral :: ErrorConfig -> VerifiedBadChars

verifiedStringBadCharsUsedInLiteral :: ErrorConfig -> VerifiedBadChars

labelSymbol :: ErrorConfig -> Map String LabelWithExplainConfig

labelSymbolEndOfKeyword :: ErrorConfig -> String -> String

labelSymbolEndOfOperator :: ErrorConfig -> String -> String

labelSpaceEndOfLineComment :: ErrorConfig -> LabelWithExplainConfig

labelSpaceEndOfMultiComment :: ErrorConfig -> LabelWithExplainConfig

defaultErrorConfig :: ErrorConfig

data LabelWithExplainConfig

Instances

ExplainConfigurable LabelWithExplainConfig

Defined in Text.Gigaparsec.Token.Errors

Methods

reason :: String -> LabelWithExplainConfig

LabelConfigurable LabelWithExplainConfig

Defined in Text.Gigaparsec.Token.Errors

Methods

label :: Set String -> LabelWithExplainConfig

hidden :: LabelWithExplainConfig

LabelWithExplainConfigurable LabelWithExplainConfig

Defined in Text.Gigaparsec.Token.Errors

Methods

labelAndReason :: Set String -> String -> LabelWithExplainConfig

NotConfigurable LabelWithExplainConfig

Defined in Text.Gigaparsec.Token.Errors

Methods

notConfigured :: LabelWithExplainConfig

class LabelWithExplainConfigurable config where

Methods

labelAndReason :: Set String -> String -> config

Instances

LabelWithExplainConfigurable LabelWithExplainConfig

Defined in Text.Gigaparsec.Token.Errors

Methods

labelAndReason :: Set String -> String -> LabelWithExplainConfig

data LabelConfig

Instances

LabelConfigurable LabelConfig

Defined in Text.Gigaparsec.Token.Errors

Methods

label :: Set String -> LabelConfig

hidden :: LabelConfig

NotConfigurable LabelConfig

Defined in Text.Gigaparsec.Token.Errors

Methods

notConfigured :: LabelConfig

class LabelConfigurable config where

Methods

label :: Set String -> config

hidden :: config

Instances

LabelConfigurable LabelConfig

Defined in Text.Gigaparsec.Token.Errors

Methods

label :: Set String -> LabelConfig

hidden :: LabelConfig

LabelConfigurable LabelWithExplainConfig

Defined in Text.Gigaparsec.Token.Errors

Methods

label :: Set String -> LabelWithExplainConfig

hidden :: LabelWithExplainConfig

data ExplainConfig

Instances

ExplainConfigurable ExplainConfig

Defined in Text.Gigaparsec.Token.Errors

Methods

reason :: String -> ExplainConfig

NotConfigurable ExplainConfig

Defined in Text.Gigaparsec.Token.Errors

Methods

notConfigured :: ExplainConfig

class ExplainConfigurable config where

Methods

reason :: String -> config

Instances

ExplainConfigurable ExplainConfig

Defined in Text.Gigaparsec.Token.Errors

Methods

reason :: String -> ExplainConfig

ExplainConfigurable LabelWithExplainConfig

Defined in Text.Gigaparsec.Token.Errors

Methods

reason :: String -> LabelWithExplainConfig

class NotConfigurable config where

Methods

notConfigured :: config

Instances

NotConfigurable ExplainConfig

Defined in Text.Gigaparsec.Token.Errors

Methods

notConfigured :: ExplainConfig

NotConfigurable LabelConfig

Defined in Text.Gigaparsec.Token.Errors

Methods

notConfigured :: LabelConfig

NotConfigurable LabelWithExplainConfig

Defined in Text.Gigaparsec.Token.Errors

Methods

notConfigured :: LabelWithExplainConfig

data FilterConfig a

Instances

BasicFilterConfigurable FilterConfig

Defined in Text.Gigaparsec.Token.Errors

Methods

basicFilter :: FilterConfig a

SpecializedFilterConfigurable FilterConfig

Defined in Text.Gigaparsec.Token.Errors

Methods

specializedFilter :: (a -> NonEmpty String) -> FilterConfig a

VanillaFilterConfigurable FilterConfig

Defined in Text.Gigaparsec.Token.Errors

Methods

unexpected :: (a -> String) -> FilterConfig a

because :: (a -> String) -> FilterConfig a

unexpectedBecause :: (a -> String) -> (a -> String) -> FilterConfig a

data VanillaFilterConfig a

Instances

BasicFilterConfigurable VanillaFilterConfig

Defined in Text.Gigaparsec.Token.Errors

Methods

basicFilter :: VanillaFilterConfig a

VanillaFilterConfigurable VanillaFilterConfig

Defined in Text.Gigaparsec.Token.Errors

Methods

unexpected :: (a -> String) -> VanillaFilterConfig a

because :: (a -> String) -> VanillaFilterConfig a

unexpectedBecause :: (a -> String) -> (a -> String) -> VanillaFilterConfig a

class VanillaFilterConfigurable config where

Methods

unexpected :: (a -> String) -> config a

because :: (a -> String) -> config a

unexpectedBecause :: (a -> String) -> (a -> String) -> config a

Instances

VanillaFilterConfigurable FilterConfig

Defined in Text.Gigaparsec.Token.Errors

Methods

unexpected :: (a -> String) -> FilterConfig a

because :: (a -> String) -> FilterConfig a

unexpectedBecause :: (a -> String) -> (a -> String) -> FilterConfig a

VanillaFilterConfigurable VanillaFilterConfig

Defined in Text.Gigaparsec.Token.Errors

Methods

unexpected :: (a -> String) -> VanillaFilterConfig a

because :: (a -> String) -> VanillaFilterConfig a

unexpectedBecause :: (a -> String) -> (a -> String) -> VanillaFilterConfig a

data SpecializedFilterConfig a

Instances

BasicFilterConfigurable SpecializedFilterConfig

Defined in Text.Gigaparsec.Token.Errors

Methods

basicFilter :: SpecializedFilterConfig a

SpecializedFilterConfigurable SpecializedFilterConfig

Defined in Text.Gigaparsec.Token.Errors

Methods

specializedFilter :: (a -> NonEmpty String) -> SpecializedFilterConfig a

class SpecializedFilterConfigurable config where

Methods

specializedFilter :: (a -> NonEmpty String) -> config a

Instances

SpecializedFilterConfigurable FilterConfig

Defined in Text.Gigaparsec.Token.Errors

Methods

specializedFilter :: (a -> NonEmpty String) -> FilterConfig a

SpecializedFilterConfigurable SpecializedFilterConfig

Defined in Text.Gigaparsec.Token.Errors

Methods

specializedFilter :: (a -> NonEmpty String) -> SpecializedFilterConfig a

class BasicFilterConfigurable config where

Methods

basicFilter :: config a

Instances

BasicFilterConfigurable FilterConfig

Defined in Text.Gigaparsec.Token.Errors

Methods

basicFilter :: FilterConfig a

BasicFilterConfigurable SpecializedFilterConfig

Defined in Text.Gigaparsec.Token.Errors

Methods

basicFilter :: SpecializedFilterConfig a

BasicFilterConfigurable VanillaFilterConfig

Defined in Text.Gigaparsec.Token.Errors

Methods

basicFilter :: VanillaFilterConfig a

data VerifiedBadChars

Instances

Unverified VerifiedBadChars

Defined in Text.Gigaparsec.Token.Errors

Methods

unverified :: VerifiedBadChars

badCharsFail :: Map Char (NonEmpty String) -> VerifiedBadChars

badCharsReason :: Map Char String -> VerifiedBadChars

class Unverified config where

Methods

unverified :: config

Instances

Unverified VerifiedBadChars

Defined in Text.Gigaparsec.Token.Errors

Methods

unverified :: VerifiedBadChars

data Bits

Constructors

B8

B16

B32

B64