Text.PariPari.Reporter

Documentation

data Reporter a

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

Instances

Monad Reporter

Defined in Text.PariPari.Reporter

Methods

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

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

return :: a -> Reporter a

fail :: String -> Reporter a

Functor Reporter

Defined in Text.PariPari.Reporter

Methods

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

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

MonadFail Reporter

Defined in Text.PariPari.Reporter

Methods

fail :: String -> Reporter a

Applicative Reporter

Defined in Text.PariPari.Reporter

Methods

pure :: a -> Reporter a

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

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

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

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

Alternative Reporter

Defined in Text.PariPari.Reporter

Methods

empty :: Reporter a

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

some :: Reporter a -> Reporter [a]

many :: Reporter a -> Reporter [a]

MonadPlus Reporter

Defined in Text.PariPari.Reporter

Methods

mzero :: Reporter a

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

MonadParser Reporter

Defined in Text.PariPari.Reporter

Methods

getFile :: Reporter FilePath

getPos :: Reporter Pos

getRefPos :: Reporter Pos

withRefPos :: Reporter a -> Reporter a

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

lookAhead :: Reporter a -> Reporter a

failWith :: Error -> Reporter a

eof :: Reporter ()

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

hidden :: Reporter a -> Reporter a

commit :: Reporter a -> Reporter a

byte :: Word8 -> Reporter Word8

char :: Char -> Reporter Char

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

byteSatisfy :: (Word8 -> Bool) -> Reporter Word8

bytes :: ByteString -> Reporter ByteString

asBytes :: Reporter () -> Reporter ByteString

Semigroup a => Semigroup (Reporter a)

Defined in Text.PariPari.Reporter

Methods

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

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

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

Monoid a => Monoid (Reporter a)

Defined in Text.PariPari.Reporter

Methods

mempty :: Reporter a

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

mconcat :: [Reporter a] -> Reporter a

data Report

Constructors

Report

Fields

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

Instances

Eq Report

Defined in Text.PariPari.Reporter

Methods

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

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

Show Report

Defined in Text.PariPari.Reporter

Methods

showsPrec :: Int -> Report -> ShowS

show :: Report -> String

showList :: [Report] -> ShowS

Generic Report

Defined in Text.PariPari.Reporter

Associated Types

type Rep Report :: * -> *

Methods

from :: Report -> Rep Report x

to :: Rep Report x -> Report

type Rep Report

Defined in Text.PariPari.Reporter

type Rep Report = D1 (MetaData "Report" "Text.PariPari.Reporter" "paripari-0.1.0.0-3bHffQaMVFHBdNIVKeDa1t" 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]))))

runReporter :: Reporter a -> FilePath -> ByteString -> Either Report a

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

runReporterWithOptions :: ReportOptions -> Reporter a -> FilePath -> ByteString -> Either Report a

Run Reporter with additional ReportOptions.

type ErrorContext = ([Error], [String])

showReport :: Report -> String

Pretty string representation of Report.

showErrors :: [ErrorContext] -> String

Pretty string representation of '[ErrorContext]'.

data ReportOptions

Constructors

ReportOptions

Fields

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

Instances

Eq ReportOptions

Defined in Text.PariPari.Reporter

Methods

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

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

Show ReportOptions

Defined in Text.PariPari.Reporter

Methods

showsPrec :: Int -> ReportOptions -> ShowS

show :: ReportOptions -> String

showList :: [ReportOptions] -> ShowS

Generic ReportOptions

Defined in Text.PariPari.Reporter

Associated Types

type Rep ReportOptions :: * -> *

Methods

from :: ReportOptions -> Rep ReportOptions x

to :: Rep ReportOptions x -> ReportOptions

type Rep ReportOptions

Defined in Text.PariPari.Reporter

type Rep ReportOptions = D1 (MetaData "ReportOptions" "Text.PariPari.Reporter" "paripari-0.1.0.0-3bHffQaMVFHBdNIVKeDa1t" 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))))

defaultReportOptions :: ReportOptions

data Tracer a

Parser which prints trace messages, when backtracking occurs.

Instances

Monad Tracer

Defined in Text.PariPari.Reporter

Methods

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

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

return :: a -> Tracer a

fail :: String -> Tracer a

Functor Tracer

Defined in Text.PariPari.Reporter

Methods

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

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

MonadFail Tracer

Defined in Text.PariPari.Reporter

Methods

fail :: String -> Tracer a

Applicative Tracer

Defined in Text.PariPari.Reporter

Methods

pure :: a -> Tracer a

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

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

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

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

Alternative Tracer

Defined in Text.PariPari.Reporter

Methods

empty :: Tracer a

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

some :: Tracer a -> Tracer [a]

many :: Tracer a -> Tracer [a]

MonadPlus Tracer

Defined in Text.PariPari.Reporter

Methods

mzero :: Tracer a

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

MonadParser Tracer

Defined in Text.PariPari.Reporter

Methods

getFile :: Tracer FilePath

getPos :: Tracer Pos

getRefPos :: Tracer Pos

withRefPos :: Tracer a -> Tracer a

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

lookAhead :: Tracer a -> Tracer a

failWith :: Error -> Tracer a

eof :: Tracer ()

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

hidden :: Tracer a -> Tracer a

commit :: Tracer a -> Tracer a

byte :: Word8 -> Tracer Word8

char :: Char -> Tracer Char

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

byteSatisfy :: (Word8 -> Bool) -> Tracer Word8

bytes :: ByteString -> Tracer ByteString

asBytes :: Tracer () -> Tracer ByteString

Semigroup a => Semigroup (Tracer a)

Defined in Text.PariPari.Reporter

Methods

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

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

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

Monoid a => Monoid (Tracer a)

Defined in Text.PariPari.Reporter

Methods

mempty :: Tracer a

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

mconcat :: [Tracer a] -> Tracer a

runTracer :: Tracer a -> FilePath -> ByteString -> Either Report a

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