Text.PariPari

Documentation

class (MonadFail p, MonadPlus p, Chunk k) => ChunkParser k p | p -> k where

Parser class, which specifies the necessary primitives for parsing. All other parser combinators rely on these primitives.

Minimal complete definition

getFile, getPos, getRefPos, withRefPos, notFollowedBy, lookAhead, failWith, eof, label, hidden, commit, element, elementSatisfy, chunk, asChunk

Methods

getFile :: p FilePath

Get file name associated with current parser

getPos :: p Pos

Get current position of the parser

getRefPos :: p Pos

Get reference position used for indentation-sensitive parsing

withRefPos :: p a -> p a

Update reference position with current position

notFollowedBy :: Show a => p a -> p ()

Parser which succeeds when the given parser fails

lookAhead :: p a -> p a

Look ahead and return result of the given parser The current position stays the same.

failWith :: Error -> p a

Parser failure with detailled Error

eof :: p ()

Parser which succeeds at the end of file

label :: String -> p a -> p a

Annotate the given parser with a label used for error reporting

hidden :: p a -> p a

Hide errors occurring within the given parser from the error report. Based on the given labels an Error is constructed instead.

commit :: p a -> p a

Commit to the given branch, increasing the priority of the errors within this branch in contrast to other branches.

This is basically the opposite of the try combinator provided by other parser combinator libraries, which decreases the error priority within the given branch (and usually also influences backtracking).

Note: commit only applies to the reported errors, it has no effect on the backtracking behavior of the parser.

element :: Element k -> p (Element k)

Parse a single element

elementSatisfy :: (Element k -> Bool) -> p (Element k)

Parse a single byte with the given predicate

chunk :: k -> p k

Parse a chunk of elements. The chunk must not contain multiple lines, otherwise the position information will be invalid.

asChunk :: p () -> p k

Run the given parser and return the result as buffer

Instances

Chunk k => ChunkParser k (Acceptor k)

Defined in Text.PariPari.Internal.Acceptor

Methods

getFile :: Acceptor k FilePath

getPos :: Acceptor k Pos

getRefPos :: Acceptor k Pos

withRefPos :: Acceptor k a -> Acceptor k a

notFollowedBy :: Show a => Acceptor k a -> Acceptor k ()

lookAhead :: Acceptor k a -> Acceptor k a

failWith :: Error -> Acceptor k a

eof :: Acceptor k ()

label :: String -> Acceptor k a -> Acceptor k a

hidden :: Acceptor k a -> Acceptor k a

commit :: Acceptor k a -> Acceptor k a

element :: Element k -> Acceptor k (Element k)

elementSatisfy :: (Element k -> Bool) -> Acceptor k (Element k)

chunk :: k -> Acceptor k k

asChunk :: Acceptor k () -> Acceptor k k

Chunk k => ChunkParser k (Reporter k)

Defined in Text.PariPari.Internal.Reporter

Methods

getFile :: Reporter k FilePath

getPos :: Reporter k Pos

getRefPos :: Reporter k Pos

withRefPos :: Reporter k a -> Reporter k a

notFollowedBy :: Show a => Reporter k a -> Reporter k ()

lookAhead :: Reporter k a -> Reporter k a

failWith :: Error -> Reporter k a

eof :: Reporter k ()

label :: String -> Reporter k a -> Reporter k a

hidden :: Reporter k a -> Reporter k a

commit :: Reporter k a -> Reporter k a

element :: Element k -> Reporter k (Element k)

elementSatisfy :: (Element k -> Bool) -> Reporter k (Element k)

chunk :: k -> Reporter k k

asChunk :: Reporter k () -> Reporter k k

CharChunk k => ChunkParser k (Tracer k)

Defined in Text.PariPari.Internal.Tracer

Methods

getFile :: Tracer k FilePath

getPos :: Tracer k Pos

getRefPos :: Tracer k Pos

withRefPos :: Tracer k a -> Tracer k a

notFollowedBy :: Show a => Tracer k a -> Tracer k ()

lookAhead :: Tracer k a -> Tracer k a

failWith :: Error -> Tracer k a

eof :: Tracer k ()

label :: String -> Tracer k a -> Tracer k a

hidden :: Tracer k a -> Tracer k a

commit :: Tracer k a -> Tracer k a

element :: Element k -> Tracer k (Element k)

elementSatisfy :: (Element k -> Bool) -> Tracer k (Element k)

chunk :: k -> Tracer k k

asChunk :: Tracer k () -> Tracer k k

class (ChunkParser k p, CharChunk k) => CharParser k p | p -> k where

Minimal complete definition

char, satisfy, asciiByte, asciiSatisfy

Methods

char :: Char -> p Char

Parse a single character

Note: The character '\0' cannot be parsed using this combinator since it is used as decoding sentinel. Use element instead.

satisfy :: (Char -> Bool) -> p Char

Parse a single character with the given predicate

Note: The character '\0' cannot be parsed using this combinator since it is used as decoding sentinel. Use elementSatisfy instead.

asciiByte :: Word8 -> p Word8

Parse a single character within the ASCII charset

Note: The character '\0' cannot be parsed using this combinator since it is used as decoding sentinel. Use element instead.

asciiSatisfy :: (Word8 -> Bool) -> p Word8

Parse a single character within the ASCII charset with the given predicate

Note: The character '\0' cannot be parsed using this combinator since it is used as decoding sentinel. Use elementSatisfy instead.

Instances

CharChunk k => CharParser k (Acceptor k)

Defined in Text.PariPari.Internal.Acceptor

Methods

char :: Char -> Acceptor k Char

satisfy :: (Char -> Bool) -> Acceptor k Char

asciiByte :: Word8 -> Acceptor k Word8

asciiSatisfy :: (Word8 -> Bool) -> Acceptor k Word8

CharChunk k => CharParser k (Reporter k)

Defined in Text.PariPari.Internal.Reporter

Methods

char :: Char -> Reporter k Char

satisfy :: (Char -> Bool) -> Reporter k Char

asciiByte :: Word8 -> Reporter k Word8

asciiSatisfy :: (Word8 -> Bool) -> Reporter k Word8

CharChunk k => CharParser k (Tracer k)

Defined in Text.PariPari.Internal.Tracer

Methods

char :: Char -> Tracer k Char

satisfy :: (Char -> Bool) -> Tracer k Char

asciiByte :: Word8 -> Tracer k Word8

asciiSatisfy :: (Word8 -> Bool) -> Tracer k Word8

data Error

Parsing errors

Constructors

EInvalidUtf8

EExpected [String]

EUnexpected String

EFail String

ECombinator String

EIndentNotAligned !Int !Int

EIndentOverLine !Int !Int

ENotEnoughIndent !Int !Int

Instances

Eq Error

Defined in Text.PariPari.Internal.Class

Methods

(==) :: Error -> Error -> Bool

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

Ord Error

Defined in Text.PariPari.Internal.Class

Methods

compare :: Error -> Error -> Ordering

(<) :: Error -> Error -> Bool

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

(>) :: Error -> Error -> Bool

(>=) :: Error -> Error -> Bool

max :: Error -> Error -> Error

min :: Error -> Error -> Error

Show Error

Defined in Text.PariPari.Internal.Class

Methods

showsPrec :: Int -> Error -> ShowS

show :: Error -> String

showList :: [Error] -> ShowS

Generic Error

Defined in Text.PariPari.Internal.Class

Associated Types

type Rep Error :: * -> *

Methods

from :: Error -> Rep Error x

to :: Rep Error x -> Error

type Rep Error

Defined in Text.PariPari.Internal.Class

type Rep Error = D1 (MetaData "Error" "Text.PariPari.Internal.Class" "paripari-0.2.1.0-4FCwezXdBTxCCPjvUHBJSj" False) (((C1 (MetaCons "EInvalidUtf8" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "EExpected" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [String]))) :+: (C1 (MetaCons "EUnexpected" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: C1 (MetaCons "EFail" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))) :+: ((C1 (MetaCons "ECombinator" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: C1 (MetaCons "EIndentNotAligned" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int))) :+: (C1 (MetaCons "EIndentOverLine" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int)) :+: C1 (MetaCons "ENotEnoughIndent" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int)))))

showError :: Error -> String

Pretty string representation of Error

class (Ord (Element k), Ord k) => Chunk k where

Minimal complete definition

elementAt, elementPos, chunkWidth, chunkEqual, packChunk, unpackChunk, showElement, showChunk

Associated Types

type Element k

Methods

showElement :: Element k -> String

showChunk :: k -> String

Instances

Chunk ByteString

Defined in Text.PariPari.Internal.Chunk

Associated Types

type Element ByteString :: *

type Buffer ByteString :: *

Methods

elementAt :: Buffer ByteString -> Int -> (Element ByteString, Int)

elementPos :: Element ByteString -> Pos -> Pos

chunkWidth :: ByteString -> Int

chunkEqual :: Buffer ByteString -> Int -> ByteString -> Bool

packChunk :: Buffer ByteString -> Int -> Int -> ByteString

unpackChunk :: ByteString -> (Buffer ByteString, Int, Int)

showElement :: Element ByteString -> String

showChunk :: ByteString -> String

Chunk Text

Defined in Text.PariPari.Internal.Chunk

Associated Types

type Element Text :: *

type Buffer Text :: *

Methods

elementAt :: Buffer Text -> Int -> (Element Text, Int)

elementPos :: Element Text -> Pos -> Pos

chunkWidth :: Text -> Int

chunkEqual :: Buffer Text -> Int -> Text -> Bool

packChunk :: Buffer Text -> Int -> Int -> Text

unpackChunk :: Text -> (Buffer Text, Int, Int)

showElement :: Element Text -> String

showChunk :: Text -> String

class Chunk k => CharChunk k

Minimal complete definition

byteAt, charAt, charAtFixed, charWidth, textToChunk

Instances

CharChunk ByteString

Defined in Text.PariPari.Internal.Chunk

Methods

byteAt :: Buffer ByteString -> Int -> Word8

charAt :: Buffer ByteString -> Int -> (Char, Int)

charAtFixed :: Int -> Buffer ByteString -> Int -> Char

charWidth :: Char -> Int

textToChunk :: Text -> ByteString

CharChunk Text

Defined in Text.PariPari.Internal.Chunk

Methods

byteAt :: Buffer Text -> Int -> Word8

charAt :: Buffer Text -> Int -> (Char, Int)

charAtFixed :: Int -> Buffer Text -> Int -> Char

charWidth :: Char -> Int

textToChunk :: Text -> Text

data Pos

Line and column position starting at (1,1)

Constructors

Pos

Fields

• _posLine :: !Int
• _posColumn :: !Int

Instances

Eq Pos

Defined in Text.PariPari.Internal.Chunk

Methods

(==) :: Pos -> Pos -> Bool

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

Show Pos

Defined in Text.PariPari.Internal.Chunk

Methods

showsPrec :: Int -> Pos -> ShowS

show :: Pos -> String

showList :: [Pos] -> ShowS

Generic Pos

Defined in Text.PariPari.Internal.Chunk

Associated Types

type Rep Pos :: * -> *

Methods

from :: Pos -> Rep Pos x

to :: Rep Pos x -> Pos

type Rep Pos

Defined in Text.PariPari.Internal.Chunk

type Rep Pos = D1 (MetaData "Pos" "Text.PariPari.Internal.Chunk" "paripari-0.2.1.0-4FCwezXdBTxCCPjvUHBJSj" False) (C1 (MetaCons "Pos" PrefixI True) (S1 (MetaSel (Just "_posLine") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int) :*: S1 (MetaSel (Just "_posColumn") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int)))

runCharParser :: CharChunk k => (forall p. CharParser k p => p a) -> FilePath -> k -> Either Report a

Run fast Acceptor and slower Reporter on the given ByteString **in parallel**. The FilePath is used for error reporting. When the acceptor does not return successfully, the result from the reporter is awaited.

runSeqCharParser :: CharChunk k => (forall p. CharParser k p => p a) -> FilePath -> k -> Either Report a

Run fast Acceptor and slower Reporter on the given ByteString **sequentially**. The FilePath is used for error reporting. When the acceptor does not return successfully, the result from the reporter is awaited.

runCharParserWithOptions :: CharChunk k => ReportOptions -> (forall p. CharParser k p => p a) -> FilePath -> k -> Either Report a

Run parsers **in parallel** with additional ReportOptions.

runSeqCharParserWithOptions :: CharChunk k => ReportOptions -> (forall p. CharParser k p => p a) -> FilePath -> k -> Either Report a

Run parsers **sequentially** with additional ReportOptions.

runChunkParser :: CharChunk k => (forall p. ChunkParser k p => p a) -> FilePath -> k -> Either Report a

Run fast Acceptor and slower Reporter on the given ByteString **in parallel**. The FilePath is used for error reporting. When the acceptor does not return successfully, the result from the reporter is awaited.

runSeqChunkParser :: Chunk k => (forall p. ChunkParser k p => p a) -> FilePath -> k -> Either Report a

Run fast Acceptor and slower Reporter on the given ByteString **sequentially**. The FilePath is used for error reporting. When the acceptor does not return successfully, the result from the reporter is awaited.

runChunkParserWithOptions :: Chunk k => ReportOptions -> (forall p. ChunkParser k p => p a) -> FilePath -> k -> Either Report a

Run parsers **in parallel** with additional ReportOptions.

runSeqChunkParserWithOptions :: Chunk k => ReportOptions -> (forall p. ChunkParser k p => p a) -> FilePath -> k -> Either Report a

Run parsers **sequentially** with additional ReportOptions.

data Acceptor k a

Parser which is optimised for fast parsing. Error reporting is minimal.

Instances

CharChunk k => CharParser k (Acceptor k)

Defined in Text.PariPari.Internal.Acceptor

Methods

char :: Char -> Acceptor k Char

satisfy :: (Char -> Bool) -> Acceptor k Char

asciiByte :: Word8 -> Acceptor k Word8

asciiSatisfy :: (Word8 -> Bool) -> Acceptor k Word8

Chunk k => ChunkParser k (Acceptor k)

Defined in Text.PariPari.Internal.Acceptor

Methods

getFile :: Acceptor k FilePath

getPos :: Acceptor k Pos

getRefPos :: Acceptor k Pos

withRefPos :: Acceptor k a -> Acceptor k a

notFollowedBy :: Show a => Acceptor k a -> Acceptor k ()

lookAhead :: Acceptor k a -> Acceptor k a

failWith :: Error -> Acceptor k a

eof :: Acceptor k ()

label :: String -> Acceptor k a -> Acceptor k a

hidden :: Acceptor k a -> Acceptor k a

commit :: Acceptor k a -> Acceptor k a

element :: Element k -> Acceptor k (Element k)

elementSatisfy :: (Element k -> Bool) -> Acceptor k (Element k)

chunk :: k -> Acceptor k k

asChunk :: Acceptor k () -> Acceptor k k

Chunk k => Monad (Acceptor k)

Defined in Text.PariPari.Internal.Acceptor

Methods

(>>=) :: Acceptor k a -> (a -> Acceptor k b) -> Acceptor k b

(>>) :: Acceptor k a -> Acceptor k b -> Acceptor k b

return :: a -> Acceptor k a

fail :: String -> Acceptor k a

Functor (Acceptor k)

Defined in Text.PariPari.Internal.Acceptor

Methods

fmap :: (a -> b) -> Acceptor k a -> Acceptor k b

(<$) :: a -> Acceptor k b -> Acceptor k a

Chunk k => MonadFail (Acceptor k)

Defined in Text.PariPari.Internal.Acceptor

Methods

fail :: String -> Acceptor k a

Chunk k => Applicative (Acceptor k)

Defined in Text.PariPari.Internal.Acceptor

Methods

pure :: a -> Acceptor k a

(<*>) :: Acceptor k (a -> b) -> Acceptor k a -> Acceptor k b

liftA2 :: (a -> b -> c) -> Acceptor k a -> Acceptor k b -> Acceptor k c

(*>) :: Acceptor k a -> Acceptor k b -> Acceptor k b

(<*) :: Acceptor k a -> Acceptor k b -> Acceptor k a

Chunk k => Alternative (Acceptor k)

Defined in Text.PariPari.Internal.Acceptor

Methods

empty :: Acceptor k a

(<|>) :: Acceptor k a -> Acceptor k a -> Acceptor k a

some :: Acceptor k a -> Acceptor k [a]

many :: Acceptor k a -> Acceptor k [a]

Chunk k => MonadPlus (Acceptor k)

Defined in Text.PariPari.Internal.Acceptor

Methods

mzero :: Acceptor k a

mplus :: Acceptor k a -> Acceptor k a -> Acceptor k a

(Chunk k, Semigroup a) => Semigroup (Acceptor k a)

Defined in Text.PariPari.Internal.Acceptor

Methods

(<>) :: Acceptor k a -> Acceptor k a -> Acceptor k a

sconcat :: NonEmpty (Acceptor k a) -> Acceptor k a

stimes :: Integral b => b -> Acceptor k a -> Acceptor k a

(Chunk k, Monoid a) => Monoid (Acceptor k a)

Defined in Text.PariPari.Internal.Acceptor

Methods

mempty :: Acceptor k a

mappend :: Acceptor k a -> Acceptor k a -> Acceptor k a

mconcat :: [Acceptor k a] -> Acceptor k a

runAcceptor :: Chunk k => Acceptor k a -> FilePath -> k -> Either Error a

Run Acceptor on the given chunk, returning either a simple Error or, if successful, the result.

data Reporter k a

Parser which is optimised for good error reports. Performance is secondary, since the Reporter is used as a fallback to the Acceptor.

Instances

CharChunk k => CharParser k (Reporter k)

Defined in Text.PariPari.Internal.Reporter

Methods

char :: Char -> Reporter k Char

satisfy :: (Char -> Bool) -> Reporter k Char

asciiByte :: Word8 -> Reporter k Word8

asciiSatisfy :: (Word8 -> Bool) -> Reporter k Word8

Chunk k => ChunkParser k (Reporter k)

Defined in Text.PariPari.Internal.Reporter

Methods

getFile :: Reporter k FilePath

getPos :: Reporter k Pos

getRefPos :: Reporter k Pos

withRefPos :: Reporter k a -> Reporter k a

notFollowedBy :: Show a => Reporter k a -> Reporter k ()

lookAhead :: Reporter k a -> Reporter k a

failWith :: Error -> Reporter k a

eof :: Reporter k ()

label :: String -> Reporter k a -> Reporter k a

hidden :: Reporter k a -> Reporter k a

commit :: Reporter k a -> Reporter k a

element :: Element k -> Reporter k (Element k)

elementSatisfy :: (Element k -> Bool) -> Reporter k (Element k)

chunk :: k -> Reporter k k

asChunk :: Reporter k () -> Reporter k k

Chunk k => Monad (Reporter k)

Defined in Text.PariPari.Internal.Reporter

Methods

(>>=) :: Reporter k a -> (a -> Reporter k b) -> Reporter k b

(>>) :: Reporter k a -> Reporter k b -> Reporter k b

return :: a -> Reporter k a

fail :: String -> Reporter k a

Chunk k => Functor (Reporter k)

Defined in Text.PariPari.Internal.Reporter

Methods

fmap :: (a -> b) -> Reporter k a -> Reporter k b

(<$) :: a -> Reporter k b -> Reporter k a

Chunk k => MonadFail (Reporter k)

Defined in Text.PariPari.Internal.Reporter

Methods

fail :: String -> Reporter k a

Chunk k => Applicative (Reporter k)

Defined in Text.PariPari.Internal.Reporter

Methods

pure :: a -> Reporter k a

(<*>) :: Reporter k (a -> b) -> Reporter k a -> Reporter k b

liftA2 :: (a -> b -> c) -> Reporter k a -> Reporter k b -> Reporter k c

(*>) :: Reporter k a -> Reporter k b -> Reporter k b

(<*) :: Reporter k a -> Reporter k b -> Reporter k a

Chunk k => Alternative (Reporter k)

Defined in Text.PariPari.Internal.Reporter

Methods

empty :: Reporter k a

(<|>) :: Reporter k a -> Reporter k a -> Reporter k a

some :: Reporter k a -> Reporter k [a]

many :: Reporter k a -> Reporter k [a]

Chunk k => MonadPlus (Reporter k)

Defined in Text.PariPari.Internal.Reporter

Methods

mzero :: Reporter k a

mplus :: Reporter k a -> Reporter k a -> Reporter k a

(Chunk k, Semigroup a) => Semigroup (Reporter k a)

Defined in Text.PariPari.Internal.Reporter

Methods

(<>) :: Reporter k a -> Reporter k a -> Reporter k a

sconcat :: NonEmpty (Reporter k a) -> Reporter k a

stimes :: Integral b => b -> Reporter k a -> Reporter k a

(Chunk k, Monoid a) => Monoid (Reporter k a)

Defined in Text.PariPari.Internal.Reporter

Methods

mempty :: Reporter k a

mappend :: Reporter k a -> Reporter k a -> Reporter k a

mconcat :: [Reporter k a] -> Reporter k a

data Report

Constructors

Report

Fields

• _reportFile :: !FilePath
• _reportLine :: !Int
• _reportCol :: !Int
• _reportErrors :: [ErrorContext]

Instances

Eq Report

Defined in Text.PariPari.Internal.Reporter

Methods

(==) :: Report -> Report -> Bool

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

Show Report

Defined in Text.PariPari.Internal.Reporter

Methods

showsPrec :: Int -> Report -> ShowS

show :: Report -> String

showList :: [Report] -> ShowS

Generic Report

Defined in Text.PariPari.Internal.Reporter

Associated Types

type Rep Report :: * -> *

Methods

from :: Report -> Rep Report x

to :: Rep Report x -> Report

type Rep Report

Defined in Text.PariPari.Internal.Reporter

type Rep Report = D1 (MetaData "Report" "Text.PariPari.Internal.Reporter" "paripari-0.2.1.0-4FCwezXdBTxCCPjvUHBJSj" False) (C1 (MetaCons "Report" PrefixI True) ((S1 (MetaSel (Just "_reportFile") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 FilePath) :*: S1 (MetaSel (Just "_reportLine") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int)) :*: (S1 (MetaSel (Just "_reportCol") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int) :*: S1 (MetaSel (Just "_reportErrors") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ErrorContext]))))

data ErrorContext

Constructors

ErrorContext

Fields

• _ecErrors :: [Error]
• _ecContext :: [String]

Instances

Eq ErrorContext

Defined in Text.PariPari.Internal.Reporter

Methods

(==) :: ErrorContext -> ErrorContext -> Bool

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

Show ErrorContext

Defined in Text.PariPari.Internal.Reporter

Methods

showsPrec :: Int -> ErrorContext -> ShowS

show :: ErrorContext -> String

showList :: [ErrorContext] -> ShowS

Generic ErrorContext

Defined in Text.PariPari.Internal.Reporter

Associated Types

type Rep ErrorContext :: * -> *

Methods

from :: ErrorContext -> Rep ErrorContext x

to :: Rep ErrorContext x -> ErrorContext

type Rep ErrorContext

Defined in Text.PariPari.Internal.Reporter

type Rep ErrorContext = D1 (MetaData "ErrorContext" "Text.PariPari.Internal.Reporter" "paripari-0.2.1.0-4FCwezXdBTxCCPjvUHBJSj" False) (C1 (MetaCons "ErrorContext" PrefixI True) (S1 (MetaSel (Just "_ecErrors") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Error]) :*: S1 (MetaSel (Just "_ecContext") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [String])))

data ReportOptions

Constructors

ReportOptions

Fields

• _optMaxContexts :: !Int
• _optMaxErrorsPerContext :: !Int
• _optMaxLabelsPerContext :: !Int

Instances

Eq ReportOptions

Defined in Text.PariPari.Internal.Reporter

Methods

(==) :: ReportOptions -> ReportOptions -> Bool

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

Show ReportOptions

Defined in Text.PariPari.Internal.Reporter

Methods

showsPrec :: Int -> ReportOptions -> ShowS

show :: ReportOptions -> String

showList :: [ReportOptions] -> ShowS

Generic ReportOptions

Defined in Text.PariPari.Internal.Reporter

Associated Types

type Rep ReportOptions :: * -> *

Methods

from :: ReportOptions -> Rep ReportOptions x

to :: Rep ReportOptions x -> ReportOptions

type Rep ReportOptions

Defined in Text.PariPari.Internal.Reporter

type Rep ReportOptions = D1 (MetaData "ReportOptions" "Text.PariPari.Internal.Reporter" "paripari-0.2.1.0-4FCwezXdBTxCCPjvUHBJSj" False) (C1 (MetaCons "ReportOptions" PrefixI True) (S1 (MetaSel (Just "_optMaxContexts") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int) :*: (S1 (MetaSel (Just "_optMaxErrorsPerContext") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int) :*: S1 (MetaSel (Just "_optMaxLabelsPerContext") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int))))

runReporter :: Chunk k => Reporter k a -> FilePath -> k -> Either Report a

Run Reporter on the given ByteString, returning either an error Report or, if successful, the result.

showReport :: Report -> String

Pretty string representation of Report.

showErrors :: [ErrorContext] -> String

Pretty string representation of '[ErrorContext]'.

runReporterWithOptions :: Chunk k => ReportOptions -> Reporter k a -> FilePath -> k -> Either Report a

Run Reporter with additional ReportOptions.

defaultReportOptions :: ReportOptions

data Tracer k a

Parser which prints trace messages, when backtracking occurs.

Instances

CharChunk k => CharParser k (Tracer k)

Defined in Text.PariPari.Internal.Tracer

Methods

char :: Char -> Tracer k Char

satisfy :: (Char -> Bool) -> Tracer k Char

asciiByte :: Word8 -> Tracer k Word8

asciiSatisfy :: (Word8 -> Bool) -> Tracer k Word8

CharChunk k => ChunkParser k (Tracer k)

Defined in Text.PariPari.Internal.Tracer

Methods

getFile :: Tracer k FilePath

getPos :: Tracer k Pos

getRefPos :: Tracer k Pos

withRefPos :: Tracer k a -> Tracer k a

notFollowedBy :: Show a => Tracer k a -> Tracer k ()

lookAhead :: Tracer k a -> Tracer k a

failWith :: Error -> Tracer k a

eof :: Tracer k ()

label :: String -> Tracer k a -> Tracer k a

hidden :: Tracer k a -> Tracer k a

commit :: Tracer k a -> Tracer k a

element :: Element k -> Tracer k (Element k)

elementSatisfy :: (Element k -> Bool) -> Tracer k (Element k)

chunk :: k -> Tracer k k

asChunk :: Tracer k () -> Tracer k k

Chunk k => Monad (Tracer k)

Defined in Text.PariPari.Internal.Tracer

Methods

(>>=) :: Tracer k a -> (a -> Tracer k b) -> Tracer k b

(>>) :: Tracer k a -> Tracer k b -> Tracer k b

return :: a -> Tracer k a

fail :: String -> Tracer k a

Chunk k => Functor (Tracer k)

Defined in Text.PariPari.Internal.Tracer

Methods

fmap :: (a -> b) -> Tracer k a -> Tracer k b

(<$) :: a -> Tracer k b -> Tracer k a

Chunk k => MonadFail (Tracer k)

Defined in Text.PariPari.Internal.Tracer

Methods

fail :: String -> Tracer k a

Chunk k => Applicative (Tracer k)

Defined in Text.PariPari.Internal.Tracer

Methods

pure :: a -> Tracer k a

(<*>) :: Tracer k (a -> b) -> Tracer k a -> Tracer k b

liftA2 :: (a -> b -> c) -> Tracer k a -> Tracer k b -> Tracer k c

(*>) :: Tracer k a -> Tracer k b -> Tracer k b

(<*) :: Tracer k a -> Tracer k b -> Tracer k a

Chunk k => Alternative (Tracer k)

Defined in Text.PariPari.Internal.Tracer

Methods

empty :: Tracer k a

(<|>) :: Tracer k a -> Tracer k a -> Tracer k a

some :: Tracer k a -> Tracer k [a]

many :: Tracer k a -> Tracer k [a]

Chunk k => MonadPlus (Tracer k)

Defined in Text.PariPari.Internal.Tracer

Methods

mzero :: Tracer k a

mplus :: Tracer k a -> Tracer k a -> Tracer k a

(Chunk k, Semigroup a) => Semigroup (Tracer k a)

Defined in Text.PariPari.Internal.Tracer

Methods

(<>) :: Tracer k a -> Tracer k a -> Tracer k a

sconcat :: NonEmpty (Tracer k a) -> Tracer k a

stimes :: Integral b => b -> Tracer k a -> Tracer k a

(Chunk k, Monoid a) => Monoid (Tracer k a)

Defined in Text.PariPari.Internal.Tracer

Methods

mempty :: Tracer k a

mappend :: Tracer k a -> Tracer k a -> Tracer k a

mconcat :: [Tracer k a] -> Tracer k a

runTracer :: Chunk k => Tracer k a -> FilePath -> k -> Either Report a

Run Tracer on the given ByteString, returning either an error Report or, if successful, the result.

module Text.PariPari.Internal.ElementCombinators

module Text.PariPari.Internal.CharCombinators