Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
data ErrorConfig Source #
filterIntegerOutOfBounds :: ErrorConfig -> Integer -> Integer -> Int -> FilterConfig Integer Source #
labelStringAscii :: ErrorConfig -> Bool -> Bool -> LabelWithExplainConfig Source #
labelStringLatin1 :: ErrorConfig -> Bool -> Bool -> LabelWithExplainConfig Source #
labelStringUnicode :: ErrorConfig -> Bool -> Bool -> LabelWithExplainConfig Source #
labelStringAsciiEnd :: ErrorConfig -> Bool -> Bool -> LabelConfig Source #
labelStringLatin1End :: ErrorConfig -> Bool -> Bool -> LabelConfig Source #
labelStringUnicodeEnd :: ErrorConfig -> Bool -> Bool -> LabelConfig Source #
labelEscapeNumericEnd :: ErrorConfig -> Char -> Int -> LabelWithExplainConfig Source #
filterEscapeCharRequiresExactDigits :: ErrorConfig -> Int -> NonEmpty Word -> SpecializedFilterConfig Word Source #
filterEscapeCharNumericSequenceIllegal :: ErrorConfig -> Char -> Int -> SpecializedFilterConfig Integer Source #
labelSymbolEndOfKeyword :: ErrorConfig -> String -> String Source #
labelSymbolEndOfOperator :: ErrorConfig -> String -> String Source #
data LabelWithExplainConfig Source #
Instances
class LabelWithExplainConfigurable config where Source #
Instances
data LabelConfig Source #
Instances
LabelConfigurable LabelConfig Source # | |
Defined in Text.Gigaparsec.Token.Errors label :: Set String -> LabelConfig Source # hidden :: LabelConfig Source # | |
NotConfigurable LabelConfig Source # | |
Defined in Text.Gigaparsec.Token.Errors |
class LabelConfigurable config where Source #
Instances
LabelConfigurable LabelConfig Source # | |
Defined in Text.Gigaparsec.Token.Errors label :: Set String -> LabelConfig Source # hidden :: LabelConfig Source # | |
LabelConfigurable LabelWithExplainConfig Source # | |
Defined in Text.Gigaparsec.Token.Errors |
data ExplainConfig Source #
Instances
ExplainConfigurable ExplainConfig Source # | |
Defined in Text.Gigaparsec.Token.Errors reason :: String -> ExplainConfig Source # | |
NotConfigurable ExplainConfig Source # | |
Defined in Text.Gigaparsec.Token.Errors |
class ExplainConfigurable config where Source #
Instances
class NotConfigurable config where Source #
notConfigured :: config Source #
Instances
data FilterConfig a Source #
Instances
BasicFilterConfigurable FilterConfig Source # | |
Defined in Text.Gigaparsec.Token.Errors basicFilter :: FilterConfig a Source # | |
SpecializedFilterConfigurable FilterConfig Source # | |
Defined in Text.Gigaparsec.Token.Errors specializedFilter :: (a -> NonEmpty String) -> FilterConfig a Source # | |
VanillaFilterConfigurable FilterConfig Source # | |
Defined in Text.Gigaparsec.Token.Errors unexpected :: (a -> String) -> FilterConfig a Source # because :: (a -> String) -> FilterConfig a Source # unexpectedBecause :: (a -> String) -> (a -> String) -> FilterConfig a Source # |
data VanillaFilterConfig a Source #
Instances
BasicFilterConfigurable VanillaFilterConfig Source # | |
Defined in Text.Gigaparsec.Token.Errors | |
VanillaFilterConfigurable VanillaFilterConfig Source # | |
Defined in Text.Gigaparsec.Token.Errors unexpected :: (a -> String) -> VanillaFilterConfig a Source # because :: (a -> String) -> VanillaFilterConfig a Source # unexpectedBecause :: (a -> String) -> (a -> String) -> VanillaFilterConfig a Source # |
class VanillaFilterConfigurable (config :: Type -> Type) where Source #
unexpected :: (a -> String) -> config a Source #
because :: (a -> String) -> config a Source #
unexpectedBecause :: (a -> String) -> (a -> String) -> config a Source #
Instances
VanillaFilterConfigurable FilterConfig Source # | |
Defined in Text.Gigaparsec.Token.Errors unexpected :: (a -> String) -> FilterConfig a Source # because :: (a -> String) -> FilterConfig a Source # unexpectedBecause :: (a -> String) -> (a -> String) -> FilterConfig a Source # | |
VanillaFilterConfigurable VanillaFilterConfig Source # | |
Defined in Text.Gigaparsec.Token.Errors unexpected :: (a -> String) -> VanillaFilterConfig a Source # because :: (a -> String) -> VanillaFilterConfig a Source # unexpectedBecause :: (a -> String) -> (a -> String) -> VanillaFilterConfig a Source # |
data SpecializedFilterConfig a Source #
Instances
class SpecializedFilterConfigurable (config :: Type -> Type) where Source #
specializedFilter :: (a -> NonEmpty String) -> config a Source #
Instances
SpecializedFilterConfigurable FilterConfig Source # | |
Defined in Text.Gigaparsec.Token.Errors specializedFilter :: (a -> NonEmpty String) -> FilterConfig a Source # | |
SpecializedFilterConfigurable SpecializedFilterConfig Source # | |
Defined in Text.Gigaparsec.Token.Errors specializedFilter :: (a -> NonEmpty String) -> SpecializedFilterConfig a Source # |
class BasicFilterConfigurable (config :: Type -> Type) where Source #
basicFilter :: config a Source #
Instances
data VerifiedBadChars Source #
Instances
badCharsFail :: Map Char (NonEmpty String) -> VerifiedBadChars Source #