Text.Gigaparsec.Registers
data Reg r a Source #
make :: a -> (forall r. Reg r a -> Parsec b) -> Parsec b Source #
unsafeMake :: (forall r. Reg r a -> Parsec b) -> Parsec b Source #
get :: Reg r a -> Parsec a Source #
gets :: Reg r a -> (a -> b) -> Parsec b Source #
put :: Reg r a -> a -> Parsec () Source #
puts :: Reg r b -> (a -> b) -> Parsec a -> Parsec () Source #
modify :: Reg r a -> (a -> a) -> Parsec () Source #
local :: Reg r a -> (a -> a) -> Parsec b -> Parsec b Source #
localWith :: Reg r a -> a -> Parsec b -> Parsec b Source #
rollback :: Reg r a -> Parsec a -> Parsec a Source #