haskell - Estado de usuario en Parsec

state

Question

Estoy analizando una expresión usando Parsec y quiero hacer un seguimiento de las variables en estas expresiones usando el estado del usuario en Parsec. Desafortunadamente, realmente no entiendo cómo hacerlo.

Dado el siguiente código:

import Data.Set as Set
inp = "$x = $y + $z"

data Var = V String

var = do char ''$''
      n <- many1 letter
      let v = Var n
       -- I want to modify the set of variables here
      return v

parseAssignment = ... -- parses the above assignment

run = case runIdentity $ runParserT parseAssignment Set.empty "" inp of
                   Left err -> ...
                   Right -> ...

Entonces, la u en la ParsecT suma sería Set.Set . Pero, ¿cómo integraría la actualización de estado en var ?

Intenté algo como modify $ Set.insert v , pero esto no funciona, ya que Set.Set no es una mónada estatal.

Answer 1

Desafortunadamente, la sugerencia de Yuras de updateParserState no es óptima (usaría esa función si también está buscando modificar el estado interno de Parsec); en su lugar, debe pasar una función que funcione sobre su estado de usuario personalizado (es decir, de tipo u -> u ) a modifyState , como en este ejemplo:

expr  = do
  x <- identifier
  modifyState (+1)
  -- ^ in this example, our type u is Int
  return (Id x)

o use cualquier combinación de las funciones getState y putState . Para tu caso, harías algo como:

modifyState (Set.insert v)

Vea este enlace para más información.

Para una introducción más similar a un tutorial sobre cómo trabajar con el estado de usuario en Parsec, este documento , aunque antiguo, debe ser relevante.

Answer 2

Puedes usar updateParserState