Text.PariPari.Internal.Tracer

Documentation

newtype Tracer k a

Parser which prints trace messages, when backtracking occurs.

Constructors

Tracer

Fields

• unTracer :: Reporter k a

Instances

CharChunk k => CharParser k (Tracer k)

Defined in Text.PariPari.Internal.Tracer

Methods

char :: Char -> Tracer k Char

scan :: (Char -> Maybe a) -> Tracer k a

asciiByte :: Word8 -> Tracer k Word8

asciiScan :: (Word8 -> Maybe a) -> Tracer k a

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

recover :: Tracer k a -> Tracer k a -> Tracer k a

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

elementScan :: (Element k -> Maybe a) -> Tracer k a

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

CharChunk k => IsString (Tracer k k)

Defined in Text.PariPari.Internal.Tracer

Methods

fromString :: String -> Tracer k k

(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 -> (Maybe a, [Report])

Run Tracer on the given chunk, returning the result if successful and reports from error recoveries. In the case of an error, Nothing is returned and the Report list is non-empty.