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

forall s u m a. ParseAttempt Bool (ParsecF s u m a)

forall s u m a. ParseFailed Bool ParseError (ParsecF s u m a)

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

forall s u m a. ParseSuccessful Bool (ParsecF s u m a)

Indent Bool

Dedent

Instances

Show ParseLog

Defined in Text.Parsec.Free.Log

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

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

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

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

data Result

Constructors

Failure Bool ParseError

Success Bool

SuccessValue Bool String

Pending

data LogEntry

Constructors

LogEntry

Fields

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

Instances

Show LogEntry

Defined in Text.Parsec.Free.Log

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, MonadReader LogType m) => ParseLog -> m ()

attempt :: (MonadIO m, MonadReader LogType m) => Bool -> ParsecF s u' m b -> ParsecT s u m a -> ParsecT s u m a

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

indented :: (MonadIO m, MonadReader LogType m) => Bool -> ParsecT s u m a -> ParsecT s u m a

evalLog :: (MonadIO m, MonadReader LogType m, Stream s m t, Show t) => ParsecDSL s u m a -> ParsecT s u m a

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