Attoparsec, kullanıcı durumunu kaydetmeyi ve değiştirmeyi destekliyor mu?

Question

Attoparsec kullanıyorum ve ayrıştırma görevi boyunca kullanıcı durumu değerini izlemek istiyorum.

Monark fonksiyonları getState, putState ve Parsec'teki changeState ile tanıştım, ancak Attoparsec'te bir analog bulmuyorum. Bunu, Attoparsec'e ya da bir devlet monadına sahip bir şeyle yapmak için önemsiz bir yol var mı?

Answer 1

StateT s Parser'u kullanarak, ayrıştırıcıda geriye dönük izlemenin de durumu geri aldığını, böylece yalnızca başarılı ayrıştırmayla kod yolunda çağrılan durumsal eylemleri aldığınızı unutmayın.

{-# LANGUAGE OverloadedStrings #-} 

import Data.Attoparsec.ByteString.Char8 
import Control.Monad.State 
import Control.Applicative 

test :: StateT Int Parser() 
test = do 
    many $ choice [ 
    (modify (+1) *> lift (string "car")), 
    (modify (+1) *> lift (string "cat"))] 
    pure() 

parseOnly (runStateT test 0) "catcatcat" 
-- Right ((),3) 

Ayrıca, Alternative, MonadPlus, Applicative veya Monad kısıtlamalarıyla jenerik türleri çünkü biz, kutudan çıktığı Attoparsec, bağdaştırıcılarla çoğunu kullanabilir ve StateT bunlar için asansör geçiş örneklerini tanımlar. Temel Parser -s için lift'u kullanabiliriz.