State package:megaparsec

data State s e
megaparsec Text.Megaparsec Text.Megaparsec.State
This is the Megaparsec's state parametrized over stream type s and custom error component type e.
State :: s -> Int -> PosState s -> [ParseError s e] -> State s e
megaparsec Text.Megaparsec Text.Megaparsec.State
module Text.Megaparsec.State
megaparsec
Definition of Megaparsec's State.
stateInput :: State s e -> s
megaparsec Text.Megaparsec Text.Megaparsec.State
The rest of input to process
stateOffset :: State s e -> {-# UNPACK #-} !Int
megaparsec Text.Megaparsec Text.Megaparsec.State
Number of processed tokens so far
stateParseErrors :: State s e -> [ParseError s e]
megaparsec Text.Megaparsec Text.Megaparsec.State
Collection of “delayed” ParseErrors in reverse order. This means that the last registered error is the first element of the list.
statePosState :: State s e -> PosState s
megaparsec Text.Megaparsec Text.Megaparsec.State
State that is used for line/column calculation
data PosState s
megaparsec Text.Megaparsec Text.Megaparsec.State
A special kind of state that is used to calculate line/column positions on demand.
PosState :: s -> Int -> SourcePos -> Pos -> String -> PosState s
megaparsec Text.Megaparsec Text.Megaparsec.State
getParserState :: MonadParsec e s m => m (State s e)
megaparsec Text.Megaparsec
Return the full parser state as a State record.
pstateInput :: PosState s -> s
megaparsec Text.Megaparsec Text.Megaparsec.State
The rest of input to process
pstateLinePrefix :: PosState s -> String
megaparsec Text.Megaparsec Text.Megaparsec.State
Prefix to prepend to offending line
pstateOffset :: PosState s -> !Int
megaparsec Text.Megaparsec Text.Megaparsec.State
Offset corresponding to beginning of pstateInput
pstateSourcePos :: PosState s -> !SourcePos
megaparsec Text.Megaparsec Text.Megaparsec.State
Source position corresponding to beginning of pstateInput
pstateTabWidth :: PosState s -> Pos
megaparsec Text.Megaparsec Text.Megaparsec.State
Tab width to use for column calculation
setParserState :: MonadParsec e s m => State s e -> m ()
megaparsec Text.Megaparsec
setParserState st sets the parser state to st. See also: getParserState, updateParserState.
updateParserState :: MonadParsec e s m => (State s e -> State s e) -> m ()
megaparsec Text.Megaparsec
updateParserState f applies the function f to the parser state.
bundlePosState :: ParseErrorBundle s e -> PosState s
megaparsec Text.Megaparsec.Error
The state that is used for line/column calculation
initialPosState :: FilePath -> s -> PosState s
megaparsec Text.Megaparsec.State
Given the name of source file and the input construct the initial positional state.
initialState :: FilePath -> s -> State s e
megaparsec Text.Megaparsec.State
Given the name of the source file and the input construct the initial state for a parser.