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 Bool (ParsecF s u m a)

ParseFailed (ParsecF s u m a)

Show b => ParseSuccess b (ParsecF s u m a)

ParseSuccessful (ParsecF s u m a)

Indent Bool

Dedent

Instances

Show ParseLog

Methods

showsPrec :: Int -> ParseLog -> ShowS

show :: ParseLog -> String

showList :: [ParseLog] -> ShowS

_Dedent :: Prism' ParseLog ()

_Indent :: Prism' ParseLog Bool

_ParseSuccessful :: forall s u m a. Review ParseLog (ParsecF s u m a)

_ParseSuccess :: forall s u m a. forall b. Show b => Review ParseLog (b, ParsecF s u m a)

_ParseFailed :: forall s u m a. Review ParseLog (ParsecF s u m a)

_ParseAttempt :: forall s u m a. Review ParseLog (Bool, ParsecF s u m a)

data Result

Constructors

Failure

Success

SuccessValue String

Pending

data LogEntry

Constructors

LogEntry

Fields

• _leDepth :: Int
• _leBranch :: Bool
• _leShow :: Bool
• _leParser :: String
• _leResult :: Result

Instances

Show LogEntry

Methods

showsPrec :: Int -> LogEntry -> ShowS

show :: LogEntry -> String

showList :: [LogEntry] -> ShowS

leShow :: Lens' LogEntry Bool

leResult :: Lens' LogEntry Result

leParser :: Lens' LogEntry String

leDepth :: Lens' LogEntry Int

leBranch :: Lens' LogEntry Bool

data RenderState

Constructors

RenderState

Fields

• _rsIndex :: Int
• _rsBranch :: Bool
• _rsStack :: [Int]
• _rsMap :: Map Int LogEntry

rsStack :: Lens' RenderState [Int]

rsMap :: Lens' RenderState (Map Int LogEntry)

rsIndex :: Lens' RenderState Int

rsBranch :: Lens' RenderState Bool

newRenderState :: RenderState

renderLog :: Bool -> [ParseLog] -> String

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

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

attemptShow :: (MonadIO m, Show a) => Bool -> ParsecF s u' m b -> LogParsecT s u m a -> LogParsecT s u m a

indented :: MonadIO m => Bool -> 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

dumpLog :: MonadIO m => [ParseLog] -> m ()