Text.Parsec.Free.Log

Documentation

type LogType = IORef [ParseLog]

type LogParsecT s u m a = MonadReader LogType m => ParsecT s u m a

data ParseLog

Constructors

ParseAttempt (ParsecF s u m a)

ParseFailed

Show a => ParseSuccess a

ParseSuccessful

Indent

Dedent

renderLog :: [ParseLog] -> String

appendLog :: MonadIO m => ParseLog -> LogParsecT s u m ()

attempt :: MonadIO m => ParsecF s u' m b -> LogParsecT s u m a -> LogParsecT s u m a

indented :: MonadIO m => LogParsecT s u m a -> LogParsecT s u m a

evalLog :: (MonadIO m, Stream s m t) => ParsecDSL s u m a -> LogParsecT s u m a