State package:parsec

data State s u

parsec Text.Parsec Text.Parsec.Prim Text.ParserCombinators.Parsec.Prim

State :: s -> SourcePos -> u -> State s u

parsec Text.Parsec Text.Parsec.Prim Text.ParserCombinators.Parsec.Prim

stateInput :: State s u -> s

parsec Text.Parsec Text.Parsec.Prim Text.ParserCombinators.Parsec.Prim

statePos :: State s u -> !SourcePos

parsec Text.Parsec Text.Parsec.Prim Text.ParserCombinators.Parsec.Prim

stateUser :: State s u -> !u

parsec Text.Parsec Text.Parsec.Prim Text.ParserCombinators.Parsec.Prim

getParserState :: Monad m => ParsecT s u m (State s u)

parsec Text.Parsec Text.Parsec.Prim Text.ParserCombinators.Parsec.Prim

Returns the full parser state as a State record.

getState :: Monad m => ParsecT s u m u

parsec Text.Parsec Text.Parsec.Prim Text.ParserCombinators.Parsec.Prim

Returns the current user state.

modifyState :: Monad m => (u -> u) -> ParsecT s u m ()

parsec Text.Parsec Text.Parsec.Prim

modifyState f applies function f to the user state. Suppose that we want to count identifiers in a source, we could use the user state as:

expr  = do{ x <- identifier
; modifyState (+1)
; return (Id x)
}

putState :: Monad m => u -> ParsecT s u m ()

parsec Text.Parsec Text.Parsec.Prim

putState st set the user state to st.

setParserState :: Monad m => State s u -> ParsecT s u m (State s u)

parsec Text.Parsec Text.Parsec.Prim Text.ParserCombinators.Parsec.Prim

setParserState st set the full parser state to st.

setState :: Monad m => u -> ParsecT s u m ()

parsec Text.Parsec Text.Parsec.Prim Text.ParserCombinators.Parsec.Prim

An alias for putState for backwards compatibility.

updateParserState :: (State s u -> State s u) -> ParsecT s u m (State s u)

parsec Text.Parsec Text.Parsec.Prim

updateParserState f applies function f to the parser state.

updateState :: Monad m => (u -> u) -> ParsecT s u m ()

parsec Text.Parsec Text.Parsec.Prim Text.ParserCombinators.Parsec.Prim

An alias for modifyState for backwards compatibility.