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

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)

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 -> Either Report a

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