parsec-free-3.1.11.7: Parsec API encoded as a deeply-embedded DSL, for debugging and analysis

Safe Haskell	Safe-Inferred
Language	Haskell2010

Text.Parsec.Free.Log

Documentation

type LogType = IORef [ParseLog] Source #

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

data ParseLog Source #

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

Instances details

Show ParseLog Source #
Instance details Defined in Text.Parsec.Free.Log Methods showsPrec :: Int -> ParseLog -> ShowS # show :: ParseLog -> String # showList :: [ParseLog] -> ShowS #

_Dedent :: Prism' ParseLog () Source #

_Indent :: Prism' ParseLog Bool Source #

_ParseSuccessful :: forall s u m a. Review ParseLog (Bool, ParsecF s u m a) Source #

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

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

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

data Result Source #

Constructors

Failure Bool ParseError
Success Bool
SuccessValue Bool String
Pending

data LogEntry Source #

Constructors

LogEntry
Fields _leDepth :: Int _leBranch :: Bool _leShow :: Bool _leParser :: String _leResult :: Result

Instances

Instances details

Show LogEntry Source #
Instance details Defined in Text.Parsec.Free.Log Methods showsPrec :: Int -> LogEntry -> ShowS # show :: LogEntry -> String # showList :: [LogEntry] -> ShowS #

leShow :: Lens' LogEntry Bool Source #

leResult :: Lens' LogEntry Result Source #

leParser :: Lens' LogEntry String Source #

leDepth :: Lens' LogEntry Int Source #

leBranch :: Lens' LogEntry Bool Source #

data RenderState Source #

Constructors

RenderState
Fields _rsIndex :: Int _rsBranch :: Bool _rsStack :: [Int] _rsMap :: Map Int LogEntry

rsStack :: Lens' RenderState [Int] Source #

rsMap :: Lens' RenderState (Map Int LogEntry) Source #

rsIndex :: Lens' RenderState Int Source #

rsBranch :: Lens' RenderState Bool Source #

newRenderState :: RenderState Source #

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

appendLog :: (MonadIO m, MonadReader LogType m) => ParseLog -> m () Source #

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

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

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

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

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