FP.Parser.Effects

Documentation

data ParserEnv t

Constructors

ParserEnv

Fields

parserEnvRenderFormat :: [Format]

parserEnvErrorStack :: ([𝕊], 𝕊)

parserEnvLevel :: ℕ

parserEnvBumped :: 𝔹

Instances

(Pretty [Format], Pretty ([𝕊], 𝕊), Pretty ℕ, Pretty 𝔹) => Pretty (ParserEnv k t)

MonadReader (ParserEnv * t) (Parser t)

MonadReader (ParserEnv * t) (GreedyParser t)

parserEnvBumpedL :: forall t. Lens (ParserEnv t) 𝔹

parserEnvLevelL :: forall t. Lens (ParserEnv t) ℕ

parserEnvErrorStackL :: forall t. Lens (ParserEnv t) ([𝕊], 𝕊)

parserEnvRenderFormatL :: forall t. Lens (ParserEnv t) [Format]

parserEnv₀ :: ParserEnv t

data ParserOut t

Constructors

ParserOut

Fields

parserOutSuccess :: 𝔹

parserOutError :: SourceErrorMaybe t

Instances

Monoid (ParserOut t)

(Pretty 𝔹, Pretty (SourceErrorMaybe t0)) => Pretty (ParserOut t)

MonadWriter (ParserOut t) (Parser t)

MonadWriter (ParserOut t) (GreedyParser t)

parserOutErrorL :: forall t. Lens (ParserOut t) (SourceErrorMaybe t)

parserOutSuccessL :: forall t. Lens (ParserOut t) 𝔹

data ParserState t

Constructors

ParserState

Fields

parserStateInput :: SourceInput t

parserStateErrorContext :: SourceContextPrefix t

parserStateCaptureContext :: SourceContextPrefix t

Instances

(Pretty (SourceInput t0), Pretty (SourceContextPrefix * t0)) => Pretty (ParserState t)

MonadState (ParserState t) (Parser t)

MonadState (ParserState t) (GreedyParser t)

parserStateCaptureContextL :: forall t. Lens (ParserState t) (SourceContextPrefix t)

parserStateErrorContextL :: forall t. Lens (ParserState t) (SourceContextPrefix t)

parserStateInputL :: forall t. Lens (ParserState t) (SourceInput t)

parserState₀ :: Stream (SourceToken t) -> ParserState t